inform((_:search,departure,'saint johns chop house');(_:search,destination,'williams art and antiques');(_:search,type,'Taxi'))
user
I need to book a taxi from Saint Johns Chop House to Williams Art and Antiques please .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Not a problem , I will need your preferred pick up and arrival times in order to book your cab .
inform((_:search,leave_at,'3:15');(_:search,type,'Taxi'))
user
The taxi should leave by 3:15 .
inform((_:result,car,'yellow honda');(_:result,phone,'07799036655');(_:result,type,'Taxi')) reqmore()
system
I have booked a taxi for you ! The car is a yellow honda . The contact number is 07799036655 . Is there anything else you need today ?
inform((_:search,type,'Taxi'))
user
I 'm sorry , could you make sure the taxi is actually leaving after 3:15 ?   I made an error earlier .
inform((_:result,car,'blue lexus');(_:result,leave_at,'3:20');(_:result,phone,'07581540721');(_:result,type,'Taxi')) reqmore()
system
No problem , a blue lexus will pick you up at 3:20 . The contact number is 07581540721 . Will there be anything else ?
user
That should be perfect !
thank()
system
It was a pleasure to help you .
thank()
user
Thank you so much !
system
Thank you let me know if you need anything else .
_:search departure saint johns chop house
_:search destination williams art and antiques
_:search type Taxi
_:search departure saint johns chop house
_:search destination williams art and antiques
_:search arrive_by ?
_:search leave_at 3:15
_:search type Taxi
_:search departure saint johns chop house
_:search destination williams art and antiques
_:search arrive_by ?
_:search leave_at 3:15
_:result car yellow honda
_:result phone 07799036655
_:result type Taxi
_:system inquired _:user
_:search type Taxi
_:search departure saint johns chop house
_:search destination williams art and antiques
_:search arrive_by ?
_:search leave_at 3:15
_:search type Taxi
_:result car blue lexus
_:result leave_at 3:20
_:result phone 07581540721
_:result type Taxi
_:system inquired _:user
_:search departure saint johns chop house
_:search destination williams art and antiques
_:search arrive_by ?
_:search leave_at 3:15
_:search type Taxi
_:result car blue lexus
_:result leave_at 3:20
_:result phone 07581540721
_:result type Taxi
_:system inquired _:user