Assertion list
plain bearing (subgroup of bearing ) → DefinedAs
Results from Ascent++: 1
plain bearing → DefinedAs → discrete tool 0.53