Assertion list for term "thin trace".
Results from Ascent++: 1
soap → AtLocation → thin trace 0.43