inform((_:search,arrive_by,'20:15');(_:search,departure,'kings lynn');(_:search,destination,'cambridge');(_:search,type,'Train'))
user
Hello , I 'm looking for a train departing from Kings Lynn and arriving at Cambridge by 20:15
inform((_:result,arrive_by,'05:11');(_:result,id,'TR9102');(_:result,type,'Train'))
system
TR9102 arrives at 05:11
inform((_:search,day,'monday');(_:search,type,'Train'))
user
Does that train leave on Monday ?
inform((_:result,arrive_by,'19:58');(_:result,id,'TR1978');(_:result,leave_at,'19:11');(_:result,type,'Train'))
system
No , it does not . I apologize for the error . I do have train TR1978 that departs at 19:11 and will get you there by 19:58 . Would this work for you ?
request((_:result,duration,?);(_:result,ticket,?);(_:result,type,'Train'))
user
Looks ok , but can I get the travel time and price before you book that ?
inform((_:result,duration,'47 minutes');(_:result,id,'9.80 pounds');(_:result,type,'Train'))
system
The price is 9.80 pounds and the travel time is 47 minutes .
inform((_:search,name,'all saints church');(_:search,type,'Attraction'))
user
Ok great . I do n't need to book that now but I would also like some information for all saints church , could you help me with that ?
system
Yes , what would you like to know ?
request((_:result,phone,?);(_:result,postcode,?);(_:result,type,'Attraction'))
user
Is it actually a church ?   I will need a phone number and postcode if possible .
reqmore() inform((_:result,category,'architecture');(_:result,postcode,'cb58bs');(_:result,type,'Attraction'))
system
The type is architecture , attraction that is . The post code is cb58bs . Anything else you need ?
request((_:result,phone,?);(_:result,type,'Attraction'))
user
Just the phone number please . Thanks .
reqmore() inform((_:result,phone,'01223452587');(_:result,type,'Attraction'))
system
Their phone number is 01223452587 . Can I help you find anything else today ?
thank()
user
Nope that will be all ! Thanks !
system
Great ! Have a nice day !
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:search type Train
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:result arrive_by 05:11
_:result id TR9102
_:result type Train
_:search day monday
_:search type Train
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:search day monday
_:search type Train
_:result arrive_by 19:58
_:result id TR1978
_:result leave_at 19:11
_:result type Train
_:result duration ?
_:result ticket ?
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:search day monday
_:result arrive_by 19:58
_:result leave_at 19:11
_:result ticket ?
_:result duration 47 minutes
_:result id 9.80 pounds
_:result type Train
_:search name all saints church
_:search type Attraction
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:search day monday
_:result arrive_by 19:58
_:result leave_at 19:11
_:result ticket ?
_:result duration 47 minutes
_:result id 9.80 pounds
_:result type Train
_:search name all saints church
_:search type Attraction
_:result phone ?
_:result postcode ?
_:result type Attraction
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:search day monday
_:result arrive_by 19:58
_:result leave_at 19:11
_:result ticket ?
_:result duration 47 minutes
_:result id 9.80 pounds
_:search name all saints church
_:search type Attraction
_:result phone ?
_:system inquired _:user
_:result category architecture
_:result postcode cb58bs
_:result type Attraction
_:search arrive_by 20:15
_:search departure kings lynn
_:search destination cambridge
_:search day monday
_:result arrive_by 19:58
_:result leave_at 19:11
_:result ticket ?
_:result duration 47 minutes
_:result id 9.80 pounds
_:search name all saints church
_:search type Attraction
_:result category architecture
_:result postcode cb58bs
_:system inquired _:user
_:result phone 01223452587
_:result type Attraction