inform((_:search,arrive_by,'18:30');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
i need a train that 'll get me to cambridge by 18:30
select((_:result,arrive_by,'06:08');(_:result,id,'TR5219');(_:result,type,'Train'))
system
how about train TR5219 ? It 'll arrive by 06:08
inform((_:search,day,'tuesday');(_:search,departure,'london kings cross');(_:search,type,'Train'))
user
Does that train depart from London Kings Cross leaving on Tuesday ?
inform((_:result,count,'7');(_:result,type,'Train')) request((_:search,leave_at,?);(_:search,type,'Train')) canthelp((_:search,type,'Train'))
system
It does not , but there are 7 results with those requests . Do you want to leave at a certain time ?
user
no as long as i am there by 18 30
inform((_:result,id,'TR7909');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
The TR7909 train meets your criteria . Would you like to book tickets ?
inform((_:search,people,'8');(_:search,type,'Train'))
user
yes please for 8 people .
inform((_:booking,category,'Train');(_:booking,ref,'KG7XU3EP');(_:booking,ticket,'188.8 GBP');(_:booking,type,'Booking'))
system
Okay , your booking was successful . Your reference number is KG7XU3EP . Your total fee is 188.8 GBP which can be paid at the station .
inform((_:search,category,'museum');(_:search,type,'Attraction')) thank()
user
Thanks ! Can you recommend a nice museum to see ?
request((_:search,area,?);(_:search,type,'Attraction'))
system
Are you looking for one in a particular area ?
inform((_:search,area,'centre');(_:search,type,'Attraction'))
user
In the centre of town please
inform((_:result,name,'Castle Galleries');(_:result,type,'Attraction')) reqmore()
system
Castle Galleries is in that area .   Would you like more information about it ?
request((_:result,address,?);(_:result,type,'Attraction'))
user
Yes , please , can I have the address ?
reqmore() inform((_:result,address,'unit su43 , grande arcade , saint andrews street');(_:result,entrance_fee,'free');(_:result,postcode,'cb23bj');(_:result,type,'Attraction'))
system
They are at , unit su43 , grande arcade , saint andrews street , cb23bj .   Good news admission is free .   Anything else I can assist with ?
request((_:result,ref,?);(_:result,type,'Restaurant');(_:result,type,'Train'))
user
Yes , could you possibly email or fax me the information for my reference ? I appreciate the hard work .
reqmore()
system
I 'm sorry , we are unable to do that at this time . Is there anything else I can help you with today ?
thank()
user
No , thank you for your time and patience .
system
It was my pleasure .   Have a nice day .
_:search arrive_by 18:30
_:search destination cambridge
_:search type Train
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:result id TR5219
_:result type Train
_:search day tuesday
_:search departure london kings cross
_:search type Train
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:result id TR5219
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:result type Train
_:search leave_at ?
_:search type Train
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:search leave_at ?
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:result id TR7909
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:search leave_at ?
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:result id TR7909
_:result type Train
_:system offered _:booking
_:search people 8
_:booking category Train
_:booking ref KG7XU3EP
_:booking ticket 188.8 GBP
_:booking type Booking
_:search category museum
_:search type Attraction
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:search leave_at ?
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:result id TR7909
_:result type Train
_:system offered _:booking
_:search people 8
_:booking category Train
_:booking ref KG7XU3EP
_:booking ticket 188.8 GBP
_:booking type Booking
_:search category museum
_:search area centre
_:search type Attraction
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:search leave_at ?
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:result id TR7909
_:system offered _:booking
_:search people 8
_:booking category Train
_:booking ref KG7XU3EP
_:booking ticket 188.8 GBP
_:booking type Booking
_:search category museum
_:search area centre
_:search type Attraction
_:result name Castle Galleries
_:result type Attraction
_:system inquired _:user
_:result address ?
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:search leave_at ?
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:result id TR7909
_:system offered _:booking
_:search people 8
_:booking category Train
_:booking ref KG7XU3EP
_:booking ticket 188.8 GBP
_:booking type Booking
_:search category museum
_:search area centre
_:search type Attraction
_:result name Castle Galleries
_:system inquired _:user
_:result address unit su43 , grande arcade , saint andrews street
_:result entrance_fee free
_:result postcode cb23bj
_:result type Attraction
_:result ref ?
_:result type Restaurant
_:result type Train
_:search arrive_by 18:30
_:search destination cambridge
_:result arrive_by 06:08
_:search day tuesday
_:search departure london kings cross
_:result count 7
_:search leave_at ?
_:system canthelp _:search/dc3439b5
_:search/dc3439b5 type Train
_:result id TR7909
_:system offered _:booking
_:search people 8
_:booking category Train
_:booking ref KG7XU3EP
_:booking ticket 188.8 GBP
_:booking type Booking
_:search category museum
_:search area centre
_:search type Attraction
_:result name Castle Galleries
_:result address unit su43 , grande arcade , saint andrews street
_:result entrance_fee free
_:result postcode cb23bj
_:result type Attraction
_:result ref ?
_:result type Restaurant
_:result type Train
_:system inquired _:user