inform((_:search,day,'monday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Please help me find a train which will arrive in Cambridge on Monday .
request((_:search,departure,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Where would you be departing from and what time would you like to travel ?
inform((_:search,departure,'kings lynn');(_:search,leave_at,'11:30');(_:search,type,'Train'))
user
I am travelling from Kings Lynn after 11:30
offer((_:booking,category,'Train');(_:booking,id,'TR5091');(_:booking,type,'Booking'))
system
I recommend TR5091 for the quickest travel after 1130 . Can I book this trip for you ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
I want to book for 2 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'VC9DZEG8');(_:booking,ticket,'19.6 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 19.6 GBP payable at the station . 
 Reference number is : VC9DZEG8 .   Is there anything else I can help with today ?
inform((_:search,name,'city stop restaurant');(_:search,type,'Restaurant'))
user
Yes , actually . Can you tell me about City Stop Restaurant ?
offer((_:booking,type,'Booking')) inform((_:result,area,'north');(_:result,food,'european');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
Well , they serve european food and are located in the north . The price range is on the expensive side . Would you like me to book a reservation for you ?
request((_:result,area,?);(_:result,type,'Restaurant'))
user
What area is it located in please ?
inform((_:result,area,'North');(_:result,name,'City Stop Restaurant');(_:result,type,'Restaurant'))
system
City Stop Restaurant is in the North area ?
thank()
user
Ok , thank you !
inform((_:booking,name,'City Stop Restaurant');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
Would you like me to make a reservation for you at city stop restaurant ? Just tell me how many are in your party , and what day and time .
request((_:result,area,?);(_:result,type,'Restaurant'))
user
No thanks I just needed to know the area , thank you for your help .
reqmore()
system
Is there anything else you need help with today ?
thank()
user
No , that is all I need help with . Thank you very much !
system
Thank You . Goodbye
_:search day monday
_:search destination cambridge
_:search type Train
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:search type Train
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:system offered _:booking
_:booking category Train
_:booking id TR5091
_:booking type Booking
_:search people 2
_:search type Train
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:system offered _:booking
_:booking id TR5091
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref VC9DZEG8
_:booking ticket 19.6 GBP
_:booking type Booking
_:search name city stop restaurant
_:search type Restaurant
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:system offered _:booking
_:booking id TR5091
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref VC9DZEG8
_:booking ticket 19.6 GBP
_:booking type Booking
_:search name city stop restaurant
_:search type Restaurant
_:result area north
_:result food european
_:result pricerange expensive
_:result type Restaurant
_:result area ?
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:system offered _:booking
_:booking id TR5091
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref VC9DZEG8
_:booking ticket 19.6 GBP
_:booking type Booking
_:search name city stop restaurant
_:search type Restaurant
_:result food european
_:result pricerange expensive
_:result area North
_:result name City Stop Restaurant
_:result type Restaurant
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:system offered _:booking
_:booking id TR5091
_:search people 2
_:system inquired _:user
_:booking category Train
_:booking ref VC9DZEG8
_:booking ticket 19.6 GBP
_:search name city stop restaurant
_:search type Restaurant
_:result food european
_:result pricerange expensive
_:result area North
_:result name City Stop Restaurant
_:result type Restaurant
_:booking name City Stop Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:result area ?
_:search day monday
_:search destination cambridge
_:search departure kings lynn
_:search leave_at 11:30
_:system offered _:booking
_:booking id TR5091
_:search people 2
_:booking category Train
_:booking ref VC9DZEG8
_:booking ticket 19.6 GBP
_:search name city stop restaurant
_:search type Restaurant
_:result food european
_:result pricerange expensive
_:result area North
_:result name City Stop Restaurant
_:result type Restaurant
_:booking name City Stop Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking
_:result area ?
_:system inquired _:user