Assertion list for term "initiate movement of the first tray".

Results from Ascent++: 1
latch CapableOfinitiate movement of the first tray 0.25