radar detector subgroup of detector, 2 assertions