Assertion: abelian group's subgroup | /r/HasProperty | understood
Facets:
value: well
type: DEGREE
Source sentences:
text: The normal subgroups of the finite symmetric groups are well understood.