Assertion list
new watch (subgroup of watch ) → HasProperty
Results from Ascent++: 2
new watch → HasProperty → thinner 0.25
new watch → HasProperty → waterproof 0.16