The scoring functions in the deductive system (Figure 4 ) are calculated by an underlying neural model, which is similar to the bi-directional LSTM model in<cite> Cross and Huang (2016)</cite> that evaluates based on span boundary features.