Assertion: order | /r/HasProperty | binary octahedral group
Facets:
Source sentences:
text: Order 48: The binary octahedral group and the product S 4