inform((_:search,day,'friday');(_:search,type,'Train'))
user
I need to book a train for Friday please .
request((_:search,destination,?);(_:search,type,'Train'))
system
Great . Where are you headed ?
inform((_:search,destination,'cambridge');(_:search,type,'Train'))
user
I am going to Cambridge . I would like to arrive in the afternoon , please .
request((_:search,departure,?);(_:search,type,'Train'))
system
Where are you departing from ?
inform((_:search,arrive_by,'16:45');(_:search,departure,'kings lynn');(_:search,people,'2');(_:search,type,'Train')) request((_:result,ref,?);(_:result,type,'Train'))
user
There are two of us departing from kings lynn and we need to arrive by 16:45 . Can you book it for 2 people and send me the reference number ?
inform((_:booking,category,'Train');(_:booking,id,'TR5331');(_:booking,ref,'GPFBA8K5');(_:booking,type,'Booking'))
system
I booked TR5331 for you . Your reference is GPFBA8K5 .
inform((_:search,category,'college');(_:search,type,'Attraction'))
user
Can I also get information on king 's college .
inform((_:result,area,'centre');(_:result,entrance_fee,'free');(_:result,name,"King 's College");(_:result,type,'Attraction')) thank()
system
Of course . King 's College has a free entrance fee and is in the centre of town
request((_:result,address,?);(_:result,type,'Attraction'))
user
What is the address ?
system
adress is Kings Parade
_:search day friday
_:search type Train
_:search day friday
_:search destination cambridge
_:search type Train
_:search day friday
_:search destination cambridge
_:search arrive_by 16:45
_:search departure kings lynn
_:search people 2
_:search type Train
_:result ref ?
_:result type Train
_:search day friday
_:search destination cambridge
_:search arrive_by 16:45
_:search departure kings lynn
_:search people 2
_:result ref ?
_:result type Train
_:booking category Train
_:booking id TR5331
_:booking ref GPFBA8K5
_:booking type Booking
_:search category college
_:search type Attraction
_:search day friday
_:search destination cambridge
_:search arrive_by 16:45
_:search departure kings lynn
_:search people 2
_:result ref ?
_:booking category Train
_:booking id TR5331
_:booking ref GPFBA8K5
_:booking type Booking
_:search category college
_:search type Attraction
_:result area centre
_:result entrance_fee free
_:result name King 's College
_:result type Attraction
_:result address ?