electric fence subgroup of fence, 6 assertions