story: [Marian] had a daughter named [Rita]. [Philip] took his daughter [Rita] to cheer practice. [Marian] asked her mother, [Donna], what they were going to have for lunch.
clean_story: [Philip] took his daughter [Rita] to cheer practice. [Marian] had a daughter named [Rita]. [Marian] asked her mother, [Donna], what they were going to have for lunch.
proof_state: [{('Philip', 'mother', 'Donna'): [('Philip', 'daughter', 'Rita'), ('Rita', 'grandmother', 'Donna')]}, {('Rita', 'grandmother', 'Donna'): [('Rita', 'mother', 'Marian'), ('Marian', 'mother', 'Donna')]}]