Assertion list
pocket watch (subgroup of watch ) → HasA
Results from Ascent++: 1
pocket watch → HasA → chain 0.30