Assertion: predicate's information | /r/HasProperty | lost
Facets:
value: simply
type: DEGREE
Source sentences:
text: $f(x)$. There are very trivial hard-core predicates when the information is simply lost (e.g. if $f(x)$ is defined as "SHA-256 of $y$ where $y$ is the bit sequence of $x$ with the first bit removed" then the predicate "first bit of $x$" cannot, by definition, be recomputed from $f(x)$); these are not interesting for cryptography.