Assertion: predicate's variable | /r/HasProperty | free
Facets:
value: in φ
type: LOCATION
Source sentences:
text: If there is at least one free occurrence of x in φ, then the variable x is free in φ or is a parameter of φ.
text: Columnless tables unrecognized SQL requires every table to have at least one column, but there are two relations of degree zero (of cardinality one and zero) and they are needed to represent extensions of predicates that contain no free variables.