Assertion list for term "used in machine".

Results from Ascent++: 1
mechanism ReceivesActionused in machine 0.25