Assertion list for term "formed by two straight lines".

Results from Ascent++: 1
triangle ReceivesActionformed by two straight lines 0.25