Assertion: function's result | /r/HasProperty | established for closure functions
Facets:
value: by reduction from the parity function
type: MANNER
Source sentences:
text: Similar results were also established for the majority, multiplication and transitive closure functions, by reduction from the parity function.