inform((_:search,category,'theatre');(_:search,type,'Attraction'))
user
Hello I am looking for a theatre in Cambridge .
inform((_:result,area,'centre');(_:result,name,'ADC Theatre');(_:result,type,'Attraction'))
system
The ADC Theatre is in the town centre .   Can I get you some information about it ?
request((_:result,address,?);(_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Can I get their address , phone number and postcode please ?
inform((_:result,address,'park street');(_:result,name,'ADC theatre');(_:result,phone,'01223300085');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
Sure the ADC theatre is located at park street , postcode cb58as , their phone number 01223300085 .
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
Thanks . I also need assistance with finding a train leaving Cambridge .
request((_:search,day,?);(_:search,destination,?);(_:search,type,'Train'))
system
I can help with that . To what destination are you traveling and on what day ?
inform((_:search,day,'friday');(_:search,destination,'stansted airport');(_:search,type,'Train'))
user
I am going to stansted airport on friday .
inform((_:result,amount,'several');(_:result,day,'Friday');(_:result,destination,'Stansted Airport');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train'))
system
There are several trains going to Stansted Airport on Friday . What time would you like to leave ?
inform((_:search,arrive_by,'21:30');(_:search,type,'Train')) request((_:result,leave_at,?);(_:result,type,'Train'))
user
I do n't have a preference regarding the departure time but I do need to arrive by 21:30 .
inform((_:result,amount,'several');(_:result,type,'Train')) request((_:search,people,?);(_:search,type,'Train'))
system
Again there are several trains arriving by that time .   How many tickets do you need ?
inform((_:search,people,'1');(_:search,type,'Train'))
user
Just the 1 ticket , please .
inform((_:result,arrive_by,'21:08');(_:result,departure,'Cambridge');(_:result,destination,'Stansted Airport');(_:result,id,'TR9595');(_:result,leave_at,'20:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The train closest to your requested arrival time is the TR9595 , leaving Cambridge at 20:40 and arrives at Stansted Airport at 21:08 . Would you like me to book you a ticket ?
inform((_:search,type,'Train'))
user
Can you confirm how long that train ride is please ?
inform((_:result,duration,'28 minutes long');(_:result,type,'Train'))
system
Yes , it is 28 minutes long .
request((_:result,ref,?);(_:result,type,'Train'))
user
Please book it . I will need the reference number as well .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'N51YGQ3S');(_:booking,ticket,'10.1 GBP');(_:booking,type,'Booking'))
system
Good news ! Booking was successful , the total fee is 10.1 GBP payable at the station . Reference number is : N51YGQ3S . Is there anything else you need ?
inform((_:search,type,'Train'))
user
Nope that is all for today . According to my list I did not really need to book that train but it saves me time ! Thank you so much !
system
Thank you for contacting us ! Please let us know if we can be of any more assistance to you .
_:search category theatre
_:search type Attraction
_:search category theatre
_:search type Attraction
_:result area centre
_:result name ADC Theatre
_:result type Attraction
_:result address ?
_:result phone ?
_:result postcode ?
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search departure cambridge
_:search type Train
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:result type Attraction
_:search departure cambridge
_:search day friday
_:search destination stansted airport
_:search type Train
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:search departure cambridge
_:search day friday
_:search destination stansted airport
_:result amount several
_:result day Friday
_:result destination Stansted Airport
_:result type Train
_:search leave_at ?
_:search arrive_by 21:30
_:search type Train
_:result leave_at ?
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:search departure cambridge
_:search day friday
_:search destination stansted airport
_:result day Friday
_:result destination Stansted Airport
_:search leave_at ?
_:search arrive_by 21:30
_:result leave_at ?
_:result amount several
_:result type Train
_:search people 1
_:search type Train
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:search departure cambridge
_:search day friday
_:search destination stansted airport
_:result day Friday
_:search leave_at ?
_:search arrive_by 21:30
_:result amount several
_:search people 1
_:result arrive_by 21:08
_:result departure Cambridge
_:result destination Stansted Airport
_:result id TR9595
_:result leave_at 20:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search type Train
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:search departure cambridge
_:search day friday
_:search destination stansted airport
_:result day Friday
_:search leave_at ?
_:search arrive_by 21:30
_:result amount several
_:search people 1
_:result arrive_by 21:08
_:result departure Cambridge
_:result destination Stansted Airport
_:result id TR9595
_:result leave_at 20:40
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search type Train
_:result duration 28 minutes long
_:result type Train
_:result ref ?
_:search category theatre
_:result area centre
_:result address park street
_:result name ADC theatre
_:result phone 01223300085
_:result postcode cb58as
_:search departure cambridge
_:search day friday
_:search destination stansted airport
_:result day Friday
_:search leave_at ?
_:search arrive_by 21:30
_:result amount several
_:search people 1
_:result arrive_by 21:08
_:result departure Cambridge
_:result destination Stansted Airport
_:result id TR9595
_:result leave_at 20:40
_:system offered _:booking
_:result duration 28 minutes long
_:result type Train
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref N51YGQ3S
_:booking ticket 10.1 GBP
_:booking type Booking
_:search type Train