inform((_:search,category,'architectures');(_:search,type,'Attraction'))
user
Hello I want to see some authentic architectures in cambridge !
inform((_:result,amount,'plenty');(_:result,area,'centre');(_:result,category,'architectural churches');(_:result,type,'Attraction'))
system
There is plenty of architectural churches in the centre .   Would you like their addresses ?
request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
Please . Could you also provide their phone number and entrance fees ?
inform((_:result,area,'centre');(_:result,entrance_fee,'free');(_:result,name,'Holy trinity church');(_:result,phone,'01223355397');(_:result,type,'Attraction'))
system
Holy trinity church is in the centre of town their number is 01223355397 and they have a free entrance fee .
inform((_:search,arrive_by,'18:00');(_:search,destination,'stansted airport');(_:search,type,'Train')) request((_:result,address,?);(_:result,type,'Attraction'))
user
Okay . Wonderful . May I have the exact address as well ? Also I need help finding a train to go to Stansted Airport that will arrive by 18:00 .
inform((_:result,amount,'many');(_:result,arrive_by,'18:00');(_:result,destination,'Stansted Airport');(_:result,type,'Train')) reqmore() inform((_:result,address,'Market Street');(_:result,name,'Holy Trinity Church');(_:result,postcode,'cb23nz');(_:result,type,'Attraction'))
system
The Holy Trinity Church 's address is Market Street , postcode cb23nz . There are many trains arriving in Stansted Airport by 18:00 . Would you like to narrow your search further ?
inform((_:search,type,'Train'))
user
Yes . I would like a direct , nonstop train .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
What day and time do you want to leave ?
inform((_:search,arrive_by,'18:00');(_:search,day,'friday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I would like to leave from Cambridge on Friday . I need to arrive by 18:00 .
inform((_:result,amount,'All other');(_:result,arrive_by,'15:08');(_:result,arrive_by,'16:00');(_:result,departure,'Cambridge');(_:result,destination,'Stansted');(_:result,duration,'28 minute');(_:result,leave_at,'14:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
There is a direct , 28 minute train from Cambridge to Stansted that leaves at 14:40 and arrives at 15:08 . All other trains arrive after 16:00 . Would you like me to book this ?
inform((_:search,people,'4');(_:search,type,'Train'))
user
Yes , I need 4 tickets .
thank() reqmore() inform((_:booking,category,'Train');(_:booking,id,'TR1316');(_:booking,people,'four');(_:booking,ref,'EFGE9M7Z');(_:booking,ticket,'40.4 GBP');(_:booking,type,'Booking'))
system
Great !   I have you booked for four tickets on Train TR1316 with a total fee of 40.4 GBP .   Your reference number is EFGE9M7Z .   Anything else ?
thank()
user
No , thank you .
bye()
system
Have a great day !
thank()
user
Thank you . You too !
system
It 's been my pleasure to assist you .
_:search category architectures
_:search type Attraction
_:search category architectures
_:search type Attraction
_:result amount plenty
_:result area centre
_:result category architectural churches
_:result type Attraction
_:result entrance_fee ?
_:result phone ?
_:search category architectures
_:result amount plenty
_:result category architectural churches
_:result area centre
_:result entrance_fee free
_:result name Holy trinity church
_:result phone 01223355397
_:result type Attraction
_:search arrive_by 18:00
_:search destination stansted airport
_:search type Train
_:result address ?
_:search category architectures
_:result category architectural churches
_:result area centre
_:result entrance_fee free
_:result phone 01223355397
_:search arrive_by 18:00
_:search destination stansted airport
_:result amount many
_:result arrive_by 18:00
_:result destination Stansted Airport
_:system inquired _:user
_:result address Market Street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:result type Attraction
_:search type Train
_:search category architectures
_:result category architectural churches
_:result area centre
_:result entrance_fee free
_:result phone 01223355397
_:search destination stansted airport
_:result amount many
_:result arrive_by 18:00
_:result destination Stansted Airport
_:system inquired _:user
_:result address Market Street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:result type Attraction
_:search leave_at ?
_:search arrive_by 18:00
_:search day friday
_:search departure cambridge
_:search type Train
_:search category architectures
_:result category architectural churches
_:result area centre
_:result entrance_fee free
_:result phone 01223355397
_:search destination stansted airport
_:system inquired _:user
_:result address Market Street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:search leave_at ?
_:search arrive_by 18:00
_:search day friday
_:search departure cambridge
_:result amount All other
_:result arrive_by 15:08
_:result arrive_by 16:00
_:result departure Cambridge
_:result destination Stansted
_:result duration 28 minute
_:result leave_at 14:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 4
_:search type Train
_:search category architectures
_:result category architectural churches
_:result area centre
_:result entrance_fee free
_:result phone 01223355397
_:search destination stansted airport
_:result address Market Street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:search leave_at ?
_:search arrive_by 18:00
_:search day friday
_:search departure cambridge
_:result amount All other
_:result arrive_by 15:08
_:result arrive_by 16:00
_:result departure Cambridge
_:result destination Stansted
_:result duration 28 minute
_:result leave_at 14:40
_:result type Train
_:system offered _:booking
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking id TR1316
_:booking people four
_:booking ref EFGE9M7Z
_:booking ticket 40.4 GBP
_:booking type Booking
_:search category architectures
_:result category architectural churches
_:result area centre
_:result entrance_fee free
_:result phone 01223355397
_:search destination stansted airport
_:result address Market Street
_:result name Holy Trinity Church
_:result postcode cb23nz
_:search leave_at ?
_:search arrive_by 18:00
_:search day friday
_:search departure cambridge
_:result amount All other
_:result arrive_by 15:08
_:result arrive_by 16:00
_:result departure Cambridge
_:result destination Stansted
_:result duration 28 minute
_:result leave_at 14:40
_:result type Train
_:system offered _:booking
_:search people 4
_:search type Train
_:system inquired _:user
_:booking category Train
_:booking id TR1316
_:booking people four
_:booking ref EFGE9M7Z
_:booking ticket 40.4 GBP
_:booking type Booking
_:system dismissed _:user