Table 5 shows results obtained with the test split not dropping and dropping unbound predicates.
a layered methodology to transform text into logic forms using three logic form transformations modes is presented.