inform((_:search,departure,"kettle 's yard");(_:search,destination,'old schools');(_:search,type,'Taxi'))
user
Hi ! I 'd like to book a taxi from Kettle 's Yard to Old Schools .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Absolutely - do you have a particular arrival or departure time in mind today ?
inform((_:search,arrive_by,'19:30');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Yes , I would like the taxi to arrive by 19:30 . In addition , I would like the car type and its contact number .
inform((_:result,car,'white volkswagen');(_:result,phone,'07027624842');(_:result,type,'Taxi'))
system
I have completed your booking ! The car type is a white volkswagen and the contact number is 07027624842 .
thank()
user
Thank you so much ! That is all I need for now .
system
You are welcome .   Have a great day .   Good bye .
_:search departure kettle 's yard
_:search destination old schools
_:search type Taxi
_:search departure kettle 's yard
_:search destination old schools
_:search leave_at ?
_:search arrive_by 19:30
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure kettle 's yard
_:search destination old schools
_:search leave_at ?
_:search arrive_by 19:30
_:search type Taxi
_:result car white volkswagen
_:result phone 07027624842
_:result type Taxi