Assertion list
automatic watch (subgroup of watch ) → HasPrerequisite
Results from Ascent++: 1
automatic watch → HasPrerequisite → manual wind 0.25