inform((_:search,departure,"christ 's college");(_:search,destination,'lensfield hotel');(_:search,type,'Taxi'))
user
i   want to book a taxi . The taxi should go to the lensfield hotel and should depart from christ 's college .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time should the car pick you up ?
inform((_:search,leave_at,'21:30');(_:search,type,'Taxi'))
user
I need to leave after 21:30 .
inform((_:result,car,'red ford');(_:result,phone,'07161667298');(_:result,type,'Taxi')) thank()
system
Alright great ! The car will be a red ford and the contact number is 07161667298 .
thank()
user
Awesome , thank you ! That was all I was looking for today . Have a good one
system
Glad to be of service today . Have a good day . Goodbye .
_:search departure christ 's college
_:search destination lensfield hotel
_:search type Taxi
_:search departure christ 's college
_:search destination lensfield hotel
_:search leave_at 21:30
_:search type Taxi
_:search departure christ 's college
_:search destination lensfield hotel
_:search leave_at 21:30
_:search type Taxi
_:result car red ford
_:result phone 07161667298
_:result type Taxi