inform((_:search,arrive_by,'07:15');(_:search,departure,'primavera');(_:search,destination,"christ 's college");(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
I am interested in booking a taxi . I need to leave from Primavera and go to Christ 's College by 07:15 . I also need the contact number and car type .
inform((_:result,car,'blue Tesla');(_:result,phone,'07728790411');(_:result,type,'Taxi')) reqmore()
system
It is a blue Tesla and the number is 07728790411 . Is there anything else I can help you with ?
thank()
user
That is all . Thank you very much !
system
You 're welcome ! Have a great time !
_:search arrive_by 07:15
_:search departure primavera
_:search destination christ 's college
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 07:15
_:search departure primavera
_:search destination christ 's college
_:search type Taxi
_:result car blue Tesla
_:result phone 07728790411
_:result type Taxi
_:system inquired _:user