leg aspect of ant, 6 assertions