boat ramp subgroup of ramp, 3 assertions