Assertion: predicate | /r/HasProperty | nonground atomic formula
Facets:
Source sentences:
text: A predicate with at least one variable argument is a nonground atomic formula.