Assertion list
ply (primary) → CapableOf
Results from Ascent++: 3
ply → CapableOf → counteract each other 0.25
ply → CapableOf → cross each other 0.25
ply → CapableOf → provide first surface of the sh… 0.25