Assertion list
carbon monoxide alarm (subgroup of alarm ) → CapableOf
Results from Ascent++: 1
carbon monoxide alarm → CapableOf → approve equal 0.55