A compositional situation semantics for attitude reports