inform((_:search,departure,'carolina bed and breakfast');(_:search,destination,'ali baba');(_:search,type,'Taxi'))
user
I need a taxi to pick me up from carolina bed and breakfast and take me to ali baba .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure .   What time would you like to leave ?
inform((_:search,leave_at,'10:00');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
by 10:00 , what is the car type and can I get a contact number ?
inform((_:result,car,'grey volvo');(_:result,phone,'07985302391');(_:result,type,'Taxi'))
system
it is a grey volvo and the contact number is 07985302391
thank()
user
That 's all I need for today , thank you for your help .
system
We are happy to help . Thank you for using our service .
_:search departure carolina bed and breakfast
_:search destination ali baba
_:search type Taxi
_:search departure carolina bed and breakfast
_:search destination ali baba
_:search leave_at 10:00
_:search type Taxi
_:result car ?
_:result type Taxi
_:search departure carolina bed and breakfast
_:search destination ali baba
_:search leave_at 10:00
_:search type Taxi
_:result car grey volvo
_:result phone 07985302391
_:result type Taxi