inform((_:search,departure,'cambridge');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
Hi , I 'd like to book a train to stansted airport from cambridge . Can you help ?
request((_:search,departure,?);(_:search,type,'Train')) thank()
system
Absolutely . Where will you departing from ?
user
From Cambridge , which is why I asked the Cambridge TownInfo centre .
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like to leave ?
inform((_:search,arrive_by,'15:15');(_:search,day,'saturday');(_:search,type,'Train'))
user
On Saturday .   Is there a train that will arrive by 15:15 ?
inform((_:result,arrive_by,'06:08');(_:result,id,'TR7213');(_:result,leave_at,'05:40');(_:result,ticket,'10.10 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is ! TR7213 leaves at 05:40 and arrive at 06:08 it is 10.10 pounds . Can I book that for you ?
inform((_:search,area,'south');(_:search,pricerange,'cheap');(_:search,type,'Restaurant'))
user
No need to book it . Thanks . But can you help me find a cheap restaurant in the south ?
select((_:result,food,'Chinese');(_:result,food,'Portuguese');(_:result,name,'Lucky Star');(_:result,name,'Nandos');(_:result,type,'Restaurant')) inform((_:result,type,'Restaurant'))
system
Sure - The Lucky Star serves Chinese food and Nandos serves Portuguese food . Do either of those sound good ?
inform((_:search,name,'Lucky Star');(_:search,type,'Restaurant'))
user
The Lucky Star sounds good . That 's all I need .
offer((_:booking,type,'Booking'))
system
Would you like to book a table ?
request((_:result,postcode,?);(_:result,type,'Restaurant'))
user
Can you also tell me the postcode ?
inform((_:result,postcode,'cb17dy');(_:result,type,'Restaurant'))
system
Sure . The post code is cb17dy .
bye()
user
Thanks for your help . Good bye .
system
You 're welcome . Please let me know if you need anything else .
_:search departure cambridge
_:search destination stansted airport
_:search type Train
_:search destination stansted airport
_:search departure ?
_:search type Train
_:search destination stansted airport
_:search departure ?
_:search arrive_by 15:15
_:search day saturday
_:search type Train
_:search destination stansted airport
_:search departure ?
_:search arrive_by 15:15
_:search day saturday
_:result arrive_by 06:08
_:result id TR7213
_:result leave_at 05:40
_:result ticket 10.10 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area south
_:search pricerange cheap
_:search type Restaurant
_:search destination stansted airport
_:search departure ?
_:search arrive_by 15:15
_:search day saturday
_:result arrive_by 06:08
_:result id TR7213
_:result leave_at 05:40
_:result ticket 10.10 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area south
_:search pricerange cheap
_:result food Chinese
_:result food Portuguese
_:result name Lucky Star
_:result name Nandos
_:result type Restaurant
_:search name Lucky Star
_:search type Restaurant
_:search destination stansted airport
_:search departure ?
_:search arrive_by 15:15
_:search day saturday
_:result arrive_by 06:08
_:result id TR7213
_:result leave_at 05:40
_:result ticket 10.10 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area south
_:search pricerange cheap
_:result food Chinese
_:result food Portuguese
_:result name Lucky Star
_:result name Nandos
_:result type Restaurant
_:search name Lucky Star
_:search type Restaurant
_:result postcode ?
_:search destination stansted airport
_:search departure ?
_:search arrive_by 15:15
_:search day saturday
_:result arrive_by 06:08
_:result id TR7213
_:result leave_at 05:40
_:result ticket 10.10 pounds
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search area south
_:search pricerange cheap
_:result food Chinese
_:result food Portuguese
_:result name Lucky Star
_:result name Nandos
_:search name Lucky Star
_:search type Restaurant
_:result postcode cb17dy
_:result type Restaurant
_:user dismissed _:system