Assertion list for term "tc".
Results from Ascent++: 1
sum → AtLocation → tc 0.25