inform((_:search,type,'Taxi'))
user
i want to book a taxi .
request((_:search,departure,?);(_:search,type,'Taxi')) thank()
system
Sure ,   i can help you with that .   Where will you be departing from ?
inform((_:search,departure,'the train station');(_:search,type,'Taxi'))
user
I want to leave from the train station .
request((_:search,leave_at,?);(_:search,type,'Taxi'))
system
Can you tell me what time you would like to leave ?
inform((_:search,departure,'london kings cross train station');(_:search,leave_at,'02:00');(_:search,type,'Taxi'))
user
I want to leave london kings cross train station after 02:00
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , and what is your destination ?
inform((_:search,destination,'gallery at twelve a high street');(_:search,type,'Taxi'))
user
Oh , I 'm sorry I need to get to gallery at twelve a high street .
request((_:search,category,?);(_:search,name,?);(_:search,type,'Attraction'))
system
I 'm sorry , I do n't understand . What is the gallery name you want to travel too ?
thank() inform((_:search,name,'gallery at twelve a high street');(_:search,type,'Attraction'))
user
It 's called   gallery at twelve a high street .
inform((_:result,car,'white ford');(_:result,phone,'07064257037');(_:result,type,'Taxi'))
system
I have booked you a white ford . 
 The contact number is 07064257037
thank()
user
Perfect ! ! Thank you for all your help .
inform((_:result,car,'blue tesla');(_:result,phone,'07520411520');(_:result,type,'Taxi')) reqmore()
system
Got it , your booking has been completed ! Look out for a blue tesla , contact number 07520411520 . May I assist with anything else ?
thank()
user
That will be all . Thank you .
system
Reservation reserved , let me know if you need any more assistance with anything else .
_:search type Taxi
_:search departure the train station
_:search type Taxi
_:search departure london kings cross train station
_:search leave_at 02:00
_:search type Taxi
_:search departure london kings cross train station
_:search leave_at 02:00
_:search destination gallery at twelve a high street
_:search type Taxi
_:search departure london kings cross train station
_:search leave_at 02:00
_:search destination gallery at twelve a high street
_:search category ?
_:search name gallery at twelve a high street
_:search type Attraction
_:search departure london kings cross train station
_:search leave_at 02:00
_:search destination gallery at twelve a high street
_:search category ?
_:search name gallery at twelve a high street
_:search type Attraction
_:result car white ford
_:result phone 07064257037
_:result type Taxi
_:search departure london kings cross train station
_:search leave_at 02:00
_:search destination gallery at twelve a high street
_:search category ?
_:search name gallery at twelve a high street
_:search type Attraction
_:result car blue tesla
_:result phone 07520411520
_:result type Taxi
_:system inquired _:user