Assertion list
pair (aspect of crab ) → CapableOf
Results from Ascent++: 2
pair → CapableOf → walk leg 0.35
pair → CapableOf → terminate in strong and heavy p… 0.25