inform((_:search,arrive_by,'4:45');(_:search,destination,'leicester');(_:search,type,'Train'))
user
I need to find a train going to Leicester that arrives by 4:45 PM . Do you know of one ?
inform((_:result,amount,'many');(_:result,destination,'leicester');(_:result,type,'Train')) request((_:search,day,?);(_:search,departure,?);(_:search,type,'Train'))
system
There are many trains going to leicester at the time , where are you departing from and on what day ?
inform((_:search,day,'friday');(_:search,departure,'cambridge');(_:search,type,'Train'))
user
I am departing from Cambridge on Friday .
inform((_:result,arrive_by,'16:06');(_:result,destination,'leicester');(_:result,duration,'105 minutes');(_:result,id,'TR0623');(_:result,leave_at,'14:21');(_:result,ticket,'37.80 pounds');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR0623 leaves at 14:21 and will arrive at leicester at 16:06 . The trip will take 105 minutes and will cost 37.80 pounds . Would you like to book ?
inform((_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes , I need 8 tickets . Please send the Ref . No . When you 're done .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'FI1YOZNV');(_:booking,ticket,'302.39 GBP');(_:booking,type,'Booking'))
system
Your Booking was successful , the total fee is 302.39 GBP payable at the station .   Your Reference number is FI1YOZNV .   Is there anything else I can assist you with ?
inform((_:search,area,'centre');(_:search,category,'theatre');(_:search,type,'Attraction'))
user
i am also looking for a theatre in the centre of town .
inform((_:result,address,'park street');(_:result,name,'adc theatre');(_:result,phone,'01223300085');(_:result,type,'Attraction'))
system
How about adc theatre located at park street .   The phone number is 01223300085 .
request((_:result,entrance_fee,?);(_:result,type,'Attraction'))
user
Is there an entrance fee for this ?
reqmore() inform((_:result,entrance_fee,'The entrance fee is nt stated');(_:result,phone,'01223300085');(_:result,type,'Attraction'))
system
The entrance fee is nt stated . But if you 'd like to call them to find out the phone number is 01223300085 . Can I help you with anything else ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
What is there address ?
inform((_:result,address,'Park Street');(_:result,postcode,'cb58as');(_:result,type,'Attraction'))
system
The address is Park Street and the post code is cb58as .
thank()
user
Thanks that would be all for tonight
system
Ok , great .   Happy to be of assistance !
_:search arrive_by 4:45
_:search destination leicester
_:search type Train
_:search arrive_by 4:45
_:search destination leicester
_:result amount many
_:result destination leicester
_:result type Train
_:search day friday
_:search departure cambridge
_:search type Train
_:search arrive_by 4:45
_:search destination leicester
_:result amount many
_:search day friday
_:search departure cambridge
_:result arrive_by 16:06
_:result destination leicester
_:result duration 105 minutes
_:result id TR0623
_:result leave_at 14:21
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:result ref ?
_:search arrive_by 4:45
_:search destination leicester
_:result amount many
_:search day friday
_:search departure cambridge
_:result arrive_by 16:06
_:result destination leicester
_:result duration 105 minutes
_:result id TR0623
_:result leave_at 14:21
_:result ticket 37.80 pounds
_:result type Train
_:system offered _:booking
_:search people 8
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref FI1YOZNV
_:booking ticket 302.39 GBP
_:booking type Booking
_:search area centre
_:search category theatre
_:search type Attraction
_:search arrive_by 4:45
_:search destination leicester
_:result amount many
_:search day friday
_:search departure cambridge
_:result arrive_by 16:06
_:result destination leicester
_:result duration 105 minutes
_:result id TR0623
_:result leave_at 14:21
_:result ticket 37.80 pounds
_:system offered _:booking
_:search people 8
_:result ref ?
_:system inquired _:user
_:booking category Train
_:booking ref FI1YOZNV
_:booking ticket 302.39 GBP
_:booking type Booking
_:search area centre
_:search category theatre
_:search type Attraction
_:result address park street
_:result name adc theatre
_:result phone 01223300085
_:result type Attraction
_:result entrance_fee ?
_:search arrive_by 4:45
_:search destination leicester
_:result amount many
_:search day friday
_:search departure cambridge
_:result arrive_by 16:06
_:result destination leicester
_:result duration 105 minutes
_:result id TR0623
_:result leave_at 14:21
_:result ticket 37.80 pounds
_:system offered _:booking
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref FI1YOZNV
_:booking ticket 302.39 GBP
_:booking type Booking
_:search area centre
_:search category theatre
_:search type Attraction
_:result address park street
_:result name adc theatre
_:system inquired _:user
_:result entrance_fee The entrance fee is nt stated
_:result phone 01223300085
_:result type Attraction
_:result address ?
_:search arrive_by 4:45
_:search destination leicester
_:result amount many
_:search day friday
_:search departure cambridge
_:result arrive_by 16:06
_:result destination leicester
_:result duration 105 minutes
_:result id TR0623
_:result leave_at 14:21
_:result ticket 37.80 pounds
_:system offered _:booking
_:search people 8
_:result ref ?
_:booking category Train
_:booking ref FI1YOZNV
_:booking ticket 302.39 GBP
_:booking type Booking
_:search area centre
_:search category theatre
_:search type Attraction
_:result name adc theatre
_:system inquired _:user
_:result entrance_fee The entrance fee is nt stated
_:result phone 01223300085
_:result address Park Street
_:result postcode cb58as
_:result type Attraction