Assertion list
wild pig (subgroup of pig ) → HasProperty
Results from Ascent++: 1
wild pig → HasProperty → smart 0.16