story: [Jason]'s wife [Gabrielle] is happy to learn that [Jason] will be coming home next week. [Jason] has a granddaughter named [Donna].
query: ('Gabrielle', 'Donna')
clean_story: [Jason]'s wife [Gabrielle] is happy to learn that [Jason] will be coming home next week. [Jason] has a granddaughter named [Donna].
proof_state: [{('Gabrielle', 'granddaughter', 'Donna'): [('Gabrielle', 'husband', 'Jason'), ('Jason', 'granddaughter', 'Donna')]}]