| 1 | assert_fact | Use sibling/2, parent/2, cousin/2, lives_in/2, inside/2, in_region/2, carries/2. |
| 2 | assert_fact | assert rule cousin(X, Y) :- parent(PX, X), parent(PY, Y), sibling(PX, PY). |
| 3 | assert_fact | assert rule in_region(X, Z) :- lives_in(X, Y), inside(Y, Z). |
| 4 | assert_fact | {'utterance': 'scott and blake are brothers scott has dana blake has will both kids stay in salem and she kept tide_key so are dana and will cousins', 'clarification_answers': ['Set sibling(scott, blake). Set parent(scott, dana). Set parent(blake, will).', 'Both kids means Dana and Will. She means Dana. Set lives_in(dana, salem). Set lives_in(will, salem). Set carries(dana, tide_key).'], 'max_clarification_rounds': 2} |
| 5 | assert_fact | Set sibling(scott, blake). Set parent(scott, dana). Set parent(blake, will). |
| 6 | assert_fact | Set lives_in(dana, salem). Set lives_in(will, salem). Set carries(dana, tide_key). |
| 7 | assert_fact | Set inside(salem, oregon). |
| 8 | assert_fact | query cousin(dana, will). |
| 9 | assert_fact | query in_region(will, oregon). |
| 10 | assert_fact | query carries(dana, tide_key). |