Assertion: predicate | /r/HasProperty | hard-core
Facets:
Source sentences:
text: Thus, we call the predicate "hard-core".
text: This predicate is hard-core due to computational issues; that is, it is not hard to compute because g(x, r) is information theoretically lossy.