carbon monoxide detector subgroup of detector, 4 assertions