inform((_:search,day,'tuesday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I need a train on Tuesday that goes to london kings cross .
inform((_:result,amount,'ten');(_:result,day,'tuesday');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are ten trains on tuesday to that location . What time would you like to depart ?
inform((_:search,leave_at,'19:30');(_:search,type,'Train'))
user
I want to leave by 19:30 .
inform((_:result,arrive_by,'11:51');(_:result,departure,'Cambridge');(_:result,destination,'London Kings Cross');(_:result,leave_at,'11:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train leaving Cambridge at 11:00 to go to London Kings Cross by 11:51 , TR6925 .   Does this sound acceptable ?
inform((_:search,day,'tuesday');(_:search,leave_at,'19:30');(_:search,people,'5');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Well I need it to leave after 19:30 and I would like to make a booking for 5 people on Tuesday and I will need a reference number .
inform((_:booking,category,'Train');(_:booking,ref,'MMHRON1T');(_:booking,ticket,'118 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 118 GBP payable at the station .Reference number is : MMHRON1T .
inform((_:search,name,'hamilton lodge');(_:search,type,'Hotel'))
user
i am also looking for information about the hamilton lodge .
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,category,'guesthouse');(_:result,name,'The hamilton lodge');(_:result,type,'Hotel'))
system
The hamilton lodge is a guesthouse in the north area . Would you like a booking ?
request((_:result,has_internet,?);(_:result,type,'Hotel')) inform((_:search,has_internet,'yes');(_:search,type,'Hotel'))
user
Can you tell me if they have free internet ?
inform((_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,type,'Hotel'))
system
They do indeed have free internet as well as free parking .
thank()
user
Ok .   Thanks .   All set .
reqmore()
system
Is there anything else I can get for you today ?
thank()
user
No , that would be all for today . Thank you for all your help .
system
You are welcome , enjoy your stay .
_:search day tuesday
_:search destination london kings cross
_:search type Train
_:search day tuesday
_:search destination london kings cross
_:result amount ten
_:result day tuesday
_:result type Train
_:search leave_at 19:30
_:search type Train
_:search destination london kings cross
_:result amount ten
_:result day tuesday
_:result arrive_by 11:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 11:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day tuesday
_:search leave_at 19:30
_:search people 5
_:search type Train
_:result ref ?
_:search destination london kings cross
_:result amount ten
_:result day tuesday
_:result arrive_by 11:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 11:00
_:result type Train
_:system offered _:booking
_:search day tuesday
_:search leave_at 19:30
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref MMHRON1T
_:booking ticket 118 GBP
_:booking type Booking
_:search name hamilton lodge
_:search type Hotel
_:search destination london kings cross
_:result amount ten
_:result day tuesday
_:result arrive_by 11:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 11:00
_:system offered _:booking
_:search day tuesday
_:search leave_at 19:30
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref MMHRON1T
_:booking ticket 118 GBP
_:booking type Booking
_:search name hamilton lodge
_:result area north
_:result category guesthouse
_:result name The hamilton lodge
_:result type Hotel
_:result has_internet ?
_:search has_internet yes
_:search type Hotel
_:search destination london kings cross
_:result amount ten
_:result day tuesday
_:result arrive_by 11:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 11:00
_:system offered _:booking
_:search day tuesday
_:search leave_at 19:30
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref MMHRON1T
_:booking ticket 118 GBP
_:booking type Booking
_:search name hamilton lodge
_:result area north
_:result category guesthouse
_:result name The hamilton lodge
_:search has_internet yes
_:search type Hotel
_:result has_internet none
_:result has_parking none
_:result type Hotel
_:search destination london kings cross
_:result amount ten
_:result day tuesday
_:result arrive_by 11:51
_:result departure Cambridge
_:result destination London Kings Cross
_:result leave_at 11:00
_:system offered _:booking
_:search day tuesday
_:search leave_at 19:30
_:search people 5
_:result ref ?
_:booking category Train
_:booking ref MMHRON1T
_:booking ticket 118 GBP
_:booking type Booking
_:search name hamilton lodge
_:result area north
_:result category guesthouse
_:result name The hamilton lodge
_:search has_internet yes
_:search type Hotel
_:result has_internet none
_:result has_parking none
_:result type Hotel
_:system inquired _:user