Assertion list for term "consist of both thud".

Results from Ascent++: 1
contact CapableOfconsist of both thud 0.25