Assertion list
stringer (primary) → HasA
Results from Ascent++: 1
stringer → HasA → a pair of stringer sides 0.33