Assertion list
loom (primary) → HasA
Results from Ascent++: 2
loom → HasA → floor mats 0.25
loom → HasA → four threads 0.25