Assertion list
pocket watch (subgroup of watch ) → IsA
Results from Ascent++: 2
pocket watch → IsA → watch 0.43
pocket watch → IsA → original travel watch 0.30