Assertion list
mechanical watch (subgroup of watch ) → HasA
Results from Ascent++: 1
mechanical watch → HasA → soul 0.25