low floor bus subgroup of bus, 2 assertions