Assertion: group | /r/HasProperty | obtained
Facets:
value: from the group axioms
type: OTHER
value: directly
type: MANNER
Source sentences:
text: Basic facts about all groups that can be obtained directly from the group axioms are commonly subsumed under elementary group theory.