inform((_:search,destination,'london kings cross');(_:search,type,'Train'))
user
I 'm hoping to catch a train to London Kings Cross .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Great , what time are you thinking ?
inform((_:search,leave_at,'19:00');(_:search,type,'Train'))
user
I need to leave after 19:00 .
request((_:search,departure,?);(_:search,type,'Train'))
system
From where will you depart ?
inform((_:search,departure,'cambridge');(_:search,type,'Train'))
user
I will be departing from cambridge .
request((_:search,leave_at,?);(_:search,type,'Train'))
system
Would you like to leave at 19:00 ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
Anytime after that would be great . I also need tickets for 5 people .
request((_:search,day,?);(_:search,type,'Train'))
system
What day would you like to travel ?
inform((_:search,day,'sunday');(_:search,type,'Train'))
user
I 'll be leaving on a Sunday .
inform((_:result,arrive_by,'19:51');(_:result,id,'TR9039');(_:result,leave_at,'19:00');(_:result,type,'Train')) offer((_:booking,category,'Train');(_:booking,type,'Booking'))
system
TR9039 leaves at 19:00 and arrives at 19:51 . Would you like me to book you seats ?
inform((_:search,people,'5');(_:search,type,'Train'))
user
Yes 5 please . Do you know the Williams Art & Antiques ?
inform((_:booking,category,'Train');(_:booking,people,'5');(_:booking,ref,'FF0FHUBJ');(_:booking,type,'Booking');(_:result,name,'Williams Art & Antiques');(_:result,type,'Attraction'))
system
I have booked 5 train tickets for you as requested . Your reference number is FF0FHUBJ . May i assist you in finding info regarding Williams Art & Antiques ?
request((_:result,category,?);(_:result,type,'Attraction'))
user
Yes , what type of attraction is it ?
reqmore() inform((_:result,area,'centre');(_:result,category,'museum');(_:result,type,'Attraction'))
system
It is a museum located in the centre .   Is there anything else you would like to know ?
thank()
user
no that will be all , thanks
system
You 're welcome . Have a great day .
_:search destination london kings cross
_:search type Train
_:search destination london kings cross
_:search leave_at 19:00
_:search type Train
_:search destination london kings cross
_:search leave_at 19:00
_:search departure cambridge
_:search type Train
_:search destination london kings cross
_:search departure cambridge
_:search leave_at ?
_:search people 5
_:search type Train
_:search destination london kings cross
_:search departure cambridge
_:search leave_at ?
_:search people 5
_:search day sunday
_:search type Train
_:search destination london kings cross
_:search departure cambridge
_:search leave_at ?
_:search day sunday
_:result arrive_by 19:51
_:result id TR9039
_:result leave_at 19:00
_:result type Train
_:system offered _:booking
_:booking category Train
_:booking type Booking
_:search people 5
_:search type Train
_:search destination london kings cross
_:search departure cambridge
_:search leave_at ?
_:search day sunday
_:result arrive_by 19:51
_:result id TR9039
_:result leave_at 19:00
_:system offered _:booking
_:search people 5
_:search type Train
_:booking category Train
_:booking people 5
_:booking ref FF0FHUBJ
_:booking type Booking
_:result name Williams Art & Antiques
_:result type Attraction
_:result category ?
_:search destination london kings cross
_:search departure cambridge
_:search leave_at ?
_:search day sunday
_:result arrive_by 19:51
_:result id TR9039
_:result leave_at 19:00
_:system offered _:booking
_:search people 5
_:search type Train
_:booking category Train
_:booking people 5
_:booking ref FF0FHUBJ
_:booking type Booking
_:result name Williams Art & Antiques
_:system inquired _:user
_:result area centre
_:result category museum
_:result type Attraction