inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I need some help finding a place in Centre to eat , can you look it up for me ?
select((_:result,food,'British');(_:result,food,'Chinese');(_:result,food,'Gastropub');(_:result,food,'Indian');(_:result,food,'International');(_:result,type,'Restaurant')) inform((_:result,amount,'a variety');(_:result,type,'Restaurant'))
system
There are a variety of restaurants to chose from .   Would you like Indian , Chinese , British , International fare or a Gastropub ?
inform((_:search,food,'Portuguese');(_:search,type,'Restaurant'))
user
We would like to try a Portuguese place . Is there one available ?
thank() offer((_:booking,type,'Booking')) inform((_:result,name,'Nandos City Center');(_:result,type,'Restaurant'))
system
Oh you 're in luck . I have one in the center called Nandos City Center . Would you like me to make a reservation for you ?
inform((_:search,day,'tuesday');(_:search,duration,'15:15');(_:search,people,'2');(_:search,type,'Restaurant'))
user
Yes . Please reserve for 2 people on Tuesday at 15:15 .
inform((_:booking,ref,'JM0RL39I');(_:booking,type,'Booking'))
system
That booking was successful and your reference number is JM0RL39I .
inform((_:search,day,'saturday');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
Thank you .   I would also like a train leaving on Saturday going to Kings Lynn .
request((_:search,departure,?);(_:search,type,'Train'))
system
Okay , where are you departing from ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am departing from Cambridge .
inform((_:result,amount,'several');(_:result,day,'Saturday');(_:result,departure,'Cambridge');(_:result,type,'Train')) thank() offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Well , I have great news . There are several trains leaving from Cambridge on Saturday . Would you like to book tickets for you and how many ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
Yes please book 2 tickets .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Let 's try and narrow this down some . What time do you want to depart or what time do you want to arrive by ?
inform((_:search,leave_at,'20:45');(_:search,type,'Train'))
user
I would like to leave after 20:45
request((_:booking,people,?);(_:booking,type,'Booking');(_:search,people,?);(_:search,type,'Train'))
system
For how many people ?
inform((_:search,people,'2');(_:search,type,'Train'))
user
There will be 2 people .
offer((_:booking,arrive_by,'21:58');(_:booking,category,'Train');(_:booking,id,'TR6633');(_:booking,type,'Booking'))
system
Would train TR6633 arrving at 21:58 work ?
request((_:result,ref,?);(_:result,type,'Train'))
user
Yes . I 'd like to book that for two . Could I get the reference number please ?
inform((_:booking,category,'Train');(_:booking,ref,'1J07UJKY');(_:booking,type,'Booking'))
system
It has been booked . Your reference number is 1J07UJKY .
thank()
user
Thank for the help , goodbye !
system
Have a safe trip .
_:search area centre
_:search type Restaurant
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:result amount a variety
_:result type Restaurant
_:search food Portuguese
_:search type Restaurant
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:result amount a variety
_:search food Portuguese
_:system offered _:booking
_:booking type Booking
_:result name Nandos City Center
_:result type Restaurant
_:search day tuesday
_:search duration 15:15
_:search people 2
_:search type Restaurant
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:result amount a variety
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:result type Restaurant
_:search duration 15:15
_:search people 2
_:booking ref JM0RL39I
_:booking type Booking
_:search day saturday
_:search destination kings lynn
_:search type Train
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:result amount a variety
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:result type Restaurant
_:search duration 15:15
_:search people 2
_:booking ref JM0RL39I
_:booking type Booking
_:search day saturday
_:search destination kings lynn
_:search departure cambridge
_:search type Train
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:search duration 15:15
_:booking ref JM0RL39I
_:booking type Booking
_:search day saturday
_:search destination kings lynn
_:search departure cambridge
_:result amount several
_:result day Saturday
_:result departure Cambridge
_:result type Train
_:booking category Train
_:search people 2
_:search type Train
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:search duration 15:15
_:booking ref JM0RL39I
_:booking type Booking
_:search day saturday
_:search destination kings lynn
_:search departure cambridge
_:result amount several
_:result day Saturday
_:result departure Cambridge
_:result type Train
_:booking category Train
_:search people 2
_:search arrive_by ?
_:search leave_at 20:45
_:search type Train
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:search duration 15:15
_:booking ref JM0RL39I
_:search day saturday
_:search destination kings lynn
_:search departure cambridge
_:result amount several
_:result day Saturday
_:result departure Cambridge
_:result type Train
_:booking category Train
_:search arrive_by ?
_:search leave_at 20:45
_:booking people ?
_:booking type Booking
_:search people 2
_:search type Train
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:search duration 15:15
_:booking ref JM0RL39I
_:search day saturday
_:search destination kings lynn
_:search departure cambridge
_:result amount several
_:result day Saturday
_:result departure Cambridge
_:result type Train
_:booking category Train
_:search arrive_by ?
_:search leave_at 20:45
_:booking people ?
_:booking type Booking
_:search people 2
_:search type Train
_:booking arrive_by 21:58
_:booking id TR6633
_:result ref ?
_:search area centre
_:result food British
_:result food Chinese
_:result food Gastropub
_:result food Indian
_:result food International
_:search food Portuguese
_:system offered _:booking
_:result name Nandos City Center
_:search duration 15:15
_:search day saturday
_:search destination kings lynn
_:search departure cambridge
_:result amount several
_:result day Saturday
_:result departure Cambridge
_:result type Train
_:search arrive_by ?
_:search leave_at 20:45
_:booking people ?
_:search people 2
_:search type Train
_:booking arrive_by 21:58
_:booking id TR6633
_:result ref ?
_:booking category Train
_:booking ref 1J07UJKY
_:booking type Booking