inform((_:search,day,'wednesday');(_:search,leave_at,'10:00');(_:search,type,'Train'))
user
I need a train that leaves after 10:00 on Wednesday .
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
I can assist you with that . Can you tell me where you will be departing from ?
inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I 'd like to depart from Cambridge , going to london kings cross .
inform((_:result,arrive_by,'11:51');(_:result,day,'Wednesday');(_:result,departure,'cambridge');(_:result,destination,'London Kings Cross');(_:result,id,'TR9781');(_:result,leave_at,'11:00');(_:result,ticket,'23.60');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
How about TR9781 leaving Cambridge to London Kings Cross on Wednesday ?   It leaves at 11:00 and gets in at 11:51 .   It costs 23.60 .   Can I book this ?
request((_:result,duration,?);(_:result,type,'Train'))
user
No , I do n't need a booking at the moment . What 's the travel time ?
inform((_:result,duration,'51 minutes');(_:result,type,'Train')) reqmore()
system
The travel time is 51 minutes . Will that be all for today ?
inform((_:search,category,'hotel');(_:search,pricerange,'moderately');(_:search,type,'Hotel')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Not quite yet . I 'm also looking for a moderately priced hotel .
request((_:search,area,?);(_:search,type,'Hotel'))
system
What area would you like to stay in ?
inform((_:search,area,'north');(_:search,stars,'4');(_:search,type,'Hotel'))
user
In the north . I really prefer 4 star hotels .
inform((_:result,amount,'The best');(_:result,pricerange,'moderate');(_:result,stars,'2');(_:result,type,'Hotel')) reqmore()
system
The best that we have in the moderate price range is 2 stars . Could I help you find something else ?
inform((_:search,category,'guesthouse');(_:search,type,'Hotel'))
user
How about a guesthouse ?
request((_:search,pricerange,?);(_:search,type,'Hotel')) inform((_:result,amount,'a number');(_:result,area,'north');(_:result,category,'guesthouses');(_:result,type,'Hotel'))
system
It looks like there are a number of guesthouses in the north , would you like to look for a certain price range ?
inform((_:search,category,'hotel');(_:search,pricerange,'moderate');(_:search,type,'Hotel')) request((_:result,ticket,?);(_:result,type,'Train'))
user
The hotel should be in the moderate price range
request((_:search,has_internet,?);(_:search,has_parking,?);(_:search,type,'Hotel')) inform((_:result,count,'7');(_:result,pricerange,'moderately priced');(_:result,type,'Hotel'))
system
i have 7 moderately priced hotels . do you need free parking and internet ?
inform((_:search,has_internet,'dontcare');(_:search,has_parking,'dontcare');(_:search,stars,'4');(_:search,type,'Hotel'))
user
I would also want something 4 star rated . I do n't need the free parking or wifi but if it comes with it that s fine .
select((_:result,name,'the acorn guest house');(_:result,type,'Hotel'))
system
How about the acorn guest house ?
inform((_:search,day,'friday');(_:search,people,'4');(_:search,stay,'5');(_:search,type,'Hotel'))
user
Sounds good .   Can you book it for 5 nights starting Friday ?   There are 4 of us .
offer((_:booking,type,'Booking'))
system
I will check their availability .
request((_:result,ref,?);(_:result,type,'Hotel'))
user
Okay , thank you . I 'll need the reference number for the booking .
reqmore() inform((_:booking,ref,'FTI92D9B');(_:booking,type,'Booking'))
system
Okay , I have it booked for you .   Your reference number is   FTI92D9B . Anything else I can help you with ?
thank()
user
That 's all I needed . Thank you !
system
You 're welcome , have a great day !
_:search day wednesday
_:search leave_at 10:00
_:search type Train
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration ?
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result type Train
_:system inquired _:user
_:search category hotel
_:search pricerange moderately
_:search type Hotel
_:result ticket ?
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result type Train
_:system inquired _:user
_:search category hotel
_:search pricerange moderately
_:result ticket ?
_:search area north
_:search stars 4
_:search type Hotel
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:search pricerange moderately
_:result ticket ?
_:search area north
_:search stars 4
_:result amount The best
_:result pricerange moderate
_:result stars 2
_:result type Hotel
_:system inquired _:user
_:search category guesthouse
_:search type Hotel
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket ?
_:search area north
_:search stars 4
_:result pricerange moderate
_:result stars 2
_:system inquired _:user
_:result amount a number
_:result area north
_:result category guesthouses
_:result type Hotel
_:search category hotel
_:search pricerange moderate
_:search type Hotel
_:result type Train
_:search day wednesday
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket ?
_:search area north
_:result stars 2
_:system inquired _:user
_:result amount a number
_:result area north
_:result category guesthouses
_:search category hotel
_:search pricerange moderate
_:result count 7
_:result pricerange moderately priced
_:result type Hotel
_:search has_internet dontcare
_:search has_parking dontcare
_:search stars 4
_:search type Hotel
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket ?
_:search area north
_:result stars 2
_:system inquired _:user
_:result amount a number
_:result area north
_:result category guesthouses
_:search category hotel
_:search pricerange moderate
_:result count 7
_:result pricerange moderately priced
_:search has_internet dontcare
_:search has_parking dontcare
_:search stars 4
_:result name the acorn guest house
_:result type Hotel
_:search day friday
_:search people 4
_:search stay 5
_:search type Hotel
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result duration 51 minutes
_:result ticket ?
_:search area north
_:result stars 2
_:system inquired _:user
_:result amount a number
_:result area north
_:result category guesthouses
_:search category hotel
_:search pricerange moderate
_:result count 7
_:result pricerange moderately priced
_:search has_internet dontcare
_:search has_parking dontcare
_:search stars 4
_:result name the acorn guest house
_:result type Hotel
_:search day friday
_:search people 4
_:search stay 5
_:search type Hotel
_:result ref ?
_:search leave_at 10:00
_:search departure cambridge
_:search destination london kings cross
_:result arrive_by 11:51
_:result day Wednesday
_:result departure cambridge
_:result destination London Kings Cross
_:result id TR9781
_:result leave_at 11:00
_:result ticket 23.60
_:system offered _:booking
_:booking category Train
_:result duration 51 minutes
_:result ticket ?
_:search area north
_:result stars 2
_:result amount a number
_:result area north
_:result category guesthouses
_:search category hotel
_:search pricerange moderate
_:result count 7
_:result pricerange moderately priced
_:search has_internet dontcare
_:search has_parking dontcare
_:search stars 4
_:result name the acorn guest house
_:result type Hotel
_:search day friday
_:search people 4
_:search stay 5
_:search type Hotel
_:result ref ?
_:system inquired _:user
_:booking ref FTI92D9B
_:booking type Booking