Assertion list
domestic pig (subgroup of pig ) → AtLocation
Results from Ascent++: 1
domestic pig → AtLocation → the wild 0.25