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