automatic sprinkler subgroup of sprinkler, 2 assertions