inform((_:search,arrive_by,'18:00');(_:search,departure,'clare college');(_:search,destination,'cambridge');(_:search,type,'Taxi'))
user
Good morning ! Can you help me get a taxi to take me from Clare College to Cambridge that gets there by 18:00 ?
system
Yes , I have a car for that time , would you like me to book it ?
request((_:result,car,?);(_:result,type,'Taxi'))
user
Please . Can I get the contact number and car type for that ?
inform((_:result,car,'grey ford');(_:result,phone,'07562472408');(_:result,type,'Taxi')) reqmore()
system
Yes , look out for a grey ford . The contact number is 07562472408 . May I help with anything else ?
inform((_:search,destination,"christ 's college");(_:search,type,'Taxi'))
user
Actually , can I change the destination to Christ 's College ?
request((_:search,arrive_by,?);(_:search,departure,?);(_:search,destination,?);(_:search,type,'Taxi'))
system
Ok , so that was a cab leaving from clare college and going to christ 's college arriving there at 18:00 ?
request((_:result,car,?);(_:result,type,'Taxi'))
user
Yes . Could I have the contact number and car type for this trip ?
inform((_:result,car,'grey Ford');(_:result,phone,'07562472408');(_:result,type,'Taxi')) reqmore()
system
Yes , it will be a grey Ford and the contact number is 07562472408 . What else can I help you with ?
thank()
user
That takes care of what I needed today . Thanks and have a good day .
system
Thank you , goodbye .
_:search arrive_by 18:00
_:search departure clare college
_:search destination cambridge
_:search type Taxi
_:search arrive_by 18:00
_:search departure clare college
_:search destination cambridge
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 18:00
_:search departure clare college
_:result car grey ford
_:result phone 07562472408
_:result type Taxi
_:system inquired _:user
_:search destination christ 's college
_:search type Taxi
_:result car grey ford
_:result phone 07562472408
_:result type Taxi
_:system inquired _:user
_:search arrive_by ?
_:search departure ?
_:search destination ?
_:search type Taxi
_:result car ?
_:search arrive_by ?
_:search departure ?
_:search destination ?
_:search type Taxi
_:result car grey Ford
_:result phone 07562472408
_:result type Taxi
_:system inquired _:user