inform((_:search,destination,'the varsity restaurant');(_:search,type,'Taxi'))
user
I need a taxi going to the varsity restaurant .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you depart from ?
inform((_:search,departure,'gonville hotel');(_:search,type,'Taxi'))
user
I 'm leaving from gonville hotel .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
I can help you with that . When do you need to leave ?
inform((_:search,leave_at,'12:00');(_:search,type,'Taxi'))
user
I want to leave at 12:00 .
inform((_:result,car,'blue honda');(_:result,phone,'07255247278');(_:result,type,'Taxi'))
system
I have a blue honda with contact number 07255247278 .
thank()
user
Ok thank you that is all I needed today . Goodbye .
system
You 're welcome , have a nice day .
_:search destination the varsity restaurant
_:search type Taxi
_:search destination the varsity restaurant
_:search departure gonville hotel
_:search type Taxi
_:search destination the varsity restaurant
_:search departure gonville hotel
_:search leave_at 12:00
_:search type Taxi
_:search destination the varsity restaurant
_:search departure gonville hotel
_:search leave_at 12:00
_:search type Taxi
_:result car blue honda
_:result phone 07255247278
_:result type Taxi