Assertion: predicate's variable | /r/HasProperty | a parameter of φ
Facets:
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 φ.