Assertion list
omnivore (primary) → HasProperty
Results from Ascent++: 1
omnivore → HasProperty → deficient 0.16