Assertion list
removable cleat (subgroup of cleat ) → CapableOf
Results from Ascent++: 1
removable cleat → CapableOf → set 108 0.68