Proposition Entailment in Educational Applications Using Deep Neural Networks | Synapse