Assertion list
carbon monoxide detector (subgroup of detector ) → CapableOf
Results from Ascent++: 1
carbon monoxide detector → CapableOf → trigger alarm 0.59