inform((_:search,type,'Restaurant'))
user
May have some information on a restaurant in town ?
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What type of food would you like ?
inform((_:search,food,'italian');(_:search,type,'Restaurant'))
user
I would like Italian food .
request((_:search,area,?);(_:search,pricerange,?);(_:search,type,'Restaurant'))
system
What side of town and what price point ?
inform((_:search,day,'sunday');(_:search,duration,'12:15');(_:search,people,'5');(_:search,pricerange,'cheap');(_:search,type,'Restaurant')) request((_:result,ref,?);(_:result,type,'Restaurant'))
user
cheap price range . 
 Once you find the restaurant you want to book a table for 5 people at 12:15 on sunday and I need the reference number
request((_:search,area,?);(_:search,type,'Restaurant'))
system
I have the list up , I want to make sure I did nt forget an area preference first ,   Do you have one ?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
I would want something in the centre of town .
select((_:result,food,'pasta');(_:result,food,'pizza');(_:result,type,'Restaurant')) inform((_:result,amount,'several');(_:result,type,'Restaurant'))
system
I have several places are you preferring pasta or pizza ?
user
I would like pizza please .
inform((_:booking,ref,'T66ZY8AM');(_:booking,type,'Booking');(_:result,name,'Pizza hut city centre');(_:result,type,'Restaurant'))
system
Pizza hut city centre should be a great choice . They 'll hold a table for you for 15 minutes . Your reference number is T66ZY8AM .
inform((_:search,day,'monday');(_:search,type,'Train'))
user
Thank you ! Can you help me find a train for Monday ?
thank() request((_:search,departure,?);(_:search,type,'Train'))
system
sure . where do you want to departure from ?
inform((_:search,departure,'cambridge');(_:search,destination,'kings lynn');(_:search,type,'Train'))
user
I will leave Cambridge and go to Kings Lynn .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
Can you tell me what time you would like to leave or arrive by ?
inform((_:search,arrive_by,'10:45');(_:search,type,'Train')) request((_:result,id,?);(_:result,type,'Train'))
user
I have to be there by 10:45 and I 'll need the train ID , please .
inform((_:result,arrive_by,'09:58');(_:result,destination,'kings lynn');(_:result,id,'tr1163');(_:result,type,'Train'))
system
train tr1163 will get you to kings lynn by 09:58 .
thank()
user
Thank you , that is all
system
Thank you for using our system !
_:search type Restaurant
_:search food italian
_:search type Restaurant
_:search food italian
_:search area ?
_:search day sunday
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:search type Restaurant
_:result ref ?
_:result type Restaurant
_:search food italian
_:search day sunday
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:result ref ?
_:result type Restaurant
_:search area centre
_:search type Restaurant
_:search food italian
_:search day sunday
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:result ref ?
_:search area centre
_:search type Restaurant
_:result food pasta
_:result food pizza
_:result amount several
_:result type Restaurant
_:search food italian
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:result ref ?
_:search area centre
_:result food pasta
_:result food pizza
_:result amount several
_:booking ref T66ZY8AM
_:booking type Booking
_:result name Pizza hut city centre
_:result type Restaurant
_:search day monday
_:search type Train
_:search food italian
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:result ref ?
_:search area centre
_:result food pasta
_:result food pizza
_:result amount several
_:booking ref T66ZY8AM
_:booking type Booking
_:result name Pizza hut city centre
_:result type Restaurant
_:search day monday
_:search departure cambridge
_:search destination kings lynn
_:search type Train
_:search food italian
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:result ref ?
_:search area centre
_:result food pasta
_:result food pizza
_:result amount several
_:booking ref T66ZY8AM
_:booking type Booking
_:result name Pizza hut city centre
_:result type Restaurant
_:search day monday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at ?
_:search arrive_by 10:45
_:search type Train
_:result id ?
_:result type Train
_:search food italian
_:search duration 12:15
_:search people 5
_:search pricerange cheap
_:result ref ?
_:search area centre
_:result food pasta
_:result food pizza
_:result amount several
_:booking ref T66ZY8AM
_:booking type Booking
_:result name Pizza hut city centre
_:search day monday
_:search departure cambridge
_:search destination kings lynn
_:search leave_at ?
_:search arrive_by 10:45
_:search type Train
_:result arrive_by 09:58
_:result destination kings lynn
_:result id tr1163
_:result type Train