We follow a standard practice for evaluations which has been adopted in the literature (Lu, 2014(Lu, , 2015Susanto and Lu, 2017b).
to evaluate the proposed model, predicted outputs are transformed into Prolog queries.