Assertion: algebra's operation | /r/HasProperty | signature
Facets:
Source sentences:
text: a single binary operation (signature (2))