hang glider subgroup of glider, 2 assertions