short flight subgroup of flight, 3 assertions