Assertion list
quartz watch (subgroup of watch ) → IsA
Results from Ascent++: 1
quartz watch → IsA → watch 0.32