inform((_:search,departure,'cambridge');(_:search,destination,'london liverpool street');(_:search,type,'Train'))
user
Hi , I 'm looking for a train that 's departing Cambridge and going to London Liverpool Street .
request((_:search,day,?);(_:search,leave_at,?);(_:search,type,'Train'))
system
I have the listings up for you , what date and time will you need that train ?
inform((_:search,arrive_by,'16:15');(_:search,day,'thursday');(_:search,type,'Train'))
user
I need to travel on Thursday , and I need to arrive by no later than 16:15 .
inform((_:result,arrive_by,'13:27');(_:result,count,'5');(_:result,leave_at,'11:59');(_:result,type,'Train'))
system
There are 5 results , depending on when you want to leave . There is a train that leaves at 11:59 and arrives by 13:27 , will that be ok ?
user
Yes , that will work can you book that for me ?
offer((_:booking,category,'Train');(_:booking,type,'Booking')) request((_:search,people,?);(_:search,type,'Train'))
system
Yes I can book that for you . How many people will be needing tickets ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
I need tickets for 8 people .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'OWVUY7ZZ');(_:booking,ticket,'132.8 GBP');(_:booking,type,'Booking'))
system
Your reference number is OWVUY7ZZ . The total fee is 132.8 GBP payable at the station . Do you need anything else ?
inform((_:search,area,'centre');(_:search,category,'colleges');(_:search,type,'Attraction'))
user
Thanks and yes , now that you asked , I really would like to check out some colleges in the centre
inform((_:result,area,'centre');(_:result,category,'colleges');(_:result,count,'13');(_:result,entrance_fee,'free');(_:result,name,"Christ 's College");(_:result,type,'Attraction'))
system
You 're in luck , we have 13 colleges in the centre . May I recommend Christ 's College for you ? It has free admission .
request((_:result,address,?);(_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
could you please provide the address , phone number , and entrance fee .
system
Christs College is on St. Anfrews st . and phone is 01223334900
_:search departure cambridge
_:search destination london liverpool street
_:search type Train
_:search departure cambridge
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 16:15
_:search day thursday
_:search type Train
_:search departure cambridge
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 16:15
_:search day thursday
_:search type Train
_:result arrive_by 13:27
_:result count 5
_:result leave_at 11:59
_:result type Train
_:search departure cambridge
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 16:15
_:search day thursday
_:result arrive_by 13:27
_:result count 5
_:result leave_at 11:59
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:search departure cambridge
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 16:15
_:search day thursday
_:result arrive_by 13:27
_:result count 5
_:result leave_at 11:59
_:result type Train
_:system offered _:booking
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref OWVUY7ZZ
_:booking ticket 132.8 GBP
_:booking type Booking
_:search area centre
_:search category colleges
_:search type Attraction
_:search departure cambridge
_:search destination london liverpool street
_:search leave_at ?
_:search arrive_by 16:15
_:search day thursday
_:result arrive_by 13:27
_:result leave_at 11:59
_:system offered _:booking
_:search people 8
_:system inquired _:user
_:booking category Train
_:booking ref OWVUY7ZZ
_:booking ticket 132.8 GBP
_:booking type Booking
_:search area centre
_:search category colleges
_:search type Attraction
_:result area centre
_:result category colleges
_:result count 13
_:result entrance_fee free
_:result name Christ 's College
_:result type Attraction
_:result address ?
_:result entrance_fee ?
_:result phone ?