Assertion: predicate's property | /r/HasProperty | tested by the predicate
Facets:
Source sentences:
text: My favorite researcher Mila Dalla Preda has shown that the ability for an abstract interpreter to break a given category of opaque predicate is related to the "completeness" of the domain with respect to the property tested by the predicate.