Assertion list
good tripod (subgroup of tripod ) → CapableOf
Results from Ascent++: 1
good tripod → CapableOf → eliminate unexpected results 0.16