inform((_:search,departure,'norwich');(_:search,leave_at,'15:00');(_:search,type,'Train'))
user
i need a train that leaves norwich after 15:00
request((_:search,day,?);(_:search,type,'Train')) thank()
system
I can help you with that . What day would you like to travel ?
inform((_:search,day,'sunday');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I need to leave on Sunday and arrive in Cambridge please .
inform((_:result,count,'9');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have 9 trains available .   Do you have an arrival or departure time preference ?
inform((_:search,leave_at,'15:00');(_:search,people,'3');(_:search,type,'Train'))
user
No arrival preference but it will need to leave after 15:00 . Any one is fine . I 'll need a booking for 3 people .
bye() inform((_:booking,category,'Train');(_:booking,leave_at,'15:16');(_:booking,ref,'RZKWMA85');(_:booking,ticket,'42.24 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 42.24 GBP payable at the station . 
 Reference number is : RZKWMA85 . It leaves at 15:16 . Thank you and have a good day .
inform((_:search,type,'Restaurant'))
user
I would also like more info in a place I would like to eat at .
request((_:search,name,?);(_:search,type,'Restaurant'))
system
Absolutely . What is the name of the restaurant you have in mind ?
inform((_:search,name,'dojo noodle bar');(_:search,type,'Restaurant'))
user
The restaurant I am looking for is Dojo Noodle Bar .
offer((_:booking,type,'Booking')) inform((_:result,name,'Dojo Noodle Bar');(_:result,type,'Restaurant'))
system
I have found the Dojo Noodle Bar , would you like me to book it for you ?
inform((_:search,day,'sunday');(_:search,duration,'20:30');(_:search,people,'3');(_:search,type,'Restaurant'))
user
Yes , please book it for 3 people on sunday at 20:30
reqmore() inform((_:booking,ref,'9P2XXWAS');(_:booking,type,'Booking'))
system
I 've gone ahead and booked , the reference number is 9P2XXWAS , can I help with anything else ?
thank()
user
That 's it .   Thank you for your help .
system
Thank you for allowing me to help you . Have a great day .
_:search departure norwich
_:search leave_at 15:00
_:search type Train
_:search departure norwich
_:search leave_at 15:00
_:search day sunday
_:search destination cambridge
_:search type Train
_:search departure norwich
_:search day sunday
_:search destination cambridge
_:result count 9
_:result type Train
_:search arrive_by ?
_:search leave_at 15:00
_:search people 3
_:search type Train
_:search departure norwich
_:search day sunday
_:search destination cambridge
_:result count 9
_:result type Train
_:search arrive_by ?
_:search leave_at 15:00
_:search people 3
_:system dismissed _:user
_:booking category Train
_:booking leave_at 15:16
_:booking ref RZKWMA85
_:booking ticket 42.24 GBP
_:booking type Booking
_:search type Restaurant
_:search departure norwich
_:search day sunday
_:search destination cambridge
_:result count 9
_:result type Train
_:search arrive_by ?
_:search leave_at 15:00
_:search people 3
_:system dismissed _:user
_:booking category Train
_:booking leave_at 15:16
_:booking ref RZKWMA85
_:booking ticket 42.24 GBP
_:booking type Booking
_:search name dojo noodle bar
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result count 9
_:search arrive_by ?
_:search leave_at 15:00
_:system dismissed _:user
_:booking category Train
_:booking leave_at 15:16
_:booking ref RZKWMA85
_:booking ticket 42.24 GBP
_:booking type Booking
_:search name dojo noodle bar
_:system offered _:booking
_:result name Dojo Noodle Bar
_:result type Restaurant
_:search day sunday
_:search duration 20:30
_:search people 3
_:search type Restaurant
_:search departure norwich
_:search destination cambridge
_:result count 9
_:search arrive_by ?
_:search leave_at 15:00
_:system dismissed _:user
_:booking category Train
_:booking leave_at 15:16
_:booking ticket 42.24 GBP
_:search name dojo noodle bar
_:system offered _:booking
_:result name Dojo Noodle Bar
_:result type Restaurant
_:search day sunday
_:search duration 20:30
_:search people 3
_:search type Restaurant
_:system inquired _:user
_:booking ref 9P2XXWAS
_:booking type Booking