Seminar in semantics: propositional attitude reports