Logic of English: TK/K

Logic of English: TK/K