DisCoCat: A Monoidal Translation between English and Spanish