The representation of knowledge and belief (Univ. of Arizona Pr., 1986)