read
<read-statement>
end
<read-statement> :==
trajectory
<read-trajectory-statement>