Assertion: predicate's variable | /r/HasProperty | defined on specific domain
Facets:
Source sentences:
text: A predicate is an expression of one or more variables defined on some specific domain.