Assertion list
electric fence (subgroup of fence ) → HasProperty
Results from Ascent++: 2
electric fence → HasProperty → effective 0.64
electric fence → HasProperty → safe 0.35