Assertion list
class lever (subgroup of lever ) → HasA
Results from Ascent++: 1
class lever → HasA → the fulcrum 0.68