A first order lorgic parser