Assertion list for term "subject to driver".

Results from Ascent++: 1
bus ReceivesActionsubject to driver 0.52