Assertion list for term "cut by transversal".

Results from Ascent++: 1
straight line ReceivesActioncut by transversal 0.25