wheelchair ramp subgroup of ramp, 4 assertions