inform((_:search,destination,'cambridge');(_:search,leave_at,'11:45');(_:search,type,'Train'))
user
I am looking for a train that should leave sometime after 11:45 . I would like to get to cambridge .
inform((_:result,amount,'many');(_:result,type,'Train')) request((_:search,departure,?);(_:search,type,'Train'))
system
There are many trains available for that criteria . I can narrow it down if you tell me where you will be departing from .
inform((_:search,day,'thursday');(_:search,departure,'birmingham new street');(_:search,destination,'cambridge');(_:search,leave_at,'11:45');(_:search,type,'Train'))
user
I am leaving Thursday from Birmingham New Street to Cambridge . I want to leave around 11:45 .
inform((_:result,arrive_by,'15:23');(_:result,count,'12');(_:result,leave_at,'12:40');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
I have 12 trains leaving that day , the earliest is 12:40 and arriving at 15:23 .   Will that work for you ?
inform((_:search,people,'8');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
Yes that sounds great , I will need 8 tickets and the reference number please .
inform((_:booking,category,'Train');(_:booking,day,'Thursday');(_:booking,people,'8');(_:booking,ref,'W52S8R11');(_:booking,type,'Booking'))
system
The train is booked for 8 on Thursday .   The reference number is W52S8R11 .
inform((_:search,area,'centre');(_:search,category,'museum');(_:search,destination,'cambridge');(_:search,type,'Attraction');(_:search,type,'Train'))
user
Great . I would also like to find a museum to go to in centre Cambridge .
inform((_:result,area,'centre');(_:result,name,'museum of archaelogy and anthropology');(_:result,type,'Attraction'))
system
Would you like to visit museum of archaelogy and anthropology , they are in the centre of town .
request((_:result,entrance_fee,?);(_:result,phone,?);(_:result,type,'Attraction'))
user
That sounds great . Do you have the phone number and how much the entrance fee is ?
reqmore() inform((_:result,entrance_fee,'free');(_:result,phone,'01223333516');(_:result,type,'Attraction'))
system
Sure . The phone number is 01223333516 , and is free to enter . Can I help you with anything else ?
thank()
user
No , that 's all I need today . Thanks for your help !
system
Happy I could be of service . Enjoy your day !
_:search destination cambridge
_:search leave_at 11:45
_:search type Train
_:result amount many
_:result type Train
_:search day thursday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 11:45
_:search type Train
_:result amount many
_:search day thursday
_:search departure birmingham new street
_:search destination cambridge
_:search leave_at 11:45
_:result arrive_by 15:23
_:result count 12
_:result leave_at 12:40
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 8
_:search type Train
_:result ref ?
_:result amount many
_:search day thursday
_:search departure birmingham new street
_:search leave_at 11:45
_:result arrive_by 15:23
_:result count 12
_:result leave_at 12:40
_:result type Train
_:system offered _:booking
_:search people 8
_:result ref ?
_:booking category Train
_:booking day Thursday
_:booking people 8
_:booking ref W52S8R11
_:booking type Booking
_:search area centre
_:search category museum
_:search destination cambridge
_:search type Attraction
_:search type Train
_:result amount many
_:search day thursday
_:search departure birmingham new street
_:search leave_at 11:45
_:result arrive_by 15:23
_:result count 12
_:result leave_at 12:40
_:system offered _:booking
_:search people 8
_:result ref ?
_:booking category Train
_:booking day Thursday
_:booking people 8
_:booking ref W52S8R11
_:booking type Booking
_:search area centre
_:search category museum
_:search destination cambridge
_:search type Attraction
_:search type Train
_:result area centre
_:result name museum of archaelogy and anthropology
_:result type Attraction
_:result entrance_fee ?
_:result phone ?
_:result amount many
_:search day thursday
_:search departure birmingham new street
_:search leave_at 11:45
_:result arrive_by 15:23
_:result count 12
_:result leave_at 12:40
_:system offered _:booking
_:search people 8
_:result ref ?
_:booking category Train
_:booking day Thursday
_:booking people 8
_:booking ref W52S8R11
_:booking type Booking
_:search area centre
_:search category museum
_:search destination cambridge
_:search type Attraction
_:search type Train
_:result area centre
_:result name museum of archaelogy and anthropology
_:system inquired _:user
_:result entrance_fee free
_:result phone 01223333516
_:result type Attraction