Assertion: predicate | /r/HasProperty | ground atomic formula
Facets:
Source sentences:
text: A predicate with all constant arguments is a ground atomic formula.