inform((_:search,arrive_by,'20:00');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I need a train out of Cambridge , to arrive by 20:00 .
inform((_:result,departure,'Cambridge');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,day,?);(_:search,departure,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Just to clarify a train from Cambridge , correct ?   Where will it be to and what date & time ?
inform((_:search,day,'monday');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I 'm going to London 's Kings Cross on Monday .
inform((_:result,arrive_by,'7:51');(_:result,id,'TR2289');(_:result,leave_at,'7:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have TR2289 leaving at 7:00 and arriving at 7:51 .   Would you like reservations ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price of a ticket ?
inform((_:result,count,'1');(_:result,destination,'London Kings Cross');(_:result,ticket,'23.60 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
One ticket to London Kings Cross will cost 23.60 pounds . Would you like me to book the ticket for you ?
inform((_:search,area,'centre');(_:search,pricerange,'moderate');(_:search,type,'Restaurant')) request((_:result,ticket,?);(_:result,type,'Train'))
user
Yes .   Can you also find a place to dine in the centre .   I would like a restaurant in the moderate price range .
request((_:search,food,?);(_:search,type,'Restaurant')) inform((_:result,count,'21');(_:result,type,'Restaurant'))
system
ok , i have 21 options for you ! any particular cuisine ?
inform((_:search,food,'italian');(_:search,type,'Restaurant')) thank()
user
Italian would be nice thank you
offer((_:booking,type,'Booking')) inform((_:result,name,'Pizza Express');(_:result,type,'Restaurant'))
system
Okay . Pizza Express would suite your needs , would you like me to make you a reservation ?
inform((_:search,day,'same day');(_:search,duration,'16:15');(_:search,people,'8');(_:search,type,'Restaurant'))
user
Yes . I need a table for 8 people at 16:15 on the same day .
inform((_:booking,day,'Monday');(_:booking,duration,'16:15');(_:booking,people,'8');(_:booking,ref,'K4PZHB51');(_:booking,type,'Booking'))
system
I have you booked for 8 people at 16:15 on Monday .   Your reference number is   K4PZHB51 .
thank()
user
Excellent .   Thank you very much for all of your help !
thank() reqmore()
system
You 're very welcome ! Is there anything else I can help you with ?
thank()
user
No thank you !
system
Great ! Have a wonderful time !
_:search arrive_by 20:00
_:search departure cambridge
_:search type Train
_:result departure Cambridge
_:result type Train
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search day monday
_:search destination london kings cross
_:search type Train
_:result departure Cambridge
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search day monday
_:search destination london kings cross
_:search type Train
_:result arrive_by 7:51
_:result id TR2289
_:result leave_at 7:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:result departure Cambridge
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search day monday
_:search destination london kings cross
_:result arrive_by 7:51
_:result id TR2289
_:result leave_at 7:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result count 1
_:result destination London Kings Cross
_:result ticket 23.60 pounds
_:result type Train
_:search area centre
_:search pricerange moderate
_:search type Restaurant
_:result ticket ?
_:result departure Cambridge
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search day monday
_:search destination london kings cross
_:result arrive_by 7:51
_:result id TR2289
_:result leave_at 7:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result destination London Kings Cross
_:result ticket 23.60 pounds
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result count 21
_:result type Restaurant
_:search food italian
_:search type Restaurant
_:result departure Cambridge
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search destination london kings cross
_:result arrive_by 7:51
_:result id TR2289
_:result leave_at 7:00
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result destination London Kings Cross
_:result ticket 23.60 pounds
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result count 21
_:search food italian
_:result name Pizza Express
_:result type Restaurant
_:search day same day
_:search duration 16:15
_:search people 8
_:search type Restaurant
_:result departure Cambridge
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search destination london kings cross
_:result arrive_by 7:51
_:result id TR2289
_:result leave_at 7:00
_:system offered _:booking
_:booking category Train
_:result destination London Kings Cross
_:result ticket 23.60 pounds
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result count 21
_:search food italian
_:result name Pizza Express
_:result type Restaurant
_:search day same day
_:search duration 16:15
_:search people 8
_:search type Restaurant
_:booking day Monday
_:booking duration 16:15
_:booking people 8
_:booking ref K4PZHB51
_:booking type Booking
_:result departure Cambridge
_:search arrive_by ?
_:search departure ?
_:search leave_at ?
_:search destination london kings cross
_:result arrive_by 7:51
_:result id TR2289
_:result leave_at 7:00
_:system offered _:booking
_:booking category Train
_:result destination London Kings Cross
_:result ticket 23.60 pounds
_:search area centre
_:search pricerange moderate
_:result ticket ?
_:result count 21
_:search food italian
_:result name Pizza Express
_:result type Restaurant
_:search day same day
_:search duration 16:15
_:search people 8
_:search type Restaurant
_:booking day Monday
_:booking duration 16:15
_:booking people 8
_:booking ref K4PZHB51
_:booking type Booking
_:system inquired _:user