Assertion: hard core predicate | /r/HasProperty | $f$
Facets:
Source sentences:
text: A hard-core predicate of a function $f$ is a predicate of $x$ (an input to $f$) which can easily be computed from $x$ but not from