Logic Convent Implicature Ostl 7 C by Christopher Potts