inform((_:search,destination,'cambridge');(_:search,leave_at,'12:15');(_:search,type,'Train'))
user
I am looking for a train going to Cambridge after 12:15
inform((_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,arrive_by,?);(_:search,departure,?);(_:search,type,'Train'))
system
Where will you be departing from and what time do you want to arrive in Cambridge ?
inform((_:search,day,'sunday');(_:search,departure,'london liverpool street');(_:search,type,'Train'))
user
I will be leaving on Sunday from london liverpool street . I just need to leave after 12:15 .
inform((_:result,day,'Sunday');(_:result,departure,'London Liverpool Street');(_:result,leave_at,'13:39');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The train closest to the time when you can depart leaves London Liverpool Street on Sunday that 13:39 .   Would you like to book it ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price ?   I 'd like to book .
inform((_:result,ticket,'13.28');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
It is 13.28 per seat . How many tickets did you need ?
inform((_:search,area,'west');(_:search,people,'1');(_:search,pricerange,'cheap');(_:search,type,'Restaurant');(_:search,type,'Train'))
user
Just 1 ticket please , and I am also looking for a cheap restaurant located in the west , can you help me find one ?
inform((_:booking,category,'Train');(_:booking,id,'TR6578');(_:booking,type,'Booking'))
system
I have successfully booked you a train on train # TR6578 . Would you like a reference number ?
inform((_:search,area,'west');(_:search,food,'vietnamese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
No , I need a cheap restaurant located in the west that serves Vietnamese food .
offer((_:booking,type,'Booking')) inform((_:result,area,'west');(_:result,food,'vietnamese');(_:result,name,'The thanh binh restaurant');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
The thanh binh restaurant is in the west and serves vietnamese food . They are in the cheap price range . Would you like to make a reservation ?
user
Yes , I 'd like to make a reservation that evening at 8:00 p.m.
inform((_:booking,name,'Thanh Binh');(_:booking,type,'Booking')) request((_:booking,people,?);(_:booking,type,'Booking')) thank()
system
Great ! How many people will you need to book the reservation for at Thanh Binh ?
thank() inform((_:search,people,'1');(_:search,type,'Restaurant'))
user
I would like you to book it for 1 person . Thank you .
canthelp((_:search,type,'Train'))
system
I am having a problem booking your reservation .   There phone number is 01223362456 .   If you call back in awhile , we can try booking the reservation again .
inform((_:search,area,'west');(_:search,food,'vietnamese');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
Could you find another cheap Vietnamese restaurant on the west side of town ?
request((_:booking,duration,?);(_:booking,type,'Booking')) inform((_:result,amount,'only');(_:result,area,'west');(_:result,food,'vietnamese');(_:result,pricerange,'cheap');(_:result,type,'Restaurant'))
system
I 'm sorry thanh binh 	  is the only restaurant serving vietnamese food in the west in the cheap price range . Would you like to try a different time ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Restaurant')) inform((_:search,name,'Thanh Binh');(_:search,type,'Restaurant'))
user
I do n't need a reservation . Just the postcode , address , and phone number for Thanh Binh , please . Thank you .
reqmore() inform((_:result,address,'17 Magdalene Street City Centre');(_:result,phone,'01223362456');(_:result,postcode,'cb30af');(_:result,type,'Restaurant'))
system
The postcode is cb30af , the address is 17 Magdalene Street City Centre , and the phone number is 01223362456 . Anything else I can help you with today ?
thank()
user
No , I 'm all set . Thanks !
system
Thank you for using our service . Have a great day !
_:search destination cambridge
_:search leave_at 12:15
_:search type Train
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:result type Train
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:search type Train
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:search type Train
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket ?
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result ticket 13.28
_:result type Train
_:search area west
_:search people 1
_:search pricerange cheap
_:search type Restaurant
_:search type Train
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:result ticket 13.28
_:result type Train
_:search people 1
_:booking category Train
_:booking id TR6578
_:booking type Booking
_:search area west
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:result ticket 13.28
_:search people 1
_:booking category Train
_:booking id TR6578
_:booking type Booking
_:search area west
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:result area west
_:result food vietnamese
_:result name The thanh binh restaurant
_:result pricerange cheap
_:result type Restaurant
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:result ticket 13.28
_:booking category Train
_:booking id TR6578
_:search area west
_:search food vietnamese
_:search pricerange cheap
_:result area west
_:result food vietnamese
_:result name The thanh binh restaurant
_:result pricerange cheap
_:result type Restaurant
_:booking name Thanh Binh
_:booking people ?
_:booking type Booking
_:search people 1
_:search type Restaurant
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:result ticket 13.28
_:booking category Train
_:booking id TR6578
_:result area west
_:result food vietnamese
_:result name The thanh binh restaurant
_:result pricerange cheap
_:result type Restaurant
_:booking name Thanh Binh
_:booking people ?
_:booking type Booking
_:search people 1
_:system canthelp _:search/e285b139
_:search/e285b139 type Train
_:search area west
_:search food vietnamese
_:search pricerange cheap
_:search type Restaurant
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:result ticket 13.28
_:booking category Train
_:booking id TR6578
_:result name The thanh binh restaurant
_:booking name Thanh Binh
_:booking people ?
_:search people 1
_:system canthelp _:search/e285b139
_:search/e285b139 type Train
_:search area west
_:search food vietnamese
_:search pricerange cheap
_:booking duration ?
_:booking type Booking
_:result amount only
_:result area west
_:result food vietnamese
_:result pricerange cheap
_:result type Restaurant
_:result address ?
_:result phone ?
_:result postcode ?
_:search name Thanh Binh
_:search type Restaurant
_:search destination cambridge
_:search leave_at 12:15
_:result destination Cambridge
_:search arrive_by ?
_:search day sunday
_:search departure london liverpool street
_:result day Sunday
_:result departure London Liverpool Street
_:result leave_at 13:39
_:system offered _:booking
_:result ticket 13.28
_:booking category Train
_:booking id TR6578
_:result name The thanh binh restaurant
_:booking name Thanh Binh
_:booking people ?
_:search people 1
_:system canthelp _:search/e285b139
_:search/e285b139 type Train
_:search area west
_:search food vietnamese
_:search pricerange cheap
_:booking duration ?
_:booking type Booking
_:result amount only
_:result area west
_:result food vietnamese
_:result pricerange cheap
_:search name Thanh Binh
_:search type Restaurant
_:system inquired _:user
_:result address 17 Magdalene Street City Centre
_:result phone 01223362456
_:result postcode cb30af
_:result type Restaurant