Assertion list
smoke detector (subgroup of detector ) → HasA
Results from Ascent++: 1
smoke detector → HasA → a test button 0.41