Assertion list for term "washed with tbst".

Results from Ascent++: 3
membrane ReceivesActionwashed with tbst 0.81
well ReceivesActionwashed with tbst 0.34
array ReceivesActionwashed with tbst 0.25