story: [Jeremy] was disappointed that his father, [Donald], would n't be at the play to see him perform. [Charles] and his brother [Jeremy] went shopping at an electronics store. [Charles] found the perfect pair of headphones for his brother [Andrew]'s birthday. [Donald] 'son, [Charles], aced his math class and made his father proud. [Charles] has a aunt named [Guadalupe], routinely he went to school with his aunt
query: ('Andrew', 'Guadalupe')
clean_story: [Charles] and his brother [Jeremy] went shopping at an electronics store. [Charles] found the perfect pair of headphones for his brother [Andrew]'s birthday. [Jeremy] was disappointed that his father, [Donald], would n't be at the play to see him perform. [Donald] 'son, [Charles], aced his math class and made his father proud. [Charles] has a aunt named [Guadalupe], routinely he went to school with his aunt
proof_state: [{('Andrew', 'aunt', 'Guadalupe'): [('Andrew', 'father', 'Donald'), ('Donald', 'sister', 'Guadalupe')]}, {('Andrew', 'father', 'Donald'): [('Andrew', 'brother', 'Jeremy'), ('Jeremy', 'father', 'Donald')]}, {('Donald', 'sister', 'Guadalupe'): [('Donald', 'son', 'Charles'), ('Charles', 'aunt', 'Guadalupe')]}, {('Andrew', 'brother', 'Jeremy'): [('Andrew', 'brother', 'Charles'), ('Charles', 'brother', 'Jeremy')]}]
edge_types: ['brother', 'brother', 'father', 'son', 'aunt']