Assertion list for term "contact other side".

Results from Ascent++: 1
proof CapableOfcontact other side 0.27