Assertion: parameter | /r/CapableOf | operate on by open predicate variables
Facets:
Source sentences:
text: Others (maybe most) just call parameters passed to (or operated on by) an open predicate variables, and when defining substitution have to distinguish between free variables and bound variables.