Assertion list
gi (aspect of potato ) → HasProperty
Results from Ascent++: 1
gi → HasProperty → variable 0.68