inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm looking for a train to Cambridge .
inform((_:result,amount,'several');(_:result,destination,'Cambridge');(_:result,leave_at,'5:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are several trains leaving for Cambridge . The next one leaves at 5:17 , would you like for me to book a ticket ?
inform((_:search,departure,'birmingham new street');(_:search,type,'Train'))
user
I need it to leave from birmingham new street .
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be traveling ?
inform((_:search,day,'wednesday');(_:search,type,'Train'))
user
On a wednesday
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What time would you like to leave and arrive ?
inform((_:search,arrive_by,'13:15');(_:search,type,'Train'))
user
I would like to arrive by 13:15 .
inform((_:result,arrive_by,'12:23');(_:result,leave_at,'9:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a 9:40 that would arrive by 12:23 .   How does that sound ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
sounds great . please book it for 8 peoople .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'HL9K5T9V');(_:booking,ticket,'600.79 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 600.79 GBP payable at the station . Reference number is : HL9K5T9V . Anything else I can help with ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant'))
user
Thanks so much ! Can you also help me find a restaurant in the centre that 's mid - priced ?
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
There are 21 restaurants that fit that criteria . Is there a specific type of food you want to eat ?
inform((_:search,food,'british');(_:search,type,'Restaurant'))
user
Yes please - I 'm craving British food .
inform((_:result,name,'Cotto');(_:result,type,'Restaurant'))
system
I recommend Cotto , they 're found on
inform((_:search,day,'wednesday');(_:search,duration,'18:15');(_:search,people,'8');(_:search,type,'Restaurant'))
user
You seem to have cut off ? Anyway , can you book a table on Wednesday ? It 'll be 8 of us and we 'll be coming in at 18:15 .
reqmore() inform((_:booking,name,'cotto');(_:booking,ref,'DXADBU6Q');(_:booking,type,'Booking'))
system
Your reservation for cotto is all set ! Your reference number is DXADBU6Q . Is there anything else I can help you with ?
bye()
user
Thank you that 's all I needed today . Good bye .
system
Your welcome , I am glad I was able to help .
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:result leave_at 5:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure birmingham new street
_:search type Train
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:result leave_at 5:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure birmingham new street
_:search day wednesday
_:search type Train
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:result leave_at 5:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure birmingham new street
_:search day wednesday
_:search leave_at ?
_:search arrive_by 13:15
_:search type Train
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search departure birmingham new street
_:search day wednesday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 12:23
_:result leave_at 9:40
_:result type Train
_:search people 8
_:search type Train
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:system offered _:booking
_:search departure birmingham new street
_:search day wednesday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 12:23
_:result leave_at 9:40
_:result type Train
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref HL9K5T9V
_:booking ticket 600.79 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:system offered _:booking
_:search departure birmingham new street
_:search day wednesday
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 12:23
_:result leave_at 9:40
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref HL9K5T9V
_:booking ticket 600.79 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:result count 21
_:result type Restaurant
_:search food british
_:search type Restaurant
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:system offered _:booking
_:search departure birmingham new street
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 12:23
_:result leave_at 9:40
_:system inquired _:user
_:booking category Train
_:booking ref HL9K5T9V
_:booking ticket 600.79 GBP
_:booking type Booking
_:search area centre
_:search pricerange moderate
_:result count 21
_:search food british
_:result name Cotto
_:result type Restaurant
_:search day wednesday
_:search duration 18:15
_:search people 8
_:search type Restaurant
_:search destination cambridge
_:result amount several
_:result destination Cambridge
_:system offered _:booking
_:search departure birmingham new street
_:search leave_at ?
_:search arrive_by 13:15
_:result arrive_by 12:23
_:result leave_at 9:40
_:booking category Train
_:booking ticket 600.79 GBP
_:search area centre
_:search pricerange moderate
_:result count 21
_:search food british
_:result name Cotto
_:result type Restaurant
_:search day wednesday
_:search duration 18:15
_:search people 8
_:search type Restaurant
_:system inquired _:user
_:booking name cotto
_:booking ref DXADBU6Q
_:booking type Booking
_:user dismissed _:system