inform((_:search,arrive_by,'10:00');(_:search,departure,'kings college');(_:search,destination,'lensfield hotel');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I need to book a taxi from Kings College to the lensfield hotel . I need to arrive by 10:00 and need the car type and contact number .
inform((_:result,car,'white audi');(_:result,phone,'07502362913');(_:result,type,'Taxi')) reqmore()
system
The contact number is 07502362913 . It will be a white audi . Is there anything else I can help you with ?
thank()
user
That 's all I needed today . Thanks for your help !
system
It was my pleasure ! Have a nice day !
_:search arrive_by 10:00
_:search departure kings college
_:search destination lensfield hotel
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 10:00
_:search departure kings college
_:search destination lensfield hotel
_:search type Taxi
_:result car white audi
_:result phone 07502362913
_:result type Taxi
_:system inquired _:user