Assertion list
red heifer (subgroup of heifer ) → HasProperty
Results from Ascent++: 1
red heifer → HasProperty → perfect 0.16