Assertion list
modern ai (subgroup of ai ) → IsA
Results from Ascent++: 1
modern ai → IsA → about datum 0.59