Logic Convent Implicature Ostl 7 P by Christopher Potts