Assertion: syntactic predicate | /r/HasAspect | bound and free forms
Facets:
Source sentences:
text: In the §-Calculus, syntactic predicates are originally called simply predicates, but are later divided into bound and free forms, each with different input properties.