pool fence subgroup of fence, 4 assertions