Assertion list
quartz watch (subgroup of watch ) → HasA
Results from Ascent++: 2
quartz watch → HasA → dry battery life 0.32
quartz watch → HasA → power reserves 0.25