inform((_:search,arrive_by,'08:45');(_:search,day,'saturday');(_:search,type,'Train'))
user
I need to find a train that leaves on Saturday and arrives by 08:45
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Can you tell me what your departure city and destination are ?
inform((_:search,departure,'cambridge');(_:search,destination,'ely');(_:search,type,'Train'))
user
I 'll be leaving Cambridge to get to Ely .
inform((_:result,arrive_by,'7:50');(_:result,id,'TR5344');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR5344 arrives by 7:50 . Does that work for you ?
inform((_:search,people,'7');(_:search,type,'Train'))
user
Yes , can you book that for 7 ?
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'NUECBTHH');(_:booking,ticket,'24.64 GBP');(_:booking,type,'Booking'))
system
Booking was successful , the total fee is 24.64 GBP payable at the station , you reference number is NUECBTHH . Will that be all ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Are there anything fun to do in city centre ?
inform((_:result,address,'2 Norfolk Street');(_:result,area,'centre');(_:result,category,'concert hall');(_:result,name,'Man on the Moon');(_:result,type,'Attraction'))
system
My favorite attraction in the centre of the city is a concert hall called Man on the Moon . It is amazing ! They are at 2 Norfolk Street .
request((_:result,postcode,?);(_:result,type,'Attraction'))
user
what is their postcode ?
reqmore() inform((_:result,postcode,'cb12lf');(_:result,type,'Attraction'))
system
cb12lf . Is there anything else you need ?
thank()
user
That 's it .   Thank you .
system
You 're very welcome ! Have a great day !
_:search arrive_by 08:45
_:search day saturday
_:search type Train
_:search arrive_by 08:45
_:search day saturday
_:search departure cambridge
_:search destination ely
_:search type Train
_:search arrive_by 08:45
_:search day saturday
_:search departure cambridge
_:search destination ely
_:result arrive_by 7:50
_:result id TR5344
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 7
_:search type Train
_:search arrive_by 08:45
_:search day saturday
_:search departure cambridge
_:search destination ely
_:result arrive_by 7:50
_:result id TR5344
_:result type Train
_:system offered _:booking
_:search people 7
_:system inquired _:user
_:booking category Train
_:booking ref NUECBTHH
_:booking ticket 24.64 GBP
_:booking type Booking
_:search area centre
_:search type Attraction
_:search arrive_by 08:45
_:search day saturday
_:search departure cambridge
_:search destination ely
_:result arrive_by 7:50
_:result id TR5344
_:system offered _:booking
_:search people 7
_:system inquired _:user
_:booking category Train
_:booking ref NUECBTHH
_:booking ticket 24.64 GBP
_:booking type Booking
_:search area centre
_:search type Attraction
_:result address 2 Norfolk Street
_:result area centre
_:result category concert hall
_:result name Man on the Moon
_:result type Attraction
_:result postcode ?
_:search arrive_by 08:45
_:search day saturday
_:search departure cambridge
_:search destination ely
_:result arrive_by 7:50
_:result id TR5344
_:system offered _:booking
_:search people 7
_:booking category Train
_:booking ref NUECBTHH
_:booking ticket 24.64 GBP
_:booking type Booking
_:search area centre
_:search type Attraction
_:result address 2 Norfolk Street
_:result area centre
_:result category concert hall
_:result name Man on the Moon
_:system inquired _:user
_:result postcode cb12lf
_:result type Attraction