inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I need to go to london kings cross by train
thank() request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
Okay ! Do you know where you want to depart from or the day of the trip ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,leave_at,'15:30');(_:search,type,'Train'))
user
yeah . Cambridge to london kings cross . The train should leave after 15:30 on Friday
inform((_:result,day,'Friday');(_:result,departure,'Cambridge');(_:result,id,'TR6626');(_:result,leave_at,'17:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR6626 leaves Cambridge on Friday at 17:00 . Would that work for you ?
user
Anything leaving a little bit earlier but after 15:30 ?
inform((_:result,leave_at,'15:00');(_:result,leave_at,'15:30');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
Actually , that is the earliest train available that leaves after 15:30 . The next train before that departs at 15:00 which would n't fit your criteria . Would you like to book any tickets ?
user
I guess that will have to do .   Go ahead and book it .
inform((_:booking,category,'Train');(_:booking,ref,'23ELORQB');(_:booking,type,'Booking'))
system
The booking was successful . Your reference number is 23ELORQB .
inform((_:search,type,'Hotel'))
user
I also need a place to stay .
request((_:search,area,?);(_:search,type,'Hotel')) thank()
system
I can help you with that , but let me gather a few more details .   What area of town would you like to visit ?
inform((_:search,area,'north');(_:search,category,'guesthouse');(_:search,pricerange,'cheap');(_:search,type,'Hotel'))
user
The North , please . Also , I would like a guesthouse in the cheap price range .
request((_:search,stars,?);(_:search,type,'Hotel'))
system
How many stars would you like ?
inform((_:search,has_parking,'yes');(_:search,type,'Hotel')) request((_:result,has_parking,?);(_:result,type,'Hotel'))
user
Any is fine , as long as it has free parking .
select((_:result,name,'City centre noth b and b');(_:result,name,'worth house');(_:result,type,'Hotel')) offer((_:booking,type,'Booking')) inform((_:result,count,'2');(_:result,type,'Hotel'))
system
There are two options . City centre noth b and b and worth house . Would you like to make a reservation at one ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Hotel')) inform((_:search,name,'Worth House');(_:search,type,'Hotel'))
user
Not yet .   Can you just give me the phone number and postcode of the Worth House ?
inform((_:result,phone,'01223316074');(_:result,postcode,'cb41da');(_:result,type,'Hotel')) thank()
system
Sure .   The phone number is 01223316074 and the postcode is cb41da .
thank()
user
Why thank you for your kind help !
thank() reqmore()
system
You 're welcome . Is there anything else I can do for you ?
thank()
user
That was all I needed today , thank you !
thank()
system
Thank you and enjoy your stay in Cambridge .
thank()
user
I will . Thanks for all the help !
system
Thank you for using Cambridge TownInfo centre .   Please consider us for your future travel needs .
_:search destination london kings cross
_:search type Train
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:search type Train
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:search type Train
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:result leave_at 17:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:search type Train
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result leave_at 15:00
_:result leave_at 15:30
_:result type Train
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:result type Train
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search type Hotel
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:result type Train
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search area north
_:search category guesthouse
_:search pricerange cheap
_:search type Hotel
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:result type Train
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search area north
_:search category guesthouse
_:search pricerange cheap
_:search stars ?
_:search has_parking yes
_:search type Hotel
_:result has_parking ?
_:result type Hotel
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search area north
_:search category guesthouse
_:search pricerange cheap
_:search stars ?
_:search has_parking yes
_:result has_parking ?
_:result name City centre noth b and b
_:result name worth house
_:result count 2
_:result type Hotel
_:result phone ?
_:result postcode ?
_:search name Worth House
_:search type Hotel
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search area north
_:search category guesthouse
_:search pricerange cheap
_:search stars ?
_:search has_parking yes
_:result has_parking ?
_:result name City centre noth b and b
_:result name worth house
_:result count 2
_:search name Worth House
_:search type Hotel
_:result phone 01223316074
_:result postcode cb41da
_:result type Hotel
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search area north
_:search category guesthouse
_:search pricerange cheap
_:search stars ?
_:search has_parking yes
_:result has_parking ?
_:result name City centre noth b and b
_:result name worth house
_:result count 2
_:search name Worth House
_:search type Hotel
_:result phone 01223316074
_:result postcode cb41da
_:result type Hotel
_:system inquired _:user
_:search day friday
_:search departure cambridge
_:search destination london kings cross
_:search leave_at 15:30
_:result day Friday
_:result departure Cambridge
_:result id TR6626
_:system offered _:booking
_:result leave_at 15:00
_:result leave_at 15:30
_:booking category Train
_:booking ref 23ELORQB
_:booking type Booking
_:search area north
_:search category guesthouse
_:search pricerange cheap
_:search stars ?
_:search has_parking yes
_:result has_parking ?
_:result name City centre noth b and b
_:result name worth house
_:result count 2
_:search name Worth House
_:search type Hotel
_:result phone 01223316074
_:result postcode cb41da
_:result type Hotel
_:system inquired _:user