Assertion: algebra's form | /r/HasProperty | k → a
Facets:
Source sentences:
text: A and one of the form K → A) satisfying certain conditions that boil down to the algebra axioms.