Assertion list
cantilever (primary) → HasA
Results from Ascent++: 5
cantilever → HasA → length 0.41
cantilever → HasA → first rightend 0.40
cantilever → HasA → second leftend 0.40
cantilever → HasA → first plurality of fingers 0.36
cantilever → HasA → restaurant 0.31