Formalizing Narratives Using Nested Circumscription