great grandchild subgroup of grandchild, 8 assertions