Assertion list for term "+2".
Results from Ascent++: 1
tin → HasA → +2 0.48