inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
Can you help me find a train to cambridge ?
request((_:search,arrive_by,?);(_:search,type,'Train'))
system
Sure , what time would you like to arrive ?
inform((_:search,departure,'london kings cross');(_:search,leave_at,'21:15');(_:search,type,'Train')) request((_:result,arrive_by,?);(_:result,type,'Train'))
user
As long as I leave London Kings Cross after 21:15 , I 'm flexible with arrival time .
inform((_:result,id,'TR1581');(_:result,leave_at,'21:17');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR1581 leaves at 21:17 . Do you want to book it ?
request((_:result,arrive_by,?);(_:result,type,'Train'))
user
What is the arrival time for TR1581 ?
inform((_:result,arrive_by,'22:08');(_:result,type,'Train')) reqmore()
system
The arrival time is 22:08 .   Is there anything else I can help you with today ?
request((_:result,ticket,?);(_:result,type,'Train'))
user
What is the price ?
inform((_:result,ticket,'23.60');(_:result,type,'Train')) reqmore()
system
The price per ticket s 23.60 .   May I help you with anything else ?
user
We want to have some fun !
request((_:search,area,?);(_:search,category,?);(_:search,type,'Attraction')) inform((_:result,amount,'lots');(_:result,area,'in town');(_:result,type,'Attraction'))
system
Okay , there are lots of attractions in town . Do you have a preference on type or area ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
Not really sure but I 'd like it to be in the centre of town . Do you have any suggestions ?
inform((_:result,area,'centre');(_:result,category,'architecture');(_:result,count,'44');(_:result,entrance_fee,'free');(_:result,name,'old schools');(_:result,type,'Attraction'))
system
There 's 44 attractions in the centre . I suggest old schools . It is an architecture attraction that is free
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
That sounds nice . Can you give me their address and phone number , please ?
inform((_:result,name,'all saints church');(_:result,type,'Attraction'))
system
Would you like the information for all saints church ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
Do you have their address ?
select((_:result,address,'Jesus Lane');(_:result,address,'Trinity Lane');(_:result,name,"All Saint 's Church");(_:result,name,'Old Schools');(_:result,type,'Attraction')) thank() inform((_:result,type,'Attraction'))
system
The address of All Saint 's Church is Jesus Lane . Old Schools is in Trinity Lane . I 'm so sorry , I 'm not sure which you wanted .
request((_:result,phone,?);(_:result,type,'Attraction'))
user
I just need the phone number of All Saint 's Church , and then I 'll be all set .
reqmore() inform((_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
The phone number is 01223452587 . Is there anything else I can help you with ?
thank()
user
That 's all actually . Thanks so much . See ya !
thank()
system
You are welcome . Before you go , do you need help with a restaurant or taxi ?
thank()
user
No I rather enjoy walking . Thanks . Goodbye .
system
Great , please let us know if you need any further assistance . Good bye .
_:search destination cambridge
_:search type Train
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:search type Train
_:result arrive_by ?
_:result type Train
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:search type Train
_:result arrive_by ?
_:result id TR1581
_:result leave_at 21:17
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:search type Train
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result type Train
_:system inquired _:user
_:result ticket ?
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:search type Train
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:result type Train
_:system inquired _:user
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:system inquired _:user
_:search category ?
_:result amount lots
_:result area in town
_:result type Attraction
_:search area centre
_:search type Attraction
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:system inquired _:user
_:search category ?
_:result amount lots
_:search area centre
_:search type Attraction
_:result area centre
_:result category architecture
_:result count 44
_:result entrance_fee free
_:result name old schools
_:result type Attraction
_:result address ?
_:result phone ?
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:system inquired _:user
_:search category ?
_:result amount lots
_:search area centre
_:search type Attraction
_:result area centre
_:result category architecture
_:result count 44
_:result entrance_fee free
_:result address ?
_:result phone ?
_:result name all saints church
_:result type Attraction
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:system inquired _:user
_:search category ?
_:result amount lots
_:search area centre
_:search type Attraction
_:result area centre
_:result category architecture
_:result count 44
_:result entrance_fee free
_:result phone ?
_:result address Jesus Lane
_:result address Trinity Lane
_:result name All Saint 's Church
_:result name Old Schools
_:result type Attraction
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:search category ?
_:result amount lots
_:search area centre
_:search type Attraction
_:result area centre
_:result category architecture
_:result count 44
_:result entrance_fee free
_:result address Jesus Lane
_:result address Trinity Lane
_:result name All Saint 's Church
_:result name Old Schools
_:system inquired _:user
_:result phone 01223452587
_:result type Attraction
_:search destination cambridge
_:search arrive_by ?
_:search departure london kings cross
_:search leave_at 21:15
_:result id TR1581
_:result leave_at 21:17
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:result arrive_by 22:08
_:result ticket 23.60
_:search category ?
_:result amount lots
_:search area centre
_:search type Attraction
_:result area centre
_:result category architecture
_:result count 44
_:result entrance_fee free
_:result address Jesus Lane
_:result address Trinity Lane
_:result name All Saint 's Church
_:result name Old Schools
_:system inquired _:user
_:result phone 01223452587
_:result type Attraction