Context And Meaning Prover