Assertion list
prey (aspect of lion ) → HasProperty
Results from Ascent++: 3
prey → HasProperty → scarce 0.56
prey → HasProperty → large 0.25
prey → HasProperty → thin 0.25