Assertion list
weak ai (subgroup of ai ) → HasProperty
Results from Ascent++: 1
weak ai → HasProperty → relevant 0.68