Assertion list for term "subgroup".

Results from Ascent++: 1
point group (subgroup of group) IsAsubgroup 0.68