Assertion list
carbon monoxide alarm (subgroup of alarm ) → HasA
Results from Ascent++: 1
carbon monoxide alarm → HasA → sleeping area 0.25