inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am planning a trip to Cambridge   looking for a train .
request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
Where are you coming from for your visit ?
inform((_:search,departure,'bishops stortford');(_:search,type,'Train'))
user
I am leaving Bishops Stortford .
request((_:search,arrive_by,?);(_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have the system up but still need the date and time .
inform((_:search,leave_at,'18:00');(_:search,type,'Train'))
user
I would like to leave after 18:00
inform((_:result,id,'TR9891');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR9891 meets your criteria . Would you like to book tickets ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Yes please for 1 person .
reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR9891');(_:booking,ref,'6K7A74SN');(_:booking,type,'Booking'))
system
You have a seat reserved on TR9891 , reference # 6K7A74SN . Can I help you with anything else today ?
inform((_:search,duration,'21:00');(_:search,name,'nandos city centre');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
Can you book me a table at nandos city centre for 21:00 and give me a ref number
request((_:booking,day,?);(_:booking,type,'Booking')) thank()
system
I 'd be happy to . Please confirm the day you would like the reservation .
inform((_:search,day,'saturday');(_:search,type,'Restaurant'))
user
Saturday please .
reqmore() inform((_:booking,day,'Saturday');(_:booking,name,'Nandos City Centre');(_:booking,ref,'RMJ6DTL');(_:booking,type,'Booking'))
system
You are now booked for Saturday at Nandos City Centre .   Your reference number is RMJ6DTL . Can I help you with anything else ?
thank()
user
No , that will do it for today thank you .
system
Thank you for using our service !
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search day ?
_:search departure bishops stortford
_:search type Train
_:search destination cambridge
_:search departure bishops stortford
_:search arrive_by ?
_:search day ?
_:search leave_at 18:00
_:search type Train
_:search destination cambridge
_:search departure bishops stortford
_:search arrive_by ?
_:search day ?
_:search leave_at 18:00
_:result id TR9891
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 1
_:search type Train
_:search destination cambridge
_:search departure bishops stortford
_:search arrive_by ?
_:search day ?
_:search leave_at 18:00
_:result id TR9891
_:result type Train
_:system offered _:booking
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking id TR9891
_:booking ref 6K7A74SN
_:booking type Booking
_:search duration 21:00
_:search name nandos city centre
_:search type Restaurant
_:result ref ?
_:result type Restaurant
_:search destination cambridge
_:search departure bishops stortford
_:search arrive_by ?
_:search leave_at 18:00
_:result id TR9891
_:result type Train
_:system offered _:booking
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking id TR9891
_:booking ref 6K7A74SN
_:search duration 21:00
_:search name nandos city centre
_:result ref ?
_:result type Restaurant
_:booking day ?
_:booking type Booking
_:search day saturday
_:search type Restaurant
_:search destination cambridge
_:search departure bishops stortford
_:search arrive_by ?
_:search leave_at 18:00
_:result id TR9891
_:result type Train
_:system offered _:booking
_:search people 1
_:booking category Train
_:booking id TR9891
_:search duration 21:00
_:search name nandos city centre
_:result ref ?
_:result type Restaurant
_:search day saturday
_:search type Restaurant
_:system inquired _:user
_:booking day Saturday
_:booking name Nandos City Centre
_:booking ref RMJ6DTL
_:booking type Booking