Assertion list for term "bound for mati".

Results from Ascent++: 1
bus ReceivesActionbound for mati 0.32