Assertion list
method patent (subgroup of patent ) → CapableOf
Results from Ascent++: 1
method patent → CapableOf → claim a number of steps 0.68