Assertion list
watch (primary) → IsA
Results from Ascent++: 5
watch → IsA → on the wrist 0.65
watch → IsA → timepiece 0.58
watch → IsA → machine 0.34
watch → IsA → small timepiece 0.34
watch → IsA → perfect timepiece 0.26