Assertion list for term "both a1".
Results from Ascent++: 1
milk → HasA → both a1 0.56