inform((_:search,departure,'finches bed and breakfast');(_:search,destination,'Ian hong house');(_:search,leave_at,'13:45');(_:search,type,'Taxi')) request((_:result,phone,?);(_:result,type,'Taxi'))
user
I need a taxi from finches bed and breakfast to Ian hong house .   Please be here at 13:45 .   What is your phone number ?   What type of car ?
request((_:search,arrive_by,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Can you please provide me with a destination and arrival time ? Thank you .
inform((_:search,arrive_by,'13:45');(_:search,destination,'ian hong');(_:search,type,'Taxi'))
user
I need to arrive to Ian hong house by 13:45 .
inform((_:result,car,'blue volkswagen');(_:result,phone,'07602572766');(_:result,type,'Taxi'))
system
Your taxi is booked . Your car is a blue volkswagen and contact number is 07602572766
thank()
user
Thanks so much . That is all I needed .
system
Great , have a wonderful visit and a fantastic day .   Thank you .
_:search departure finches bed and breakfast
_:search destination Ian hong house
_:search leave_at 13:45
_:search type Taxi
_:result phone ?
_:result type Taxi
_:search departure finches bed and breakfast
_:result phone ?
_:result type Taxi
_:search leave_at ?
_:search arrive_by 13:45
_:search destination ian hong
_:search type Taxi
_:search departure finches bed and breakfast
_:search leave_at ?
_:search arrive_by 13:45
_:search destination ian hong
_:search type Taxi
_:result car blue volkswagen
_:result phone 07602572766
_:result type Taxi