Assertion list for term "a length w1".
Results from Ascent++: 1
base → HasA → a length w1 0.37