inform((_:search,arrive_by,'21:00');(_:search,destination,'leicester');(_:search,type,'Train'))
user
Find a train to leicester that arrives by 21:00 .
request((_:search,departure,?);(_:search,type,'Train'))
system
From which departure site , please ?
inform((_:search,day,'thursday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
The train will be leaving Cambridge on Thursday .
inform((_:result,count,'14');(_:result,leave_at,'18:21');(_:result,leave_at,'5:21');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There are 14 trains that fit your needs . The first leaves at 5:21 and the latest leaves at 18:21 . Would you like me to get a ticket for you ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes , I need 4 tickets .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'DMK0CENV');(_:booking,ticket,'151.19 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 151.19 GBP payable at the station . Reference number is : DMK0CENV . Do you need anything else ?
inform((_:search,name,'warkworth house');(_:search,type,'Hotel'))
user
I 'd like information on a hotel called warkworth house
system
What information are you looking for specifically ?
inform((_:search,day,'saturday');(_:search,people,'4');(_:search,stay,'5');(_:search,type,'Hotel'))
user
I need to book it for 4 people starting from saturday for 5 nights .
reqmore() inform((_:booking,ref,'FDIQHZAR');(_:booking,type,'Booking'))
system
Your booking was successful and your reference number is FDIQHZAR . May I help you with anything else ?
bye()
user
No , that 's all . Good bye .
system
Thank you , good day .
_:search arrive_by 21:00
_:search destination leicester
_:search type Train
_:search arrive_by 21:00
_:search destination leicester
_:search day thursday
_:search departure cambridge
_:search type Train
_:search arrive_by 21:00
_:search destination leicester
_:search day thursday
_:search departure cambridge
_:result count 14
_:result leave_at 18:21
_:result leave_at 5:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search arrive_by 21:00
_:search destination leicester
_:search day thursday
_:search departure cambridge
_:result count 14
_:result leave_at 18:21
_:result leave_at 5:21
_:result type Train
_:system offered _:booking
_:search people 4
_:system inquired _:user
_:booking category Train
_:booking ref DMK0CENV
_:booking ticket 151.19 GBP
_:booking type Booking
_:search name warkworth house
_:search type Hotel
_:search arrive_by 21:00
_:search destination leicester
_:search departure cambridge
_:result count 14
_:result leave_at 18:21
_:result leave_at 5:21
_:result type Train
_:system offered _:booking
_:system inquired _:user
_:booking category Train
_:booking ref DMK0CENV
_:booking ticket 151.19 GBP
_:booking type Booking
_:search name warkworth house
_:search day saturday
_:search people 4
_:search stay 5
_:search type Hotel
_:search arrive_by 21:00
_:search destination leicester
_:search departure cambridge
_:result count 14
_:result leave_at 18:21
_:result leave_at 5:21
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking ticket 151.19 GBP
_:search name warkworth house
_:search day saturday
_:search people 4
_:search stay 5
_:search type Hotel
_:system inquired _:user
_:booking ref FDIQHZAR
_:booking type Booking
_:user dismissed _:system