Assertion: predicate's value | /r/HasProperty | encoded by args
Facets:
Source sentences:
text: > specifies that F is a predicate that accepts arguments whose types and value categories are encoded by Args... , i.e., it can be invoked with these arguments to produce a boolean result.