Assertion list
animal experiment (subgroup of experiment ) → HasProperty
Results from Ascent++: 2
animal experiment → HasProperty → cruel 0.29
animal experiment → HasProperty → necessary 0.16