Assertion list for term "deduce trace".
Results from Ascent++: 1
astronomer → CapableOf → deduce trace 0.28