Assertion list
real ai (subgroup of ai ) → HasPrerequisite
Results from Ascent++: 1
real ai → HasPrerequisite → high-quality data sources 0.68