Assertion list
point group (subgroup of group ) → IsA
Results from Ascent++: 1
point group → IsA → subgroup 0.68