ku'antora fu'ivla

x1 is a quantifier over predicate / with domain x2