Assertion list
mechanical watch (subgroup of watch ) → IsA
Results from Ascent++: 3
mechanical watch → IsA → watch 0.70
mechanical watch → IsA → self-winding 0.52
mechanical watch → IsA → a wind-up watch 0.25