family tent subgroup of tent, 3 assertions