RTE using PPDB and natural logic