inform((_:search,area,'center');(_:search,type,'Attraction'))
user
I 'd like to find a place to go in the center of town .
inform((_:result,name,"great saint mary 's church");(_:result,type,'Attraction'))
system
How about great saint mary 's church ?
request((_:result,address,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Ok , what 's the address and postcode ?
reqmore() inform((_:result,address,'Market Square , town center');(_:result,postcode,'cb23pq');(_:result,type,'Attraction'))
system
Market Square , town center . Post code cb23pq . Anything else ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
Yes , I also need to book a train for Monday .   Can you help me with that ?
inform((_:result,destination,'Cambridge');(_:result,type,'Train')) request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
You are looking for a train to Cambridge , correct ? Where will you be traveling from ?
inform((_:search,departure,'cambridge');(_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I will be travelling from Cambridge actually and going to London Kings Cross .
request((_:search,day,?);(_:search,type,'Train'))
system
What day will you be traveling ?
inform((_:search,day,'monday');(_:search,type,'Train'))
user
I would like to leave on Monday .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
And at what time would you like to travel ?
inform((_:search,arrive_by,'20:00');(_:search,type,'Train')) request((_:result,ticket,?);(_:result,type,'Train'))
user
I would like to arrive by 20:00 . Could I get the price please ?
select((_:result,arrive_by,'17:51');(_:result,arrive_by,'19:51');(_:result,type,'Train')) inform((_:result,count,'1');(_:result,ticket,'23.60 pounds');(_:result,type,'Train'))
system
I have one that arrives at 19:51 and another at 17:51 . Both cost 23.60 pounds . Do you have a preference ?
thank()
user
No preference . You choose . Thanks !
request((_:search,people,?);(_:search,type,'Train'))
system
How many tickets would you like ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Just for myself , please .
reqmore() inform((_:booking,category,'Train');(_:booking,departure,'Cambridge');(_:booking,id,'TR7786');(_:booking,leave_at,'19:00');(_:booking,ref,'ISAH5018');(_:booking,ticket,'23.60 pounds');(_:booking,type,'Booking'))
system
I have booked you a ticket on TR7786 for 23.60 pounds . The train leaves Cambridge at 19:00 . Your reference number is ISAH5018 . Can I help you further ?
thank()
user
Thank you . That is all for today . Goodbye
system
Have a great trip .
_:search area center
_:search type Attraction
_:search area center
_:search type Attraction
_:result name great saint mary 's church
_:result type Attraction
_:result address ?
_:result postcode ?
_:search area center
_:result name great saint mary 's church
_:system inquired _:user
_:result address Market Square , town center
_:result postcode cb23pq
_:result type Attraction
_:search day monday
_:search type Train
_:search area center
_:result name great saint mary 's church
_:system inquired _:user
_:result address Market Square , town center
_:result postcode cb23pq
_:search day monday
_:result destination Cambridge
_:result type Train
_:search departure cambridge
_:search destination london kings cross
_:search type Train
_:search area center
_:result name great saint mary 's church
_:system inquired _:user
_:result address Market Square , town center
_:result postcode cb23pq
_:result destination Cambridge
_:result type Train
_:search departure cambridge
_:search destination london kings cross
_:search day monday
_:search type Train
_:search area center
_:result name great saint mary 's church
_:system inquired _:user
_:result address Market Square , town center
_:result postcode cb23pq
_:result destination Cambridge
_:result type Train
_:search departure cambridge
_:search destination london kings cross
_:search day monday
_:search leave_at ?
_:search arrive_by 20:00
_:search type Train
_:result ticket ?
_:search area center
_:result name great saint mary 's church
_:system inquired _:user
_:result address Market Square , town center
_:result postcode cb23pq
_:result destination Cambridge
_:search departure cambridge
_:search destination london kings cross
_:search day monday
_:search leave_at ?
_:search arrive_by 20:00
_:search type Train
_:result arrive_by 17:51
_:result arrive_by 19:51
_:result count 1
_:result ticket 23.60 pounds
_:result type Train
_:search area center
_:result name great saint mary 's church
_:system inquired _:user
_:result address Market Square , town center
_:result postcode cb23pq
_:result destination Cambridge
_:search departure cambridge
_:search destination london kings cross
_:search day monday
_:search leave_at ?
_:search arrive_by 20:00
_:result arrive_by 17:51
_:result arrive_by 19:51
_:result count 1
_:result ticket 23.60 pounds
_:result type Train
_:search people 1
_:search type Train
_:search area center
_:result name great saint mary 's church
_:result address Market Square , town center
_:result postcode cb23pq
_:result destination Cambridge
_:search departure cambridge
_:search destination london kings cross
_:search day monday
_:search leave_at ?
_:search arrive_by 20:00
_:result arrive_by 17:51
_:result arrive_by 19:51
_:result count 1
_:result ticket 23.60 pounds
_:result type Train
_:search people 1
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking departure Cambridge
_:booking id TR7786
_:booking leave_at 19:00
_:booking ref ISAH5018
_:booking ticket 23.60 pounds
_:booking type Booking