Assertion list
co detector (subgroup of detector ) → CapableOf
Results from Ascent++: 1
co detector → CapableOf → sound alarm 0.16