Assertion list for term "add 1/2".
Results from Ascent++: 1
pan → CapableOf → add 1/2 0.25