Assertion list for term "given of the transition".

Results from Ascent++: 1
description ReceivesActiongiven of the transition 0.30