| 1 | assert_fact | Use sibling/2, parent/2, lives_in/2, inside/2, in_region/2, carries/2. |
| 2 | assert_fact | Set sibling(scott, blake). Set parent(blake, will). Set parent(blake, pierce). |
| 3 | assert_fact | assert rule in_region(X, Z) :- lives_in(X, Y), inside(Y, Z). |
| 4 | assert_fact | {'utterance': "they all stay in morro_bay except will who's in sf now", 'clarification_answers': ['They means Blake, Pierce, and Will.', 'Set lives_in(blake, morro_bay). Set lives_in(pierce, morro_bay). Set lives_in(will, san_francisco).'], 'max_clarification_rounds': 2} |
| 5 | assert_fact | Set lives_in(blake, morro_bay). |
| 6 | assert_fact | Set lives_in(pierce, morro_bay). |
| 7 | assert_fact | Set lives_in(will, san_francisco). |
| 8 | assert_fact | Set inside(morro_bay, california). Set inside(san_francisco, california). |
| 9 | assert_fact | {'utterance': 'he handed pierce the tide_key not the older bro', 'clarification_answers': ['He means Blake. Older bro means Scott.', 'Set carries(pierce, tide_key).'], 'max_clarification_rounds': 2} |
| 10 | assert_fact | Set carries(pierce, tide_key). |
| 11 | assert_fact | query in_region(blake, california). |
| 12 | assert_fact | query in_region(will, california). |
| 13 | assert_fact | query carries(pierce, tide_key). |