Sub-Sentence Encoder: Contrastive Learning of Propositional Semantic Representations