Assertion list
far cry (subgroup of cry ) → HasProperty
Results from Ascent++: 1
far cry → HasProperty → good 0.16