inform((_:search,food,'indonesian');(_:search,type,'Restaurant'))
user
Hello , I am looking for an Indonesian restaurant . Can you help me with that ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,food,'Indonesian');(_:search,type,'Restaurant'))
system
I 'm so sorry , but I do n't see any Indonesian restaurants . Will another cuisine do ?
user
Oh really ? Indonesian is the only cuisine I will consider .
select((_:result,food,'indian');(_:result,food,'oriental');(_:result,type,'Restaurant')) canthelp((_:search,area,'all of Cambridge');(_:search,food,'indonesian');(_:search,type,'Restaurant'))
system
My apologies , but there truly are n't any indonesian restaurants listed in all of Cambridge . Would you consider one that serves oriental or indian food ?
inform((_:search,food,'italian');(_:search,type,'Restaurant'))
user
how about one that serves italian food ?
request((_:search,pricerange,?);(_:search,type,'Restaurant')) inform((_:result,count,'22');(_:result,type,'Restaurant'))
system
there are 22 of them . what is your price range ?
inform((_:search,area,'centre');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
It should be in the cheap price range and in the centre of town .
inform((_:result,count,'3');(_:result,type,'Restaurant'))
system
I have three to choose from . Would you like me to suggest something ?
user
Yes , please . Which would you consider to be the most authentic ?
inform((_:result,name,'pizza hut city centre');(_:result,type,'Restaurant'))
system
pizza hut city centre is nice
user
I will try that .
reqmore()
system
Can I help you with anything else ?
inform((_:search,people,'3');(_:search,type,'Restaurant'))
user
Yes , can you get me a table for 3 at the pizza hut ?
offer((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Sure !   For what day , time and how many do you need it for ?
inform((_:search,day,'thursday');(_:search,people,'6');(_:search,type,'Restaurant'))
user
I will be there on thursday at 5 pm . 6 people please .
inform((_:booking,duration,'17:00');(_:booking,ref,'N5G8UXRG');(_:booking,type,'Booking'))
system
Ok .   I was able to get you a table for 17:00 .   Your reference number is N5G8UXRG .
inform((_:search,arrive_by,'08:00');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'm also looking for a train . The train should depart from cambridge and should arrive by 08:00 .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
what is your destination and which day could you like to travel ?
inform((_:search,day,'sunday');(_:search,destination,'Stevenage');(_:search,type,'Train'))
user
I want to go to Stevenage , on Sunday .
inform((_:result,leave_at,'5:00');(_:result,type,'Train'))
system
The train leaves at 5:00 .
request((_:result,ref,?);(_:result,type,'Train'))
user
Can you make a booking and give me its reference number ?
inform((_:result,leave_at,'5:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Actually , it 's at 5:21 . If you still want to take that train , how many tickets would you like for me to book for you ?
inform((_:search,people,'3');(_:search,type,'Train'))
user
Yes , 3 tickets please .
reqmore() inform((_:booking,category,'Train');(_:booking,day,'Sunday');(_:booking,destination,'stevenage');(_:booking,id,'TR5390');(_:booking,people,'3');(_:booking,ref,'QKQURGH5');(_:booking,type,'Booking'))
system
Wonderful ! I have booked 3 tickets for train TR5390 to stevenage on Sunday and your reference number is QKQURGH5 . Is there anything else I can help you with ?
thank()
user
Thank you , that will be all I need today .
system
Okay , great ! Have a lovely visit !
_:search food indonesian
_:search type Restaurant
_:search food ?
_:search type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:result type Restaurant
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:result count 22
_:result type Restaurant
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:result count 3
_:result type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:search type Restaurant
_:result count 3
_:result name pizza hut city centre
_:result type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:result type Restaurant
_:system inquired _:user
_:search people 3
_:search type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:result type Restaurant
_:system inquired _:user
_:system offered _:booking
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:search day thursday
_:search people 6
_:search type Restaurant
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:result type Restaurant
_:system inquired _:user
_:system offered _:booking
_:booking day ?
_:booking people ?
_:search day thursday
_:search people 6
_:booking duration 17:00
_:booking ref N5G8UXRG
_:booking type Booking
_:search arrive_by 08:00
_:search departure cambridge
_:search type Train
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:result type Restaurant
_:system inquired _:user
_:system offered _:booking
_:booking day ?
_:booking people ?
_:search people 6
_:booking duration 17:00
_:booking ref N5G8UXRG
_:booking type Booking
_:search arrive_by 08:00
_:search departure cambridge
_:search day sunday
_:search destination Stevenage
_:search type Train
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:system inquired _:user
_:system offered _:booking
_:booking day ?
_:booking people ?
_:search people 6
_:booking duration 17:00
_:booking ref N5G8UXRG
_:booking type Booking
_:search arrive_by 08:00
_:search departure cambridge
_:search day sunday
_:search destination Stevenage
_:search type Train
_:result leave_at 5:00
_:result type Train
_:result ref ?
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:system inquired _:user
_:system offered _:booking
_:booking day ?
_:booking people ?
_:booking duration 17:00
_:booking ref N5G8UXRG
_:booking type Booking
_:search arrive_by 08:00
_:search departure cambridge
_:search day sunday
_:search destination Stevenage
_:result ref ?
_:result leave_at 5:21
_:result type Train
_:booking category Train
_:search people 3
_:search type Train
_:system canthelp _:search/ec99a60e
_:search/ec99a60e food Indonesian
_:search/ec99a60e type Restaurant
_:result food indian
_:result food oriental
_:system canthelp _:search/1c4ec33a
_:search/1c4ec33a area all of Cambridge
_:search/1c4ec33a food indonesian
_:search/1c4ec33a type Restaurant
_:search food italian
_:search area centre
_:search pricerange cheap
_:result count 3
_:result name pizza hut city centre
_:system offered _:booking
_:booking duration 17:00
_:search arrive_by 08:00
_:search departure cambridge
_:search day sunday
_:search destination Stevenage
_:result ref ?
_:result leave_at 5:21
_:result type Train
_:search people 3
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking day Sunday
_:booking destination stevenage
_:booking id TR5390
_:booking people 3
_:booking ref QKQURGH5
_:booking type Booking