inform((_:search,destination,'cambridge');(_:search,leave_at,'21:15');(_:search,type,'Train'))
user
Can you help me find a train going to cambridge leaving after 21:15 ?
request((_:search,day,?);(_:search,type,'Train'))
system
sure , do you know what day you 're traveling ?
inform((_:search,day,'tuesday');(_:search,type,'Train'))
user
Our reunion is on Tuesday so I want to leave that day .
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
Great !   I can help you with that .   Where would you like to leave from ?
inform((_:search,departure,'kings lynn');(_:search,type,'Train')) request((_:result,duration,?);(_:result,id,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Kings lynn . Please give me the price , travel time , and train ID
inform((_:result,count,'2');(_:result,leave_at,'22:11');(_:result,type,'Train'))
system
I have two lines . 22:11 is the closest to your departure . Does that work for you ?
inform((_:search,type,'Hotel'))
user
Sounds good to me . Oh , and I 'm also looking for a place to stay .
inform((_:result,departure,'Kings Lynn');(_:result,duration,'47 minutes');(_:result,id,'TR9704');(_:result,leave_at,'22:11');(_:result,ticket,'9.80 pounds');(_:result,type,'Train')) request((_:search,area,?);(_:search,type,'Hotel'))
system
The TR9704 train leaves Kings Lynn at 22:11 . The travel time is 47 minutes .   The price is 9.80 pounds . Do you know the area you 'd like to stay ?
inform((_:search,category,'guesthouse');(_:search,stars,'4');(_:search,type,'Hotel'))
user
No , area does n't matter .   I do want a 4 star guesthouse though .
request((_:search,area,?);(_:search,type,'Hotel')) inform((_:result,amount,'many');(_:result,type,'Hotel'))
system
I have many to choose from . What area do you prefer ?
inform((_:search,area,'dontcare');(_:search,has_internet,'yes');(_:search,pricerange,'moderate');(_:search,type,'Hotel')) request((_:result,ticket,?);(_:result,type,'Train'))
user
No specific area but i do need free wifi and need it to be in the moderate price range .
request((_:search,has_parking,?);(_:search,type,'Hotel')) inform((_:result,count,'11');(_:result,type,'Hotel'))
system
There are 11 locations , would you prefer one with parking included ?
inform((_:search,day,'same day');(_:search,people,'3');(_:search,stay,'1');(_:search,type,'Hotel')) request((_:result,ref,?);(_:result,type,'Hotel'))
user
it does n't matter book a room for 3 for 1 night the same day , and I 'll need the reference number too please
inform((_:booking,name,'Acorn');(_:booking,ref,'G5FTA5L5');(_:booking,type,'Booking'))
system
Okay i booked you at the Acorn and your reference number is G5FTA5L5 .
thank()
user
That 's all I need , thank you so much ! Have a nice day !
thank()
system
Thanks so much that is great .
bye()
user
I will certainly use Cambridge TownInfo again . Goodbye .
system
Thank you for using our system today !
_:search destination cambridge
_:search leave_at 21:15
_:search type Train
_:search destination cambridge
_:search leave_at 21:15
_:search day tuesday
_:search type Train
_:search destination cambridge
_:search leave_at 21:15
_:search day tuesday
_:search departure kings lynn
_:search type Train
_:result duration ?
_:result id ?
_:result ticket ?
_:result type Train
_:search destination cambridge
_:search leave_at 21:15
_:search day tuesday
_:search departure kings lynn
_:result duration ?
_:result id ?
_:result ticket ?
_:result count 2
_:result leave_at 22:11
_:result type Train
_:search type Hotel
_:search destination cambridge
_:search leave_at 21:15
_:search day tuesday
_:search departure kings lynn
_:result count 2
_:result departure Kings Lynn
_:result duration 47 minutes
_:result id TR9704
_:result leave_at 22:11
_:result ticket 9.80 pounds
_:result type Train
_:search area ?
_:search category guesthouse
_:search stars 4
_:search type Hotel
_:search destination cambridge
_:search leave_at 21:15
_:search day tuesday
_:search departure kings lynn
_:result count 2
_:result departure Kings Lynn
_:result duration 47 minutes
_:result id TR9704
_:result leave_at 22:11
_:result ticket 9.80 pounds
_:search category guesthouse
_:search stars 4
_:result amount many
_:result type Hotel
_:search area dontcare
_:search has_internet yes
_:search pricerange moderate
_:search type Hotel
_:result ticket ?
_:result type Train
_:search destination cambridge
_:search leave_at 21:15
_:search departure kings lynn
_:result departure Kings Lynn
_:result duration 47 minutes
_:result id TR9704
_:result leave_at 22:11
_:result ticket 9.80 pounds
_:search category guesthouse
_:search stars 4
_:result amount many
_:search area dontcare
_:search has_internet yes
_:search pricerange moderate
_:result ticket ?
_:search has_parking ?
_:result count 11
_:result type Hotel
_:search day same day
_:search people 3
_:search stay 1
_:search type Hotel
_:result ref ?
_:search destination cambridge
_:search leave_at 21:15
_:search departure kings lynn
_:result departure Kings Lynn
_:result duration 47 minutes
_:result id TR9704
_:result leave_at 22:11
_:result ticket 9.80 pounds
_:search category guesthouse
_:search stars 4
_:result amount many
_:search area dontcare
_:search has_internet yes
_:search pricerange moderate
_:result ticket ?
_:search has_parking ?
_:result count 11
_:result type Hotel
_:search day same day
_:search people 3
_:search stay 1
_:search type Hotel
_:result ref ?
_:booking name Acorn
_:booking ref G5FTA5L5
_:booking type Booking
_:search destination cambridge
_:search leave_at 21:15
_:search departure kings lynn
_:result departure Kings Lynn
_:result duration 47 minutes
_:result id TR9704
_:result leave_at 22:11
_:result ticket 9.80 pounds
_:search category guesthouse
_:search stars 4
_:result amount many
_:search area dontcare
_:search has_internet yes
_:search pricerange moderate
_:result ticket ?
_:search has_parking ?
_:result count 11
_:result type Hotel
_:search day same day
_:search people 3
_:search stay 1
_:search type Hotel
_:result ref ?
_:booking name Acorn
_:booking ref G5FTA5L5
_:booking type Booking
_:user dismissed _:system