inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
I want to go to a theatre . Do you have any suggestions for one in town ?
offer((_:booking,type,'Booking'))
system
Yes , should I book you a ticket at cambridge arts theatre .
request((_:result,address,?);(_:result,type,'Attraction')) inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Yes . But could you also get the address of the theatre for me ?
reqmore() inform((_:result,address,"6 Saint Edward 's Passage");(_:result,type,'Attraction'))
system
Sure , no problem they are located at 6 Saint Edward 's Passage . Is there anything else ?
inform((_:search,day,'tuesday');(_:search,leave_at,'12:15');(_:search,type,'Train'))
user
Yes I am also looking for a train that leaves on Tuesday after 12:15 . Can you help ?
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Can you give me a departure and arrival station ?
inform((_:search,departure,'bishops stortford');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am going to Cambridge and need to leave from Bishops Stortford .
inform((_:result,count,'6');(_:result,type,'Train')) select((_:result,leave_at,'13:29');(_:result,type,'Train'))
system
There are 6 trains . Would you like to leave at 13:29 ?
request((_:result,arrive_by,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Yes . May I have the price , travel and arrival time please ?
inform((_:result,arrive_by,'14:07');(_:result,duration,'38 minutes');(_:result,leave_at,'13:29');(_:result,ticket,'10.10 pounds');(_:result,type,'Train'))
system
The train leaves at 13:29 , arrives by 14:07 , a total time of 38 minutes , and costs 10.10 pounds .
thank()
user
Thank you very much . You have been very helpful .
system
You are very welcome . Goodbye .
_:search category theatre
_:search type Attraction
_:system offered _:booking
_:booking type Booking
_:result address ?
_:result type Attraction
_:search category theatre
_:search type Attraction
_:system offered _:booking
_:booking type Booking
_:search category theatre
_:system inquired _:user
_:result address 6 Saint Edward 's Passage
_:result type Attraction
_:search day tuesday
_:search leave_at 12:15
_:search type Train
_:system offered _:booking
_:booking type Booking
_:search category theatre
_:system inquired _:user
_:result address 6 Saint Edward 's Passage
_:result type Attraction
_:search day tuesday
_:search leave_at 12:15
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:system offered _:booking
_:booking type Booking
_:search category theatre
_:system inquired _:user
_:result address 6 Saint Edward 's Passage
_:search day tuesday
_:search leave_at 12:15
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:result count 6
_:result leave_at 13:29
_:result type Train
_:result arrive_by ?
_:result ticket ?
_:system offered _:booking
_:booking type Booking
_:search category theatre
_:system inquired _:user
_:result address 6 Saint Edward 's Passage
_:search day tuesday
_:search leave_at 12:15
_:search departure bishops stortford
_:search destination cambridge
_:search type Train
_:result count 6
_:result arrive_by 14:07
_:result duration 38 minutes
_:result leave_at 13:29
_:result ticket 10.10 pounds
_:result type Train