curb ramp subgroup of ramp, 5 assertions