Assertion list
aluminum (aspect of antacid ) → HasA
Results from Ascent++: 1
aluminum → HasA → antacid 0.59