inform((_:search,arrive_by,'12:30');(_:search,day,'wednesday');(_:search,leave_at,'12:30');(_:search,type,'Train'))
user
Can you help me find a train leaving on wednesday arriving by 12:30 ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
And what are your departure and arrival stations ?
inform((_:search,departure,'Lecester');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I 'm coming to cambridge from Lecester .
inform((_:result,amount,'Six');(_:result,arrive_by,'06:54');(_:result,leave_at,'05:09');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Six trains match your criteria . The first train leaves at 05:09 and arrives by 06:54 . Do you want to book a seat on this train or another ?
inform((_:search,arrive_by,'12:30');(_:search,type,'Train'))
user
I need to arrive by 12:30 not 6:54 . Try again please
inform((_:result,arrive_by,'11:54');(_:result,id,'TR3404');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I 'm sorry about that .   The TR3404 arrives at 11:54 .   Would you like me to book it for you ?
inform((_:search,arrive_by,'12:30');(_:search,day,'wednesday');(_:search,type,'Train'))
user
The train should arrive by 12:30 and should leave on wednesday .
inform((_:result,amount,'earliest');(_:result,arrive_by,'11:54');(_:result,id,'tr3404');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
the earliest train I can get for you arrives at 11:54 the tr3404 how many tickets please ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
I need a booking for 4 people .
inform((_:booking,category,'Train');(_:booking,type,'Booking');(_:result,ref,'NIGO21EH');(_:result,ticket,'151.19 GBP');(_:result,type,'Train'))
system
I booked your train ride . It is going to cost 151.19 GBP and your reference number is NIGO21EH .
inform((_:search,name,'worth house');(_:search,type,'Hotel'))
user
I am looking for a hotel called worth house .
inform((_:result,address,'152 Chesterton Road');(_:result,category,'guesthouse');(_:result,type,'Hotel'))
system
Great guesthouse located at 152 Chesterton Road .
inform((_:search,day,'the day we get there');(_:search,people,'same group of people');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Thanks .   Can you book a hotel for the same group of people for 3 nights on the day we get there ?
reqmore() inform((_:booking,name,'Worth House');(_:booking,ref,'9HLR5ZQO');(_:booking,type,'Booking'))
system
your booked at the Worth House reference number is 9HLR5ZQO . Can I help you with anything else ?
thank()
user
That 's everything .   Thanks for all your help .
reqmore()
system
If you need anything else , please let us know .
thank()
user
I will . Thank you , goodbye .
system
Have a good day .
_:search arrive_by 12:30
_:search day wednesday
_:search leave_at 12:30
_:search type Train
_:search arrive_by 12:30
_:search day wednesday
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:search type Train
_:search day wednesday
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result amount Six
_:result arrive_by 06:54
_:result leave_at 05:09
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 12:30
_:search type Train
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result amount Six
_:result leave_at 05:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 11:54
_:result id TR3404
_:result type Train
_:search arrive_by 12:30
_:search day wednesday
_:search type Train
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result leave_at 05:09
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search arrive_by 12:30
_:search day wednesday
_:result amount earliest
_:result arrive_by 11:54
_:result id tr3404
_:result type Train
_:search people 4
_:search type Train
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result leave_at 05:09
_:system offered _:booking
_:search arrive_by 12:30
_:search day wednesday
_:result amount earliest
_:result arrive_by 11:54
_:result id tr3404
_:search people 4
_:booking category Train
_:booking type Booking
_:result ref NIGO21EH
_:result ticket 151.19 GBP
_:result type Train
_:search name worth house
_:search type Hotel
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result leave_at 05:09
_:system offered _:booking
_:search arrive_by 12:30
_:result amount earliest
_:result arrive_by 11:54
_:result id tr3404
_:booking category Train
_:booking type Booking
_:result ref NIGO21EH
_:result ticket 151.19 GBP
_:search name worth house
_:result address 152 Chesterton Road
_:result category guesthouse
_:result type Hotel
_:search day the day we get there
_:search people same group of people
_:search stay 3
_:search type Hotel
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result leave_at 05:09
_:system offered _:booking
_:search arrive_by 12:30
_:result amount earliest
_:result arrive_by 11:54
_:result id tr3404
_:booking category Train
_:result ref NIGO21EH
_:result ticket 151.19 GBP
_:search name worth house
_:result address 152 Chesterton Road
_:result category guesthouse
_:result type Hotel
_:search day the day we get there
_:search people same group of people
_:search stay 3
_:search type Hotel
_:system inquired _:user
_:booking name Worth House
_:booking ref 9HLR5ZQO
_:booking type Booking
_:search leave_at 12:30
_:search departure Lecester
_:search destination cambridge
_:result leave_at 05:09
_:system offered _:booking
_:search arrive_by 12:30
_:result amount earliest
_:result arrive_by 11:54
_:result id tr3404
_:booking category Train
_:result ref NIGO21EH
_:result ticket 151.19 GBP
_:search name worth house
_:result address 152 Chesterton Road
_:result category guesthouse
_:result type Hotel
_:search day the day we get there
_:search people same group of people
_:search stay 3
_:search type Hotel
_:booking name Worth House
_:booking ref 9HLR5ZQO
_:booking type Booking
_:system inquired _:user