Assertion list
adjusted basis (subgroup of basis ) → PartOf
Results from Ascent++: 1
adjusted basis → PartOf → the computation 0.25