Situation calculus: the story on HearLore | HearLore