inform((_:search,day,'thursday');(_:search,leave_at,'14:00');(_:search,type,'Train'))
user
I need a train on Thursday . Find me one that leaves after 14:00
request((_:search,departure,?);(_:search,destination,?);(_:search,type,'Train'))
system
Where are you going and coming from ?
inform((_:search,departure,'cambridge');(_:search,destination,'bishops stortford');(_:search,type,'Train'))
user
I 'll be leaving cambridge and arriving at bishops stortford .
inform((_:result,arrive_by,'16:07');(_:result,day,'Thursday');(_:result,departure,'Cambridge');(_:result,destination,'Bishops Stortford');(_:result,id,'TR7759');(_:result,leave_at,'15:29');(_:result,type,'Train'))
system
May I suggest TR7759 leaving Cambridge at 15:29 and arriving at Bishops Stortford at 16:07 on Thursday .
inform((_:search,people,'1');(_:search,type,'Train'))
user
That sounds like a winner . Book it please for 1 person .
reqmore() inform((_:booking,category,'Train');(_:booking,ref,'PR07IP3C');(_:booking,ticket,'10.1 GBP');(_:booking,type,'Booking'))
system
Alright , the booking was successful , the total fee is 10.1 GBP payable at the station . Your reference number is : PR07IP3C . Anything else I can get you ?
inform((_:search,name,'pizza express Fen Ditton');(_:search,type,'Restaurant'))
user
I 'm looking for information about pizza express Fen Ditton
offer((_:booking,type,'Booking')) reqmore() inform((_:result,area,'centre');(_:result,food,'italian');(_:result,pricerange,'moderately priced');(_:result,type,'Restaurant'))
system
Yes they are a moderately priced italian place in the centre of town , would you care for more information or a booking ?
request((_:result,address,?);(_:result,area,?);(_:result,postcode,?);(_:result,type,'Restaurant'))
user
Could I get more information , including the address , postcode , and area ?
inform((_:result,address,'Jesus Lane Fen Ditton');(_:result,area,'centre');(_:result,postcode,'cb58ba');(_:result,type,'Restaurant'))
system
The address is Jesus Lane Fen Ditton .    Postal code cb58ba .   And it is located in the centre of town .
user
Can you reserve it for me ?
request((_:booking,day,?);(_:booking,duration,?);(_:booking,people,?);(_:booking,type,'Booking'))
system
I can . Can you tell me the day , time , and number of people ?
thank()
user
That will be all for now . Thanks for all your help ! Goodbye
system
Thank you ! Please contact if anymore assistance is required .
_:search day thursday
_:search leave_at 14:00
_:search type Train
_:search day thursday
_:search leave_at 14:00
_:search departure cambridge
_:search destination bishops stortford
_:search type Train
_:search day thursday
_:search leave_at 14:00
_:search departure cambridge
_:search destination bishops stortford
_:result arrive_by 16:07
_:result day Thursday
_:result departure Cambridge
_:result destination Bishops Stortford
_:result id TR7759
_:result leave_at 15:29
_:result type Train
_:search people 1
_:search type Train
_:search day thursday
_:search leave_at 14:00
_:search departure cambridge
_:search destination bishops stortford
_:result arrive_by 16:07
_:result day Thursday
_:result departure Cambridge
_:result destination Bishops Stortford
_:result id TR7759
_:result leave_at 15:29
_:result type Train
_:search people 1
_:system inquired _:user
_:booking category Train
_:booking ref PR07IP3C
_:booking ticket 10.1 GBP
_:booking type Booking
_:search name pizza express Fen Ditton
_:search type Restaurant
_:search day thursday
_:search leave_at 14:00
_:search departure cambridge
_:search destination bishops stortford
_:result arrive_by 16:07
_:result day Thursday
_:result departure Cambridge
_:result destination Bishops Stortford
_:result id TR7759
_:result leave_at 15:29
_:search people 1
_:booking category Train
_:booking ref PR07IP3C
_:booking ticket 10.1 GBP
_:booking type Booking
_:search name pizza express Fen Ditton
_:search type Restaurant
_:system offered _:booking
_:system inquired _:user
_:result area centre
_:result food italian
_:result pricerange moderately priced
_:result type Restaurant
_:result address ?
_:result area ?
_:result postcode ?
_:search day thursday
_:search leave_at 14:00
_:search departure cambridge
_:search destination bishops stortford
_:result arrive_by 16:07
_:result day Thursday
_:result departure Cambridge
_:result destination Bishops Stortford
_:result id TR7759
_:result leave_at 15:29
_:search people 1
_:booking category Train
_:booking ref PR07IP3C
_:booking ticket 10.1 GBP
_:booking type Booking
_:search name pizza express Fen Ditton
_:search type Restaurant
_:system offered _:booking
_:system inquired _:user
_:result food italian
_:result pricerange moderately priced
_:result address Jesus Lane Fen Ditton
_:result area centre
_:result postcode cb58ba
_:result type Restaurant
_:search day thursday
_:search leave_at 14:00
_:search departure cambridge
_:search destination bishops stortford
_:result arrive_by 16:07
_:result day Thursday
_:result departure Cambridge
_:result destination Bishops Stortford
_:result id TR7759
_:result leave_at 15:29
_:search people 1
_:booking category Train
_:booking ref PR07IP3C
_:booking ticket 10.1 GBP
_:search name pizza express Fen Ditton
_:search type Restaurant
_:system offered _:booking
_:system inquired _:user
_:result food italian
_:result pricerange moderately priced
_:result address Jesus Lane Fen Ditton
_:result area centre
_:result postcode cb58ba
_:result type Restaurant
_:booking day ?
_:booking duration ?
_:booking people ?
_:booking type Booking