Assertion list for term "washed with tbst buffer".

Results from Ascent++: 1
membrane ReceivesActionwashed with tbst buffer 0.44