Assertion list
sprinkler (primary) → HasA
Results from Ascent++: 2
sprinkler → HasA → three arms 0.38
sprinkler → HasA → temperature-sensitive glass bulb 0.28