Assertion list
smoke detector (subgroup of detector ) → IsA
Results from Ascent++: 1
smoke detector → IsA → installed alarm 0.30