Assertion list
automatic watch (subgroup of watch ) → HasA
Results from Ascent++: 2
automatic watch → HasA → mechanism 0.66
automatic watch → HasA → movement 0.25