Assertion list
space group (subgroup of group ) → IsA
Results from Ascent++: 1
space group → IsA → minimal supergroup 0.25