portable ramp subgroup of ramp, 2 assertions