inform((_:search,arrive_by,'13:00');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
I need some information . on a train to london liverpool street arriving by 13:00 .
inform((_:result,count,'28');(_:result,type,'Train'))
system
Yes I have 28 entries   with that destination arriving at various times Monday thru Sunday
inform((_:search,day,'sunday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I 'm leaving on Sunday from Cambridge , is there anything available ?
inform((_:result,arrive_by,'01:27');(_:result,id,'TR7187');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have the TR7187 that will arrive at 01:27 . Would you like me to book that for you ?
user
Yes , please book that for me .
request((_:booking,people,?);(_:booking,type,'Booking');(_:search,people,?);(_:search,type,'Train'))
system
For how many people ?
inform((_:search,type,'Restaurant'))
user
Hold on a moment . Can I first make a restaurant booking ?
request((_:search,people,?);(_:search,type,'Train'))
system
Yes , we can do that after we finish with your train booking . How many people do you need tickets for ?
request((_:result,duration,?);(_:result,type,'Train'))
user
I do n't need to book it yet . What 's the departure and travel times for the train ?
inform((_:result,arrive_by,'01:27');(_:result,departure,'Cambridge');(_:result,destination,'London Liverpool Street');(_:result,id,'TR7187');(_:result,leave_at,'23:59');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR7187 departs from Cambridge at 23:59 and arrives in London Liverpool Street at 01:27 . Do you want me to book that for you or move on to restaurant assistance ?
request((_:result,duration,?);(_:result,type,'Train'))
user
I really dislike math , can you just let me know the trip duration if you have it in front of you ?
inform((_:result,duration,'88 minutes');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Sure . The trip is 88 minutes . Would you like to book a seat ?
inform((_:search,type,'Restaurant'))
user
Yes , and then lets work on the restaurant .
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like ?
inform((_:search,area,'centre');(_:search,food,'swedish');(_:search,type,'Restaurant'))
user
I do n't want to book the train right now . Could you find me a restaurant in centre that serves swedish food ?
request((_:search,food,?);(_:search,type,'Restaurant')) canthelp((_:search,type,'Restaurant'))
system
There appear to be none in the area . Any other types of food you are interested in ?
inform((_:search,food,'british');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Is there British food in the centre in the moderate price range ?
inform((_:result,address,'183 East Road City Centre');(_:result,count,'4');(_:result,food,'british');(_:result,name,'Cotto');(_:result,type,'Restaurant'))
system
There are four restaurants that serve british food . I recommend Cotto for you . Their address is   183 East Road City Centre
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
What 's the postcode with that ?
reqmore() inform((_:result,postcode,'cb11bg');(_:result,type,'Restaurant'))
system
The postcode is cb11bg .   Can I help you with anything else ?
thank()
user
No thank you , that is everything .
system
Have a nice day !
_:search arrive_by 13:00
_:search destination london liverpool street
_:search type Train
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:result type Train
_:search day sunday
_:search departure cambridge
_:search type Train
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:search type Train
_:result arrive_by 01:27
_:result id TR7187
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:result arrive_by 01:27
_:result id TR7187
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:search people ?
_:search type Restaurant
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:result arrive_by 01:27
_:result id TR7187
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:search people ?
_:search type Train
_:result duration ?
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:search people ?
_:search type Train
_:result duration ?
_:result arrive_by 01:27
_:result departure Cambridge
_:result destination London Liverpool Street
_:result id TR7187
_:result leave_at 23:59
_:result type Train
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:search people ?
_:result arrive_by 01:27
_:result departure Cambridge
_:result destination London Liverpool Street
_:result id TR7187
_:result leave_at 23:59
_:result duration 88 minutes
_:result type Train
_:search type Restaurant
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:result arrive_by 01:27
_:result departure Cambridge
_:result destination London Liverpool Street
_:result id TR7187
_:result leave_at 23:59
_:result duration 88 minutes
_:result type Train
_:search people ?
_:search area centre
_:search food swedish
_:search type Restaurant
_:search arrive_by 13:00
_:search destination london liverpool street
_:result count 28
_:search day sunday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:result arrive_by 01:27
_:result departure Cambridge
_:result destination London Liverpool Street
_:result id TR7187
_:result leave_at 23:59
_:result duration 88 minutes
_:result type Train
_:search people ?
_:search area centre
_:system canthelp _:search/59161fbf
_:search/59161fbf type Restaurant
_:search food british
_:search pricerange moderate
_:search type Restaurant
_:search arrive_by 13:00
_:search destination london liverpool street
_:search day sunday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:result arrive_by 01:27
_:result departure Cambridge
_:result destination London Liverpool Street
_:result id TR7187
_:result leave_at 23:59
_:result duration 88 minutes
_:search people ?
_:search area centre
_:system canthelp _:search/59161fbf
_:search/59161fbf type Restaurant
_:search food british
_:search pricerange moderate
_:search type Restaurant
_:result address 183 East Road City Centre
_:result count 4
_:result food british
_:result name Cotto
_:result type Restaurant
_:result postcode ?
_:search arrive_by 13:00
_:search destination london liverpool street
_:search day sunday
_:search departure cambridge
_:system offered _:booking
_:booking category Train
_:booking people ?
_:booking type Booking
_:result arrive_by 01:27
_:result departure Cambridge
_:result destination London Liverpool Street
_:result id TR7187
_:result leave_at 23:59
_:result duration 88 minutes
_:search people ?
_:search area centre
_:system canthelp _:search/59161fbf
_:search/59161fbf type Restaurant
_:search food british
_:search pricerange moderate
_:search type Restaurant
_:result address 183 East Road City Centre
_:result count 4
_:result food british
_:result name Cotto
_:system inquired _:user
_:result postcode cb11bg
_:result type Restaurant