Assertion list
general ai (subgroup of ai ) → CapableOf
Results from Ascent++: 1
general ai → CapableOf → refer to system 0.25