A semantic theory that abandons core logical inference rules sacrifices too much explanatory machine...