Before revision:  We define an equation reconstruction task based on formulating derivation segments as basic units of non-trivial state sequences, with the goal of reconstructing an unknown intermediate state equivalent to one-hop inference, extensible to the multi-hop case.
After revision:  We define an equation reconstruction task completed by rederiving an unknown intermediate state equivalent to one-hop inference, extensible to the multi-hop case.