Assertion list
guinea pig (subgroup of pig ) → HasProperty
Results from Ascent++: 1
guinea pig → HasProperty → sick 0.40