Assertion: motion's motion | /r/CapableOf | form group
Facets:
Source sentences:
text: Axioms 2 to 4 imply that motions form a group