inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train leaving from Cambridge this Thursday
request((_:search,destination,?);(_:search,type,'Train'))
system
In order to better assist you , may I please have your destination ?
inform((_:search,arrive_by,'21:00');(_:search,destination,"king 's lynn");(_:search,type,'Train'))
user
I 'm going to king 's lynn , and I need to arrive by 21:00 .
inform((_:result,arrive_by,'21:00');(_:result,count,'16');(_:result,leave_at,'earliest leave time is 5:11 A.M.');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are 16 trains traveling that path that will arrive no later than 21:00 . The earliest leave time is 5:11 A.M. Is there a time that you would like to leave ?
inform((_:search,leave_at,'5:11');(_:search,people,'one');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Please get me a ticket for one that leaves at 5:11 a.m and send me the reference   number .
reqmore() inform((_:booking,category,'Train');(_:booking,day,'Thursday');(_:booking,id,'TR7239');(_:booking,leave_at,'05:11');(_:booking,ref,'HLSA9R72');(_:booking,ticket,'9.8 GBP');(_:booking,type,'Booking'))
system
I have successfully booked you a ticket for 05:11 on Thursday . The total fee is 9.8 GBP , payable at the station . The trainID is TR7239 , and your reference number is HLSA9R72 . Is there anything else I can do for you today ?
inform((_:search,area,'centre');(_:search,food,'corsica');(_:search,type,'Restaurant'))
user
Yes ! I am looking for a restaurant that serves corsica food and it should in the centre . Can you find me a place to dine ?
request((_:search,area,?);(_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
I could not find any matches for the criteria you mentioned . Perhaps there is another area or food type you would like to look for ?
inform((_:search,food,'corsica');(_:search,type,'Restaurant'))
user
Can you check if these is any corsica restaurants anywhere ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
No , I am sorry no matches found . Another type of cuisine possibly ?
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
Yes , how about something that serves indian food .
inform((_:result,count,'5');(_:result,food,'INDIAN');(_:result,name,'golden curry');(_:result,name,'the');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
I found 5 restaurants that serve indian food . How about the golden curry ? It 's an expensive restaurant .
inform((_:search,day,'thursday');(_:search,duration,'13:00');(_:search,people,'1');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
That sounds great ! Go head and make a reservation for 1 for 13:00 on Thursday , please . I would like the reference number as well .
inform((_:booking,ref,'VC1IKXJ9');(_:booking,type,'Booking'))
system
Great your reservation was successful the reference number is VC1IKXJ9 .
inform((_:search,food,'indian');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Actually , I was looking for an cheap restaurant . Are there any cheap Indian restaurants . If so , let 's cancel that reservation .
inform((_:booking,ref,'45J21VV5');(_:booking,type,'Booking');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
You have a new one at a cheap restaurant , reference 45J21VV5 .
inform((_:search,type,'Restaurant')) request((_:result,name,?);(_:result,type,'Restaurant'))
user
What is the name of the restaurant ?
reqmore() inform((_:result,name,'Kohinoor');(_:result,type,'Restaurant'))
system
The name of the restaurant is Kohinoor . Is there anything else I can help you with ?
thank()
user
No , thanks . I am all set .
system
Great . Have a great day .
_:search day thursday
_:search departure cambridge
_:search type Train
_:search day thursday
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:search type Train
_:search day thursday
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result count 16
_:result leave_at earliest leave time is 5:11 A.M.
_:result type Train
_:search leave_at 5:11
_:search people one
_:search type Train
_:result ref ?
_:search day thursday
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result count 16
_:result leave_at earliest leave time is 5:11 A.M.
_:result type Train
_:search leave_at 5:11
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ref HLSA9R72
_:booking ticket 9.8 GBP
_:booking type Booking
_:search area centre
_:search food corsica
_:search type Restaurant
_:search day thursday
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result count 16
_:result leave_at earliest leave time is 5:11 A.M.
_:result type Train
_:search leave_at 5:11
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ref HLSA9R72
_:booking ticket 9.8 GBP
_:booking type Booking
_:search area ?
_:system canthelp _:search/aecced68
_:search/aecced68 type Restaurant
_:search food corsica
_:search type Restaurant
_:search day thursday
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result count 16
_:result leave_at earliest leave time is 5:11 A.M.
_:result type Train
_:search leave_at 5:11
_:search people one
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ref HLSA9R72
_:booking ticket 9.8 GBP
_:booking type Booking
_:search area ?
_:system canthelp _:search/aecced68
_:search/aecced68 type Restaurant
_:system canthelp _:search/22383bc8
_:search/22383bc8 type Restaurant
_:search food indian
_:search type Restaurant
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result leave_at earliest leave time is 5:11 A.M.
_:search leave_at 5:11
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ref HLSA9R72
_:booking ticket 9.8 GBP
_:booking type Booking
_:search area ?
_:system canthelp _:search/aecced68
_:search/aecced68 type Restaurant
_:system canthelp _:search/22383bc8
_:search/22383bc8 type Restaurant
_:search food indian
_:result count 5
_:result food INDIAN
_:result name golden curry
_:result name the
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 13:00
_:search people 1
_:search type Restaurant
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result leave_at earliest leave time is 5:11 A.M.
_:search leave_at 5:11
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ticket 9.8 GBP
_:search area ?
_:system canthelp _:search/aecced68
_:search/aecced68 type Restaurant
_:system canthelp _:search/22383bc8
_:search/22383bc8 type Restaurant
_:result count 5
_:result food INDIAN
_:result name golden curry
_:result name the
_:result pricerange expensive
_:result type Restaurant
_:search day thursday
_:search duration 13:00
_:search people 1
_:booking ref VC1IKXJ9
_:booking type Booking
_:search food indian
_:search pricerange cheap
_:search type Restaurant
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result leave_at earliest leave time is 5:11 A.M.
_:search leave_at 5:11
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ticket 9.8 GBP
_:search area ?
_:system canthelp _:search/aecced68
_:search/aecced68 type Restaurant
_:system canthelp _:search/22383bc8
_:search/22383bc8 type Restaurant
_:result count 5
_:result food INDIAN
_:result name golden curry
_:result name the
_:search day thursday
_:search duration 13:00
_:search people 1
_:search food indian
_:search pricerange cheap
_:booking ref 45J21VV5
_:booking type Booking
_:result pricerange cheap
_:result type Restaurant
_:search type Restaurant
_:result name ?
_:search departure cambridge
_:search arrive_by 21:00
_:search destination king 's lynn
_:result arrive_by 21:00
_:result leave_at earliest leave time is 5:11 A.M.
_:search leave_at 5:11
_:result ref ?
_:booking category Train
_:booking day Thursday
_:booking id TR7239
_:booking leave_at 05:11
_:booking ticket 9.8 GBP
_:search area ?
_:system canthelp _:search/aecced68
_:search/aecced68 type Restaurant
_:system canthelp _:search/22383bc8
_:search/22383bc8 type Restaurant
_:result count 5
_:result food INDIAN
_:search day thursday
_:search duration 13:00
_:search people 1
_:search food indian
_:search pricerange cheap
_:booking ref 45J21VV5
_:booking type Booking
_:result pricerange cheap
_:search type Restaurant
_:system inquired _:user
_:result name Kohinoor
_:result type Restaurant