inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Can you find me a place in the centre of town ?
request((_:search,category,?);(_:search,name,?);(_:search,type,'Attraction')) inform((_:result,amount,'lots');(_:result,type,'Attraction')) reqmore()
system
We have lots of attractions !   Something more specific you are looking for ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
What do you recommend ? I will need the address .
inform((_:result,address,'jesus lane');(_:result,name,'all saints church');(_:result,type,'Attraction'))
system
How about all saints church ? The address is jesus lane .
inform((_:search,arrive_by,'17:30');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
Perfect . I also need a train departing from cambridge and arriving by 17:30 .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,day,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
There are many trains that meet your criteria . Would you like to narrow it down by day , destination , or departure time ?
inform((_:search,day,'tuesday');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
Yes , Tuesday going to London Liverpool Street .
inform((_:result,arrive_by,'17:27');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have a train that arrives at 17:27 . Could I book that for you ?
inform((_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , please .   I need a booking for 2 people .   Will you send me the reference number ?
system
I successful booked your train the total fee is 33.2 GBP payable at the station and the 
 reference number is : VJVYH5LC . May I further assist you .
_:search area centre
_:search type Attraction
_:search area centre
_:search category ?
_:search name ?
_:search type Attraction
_:result amount lots
_:result type Attraction
_:system inquired _:user
_:result address ?
_:search area centre
_:search category ?
_:search name ?
_:result amount lots
_:system inquired _:user
_:result address jesus lane
_:result name all saints church
_:result type Attraction
_:search arrive_by 17:30
_:search departure cambridge
_:search type Train
_:search area centre
_:search category ?
_:search name ?
_:system inquired _:user
_:result address jesus lane
_:result name all saints church
_:search arrive_by 17:30
_:search departure cambridge
_:result amount many
_:result type Train
_:search leave_at ?
_:search day tuesday
_:search destination london liverpool street
_:search type Train
_:search area centre
_:search category ?
_:search name ?
_:system inquired _:user
_:result address jesus lane
_:result name all saints church
_:search arrive_by 17:30
_:search departure cambridge
_:result amount many
_:search leave_at ?
_:search day tuesday
_:search destination london liverpool street
_:result arrive_by 17:27
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 2
_:search type Train
_:result ref ?