Assertion list
braided line (subgroup of line ) → HasA
Results from Ascent++: 1
braided line → HasA → a lot of creep 0.25