Assertion list for term "formed by main lines of the flag".

Results from Ascent++: 1
triangle ReceivesActionformed by main lines of the flag 0.25