Assertion list for term "measure 12.5".
Results from Ascent++: 1
block → CapableOf → measure 12.5 0.38