Assertion list for term "composed of ti".

Results from Ascent++: 1
drain ReceivesActioncomposed of ti 0.25