inform((_:search,departure,'huntingdon marriot hotel');(_:search,type,'Hotel');(_:search,type,'Taxi'))
user
I need a taxi departing from huntingdon marriot hotel .
request((_:search,arrive_by,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
We can help with that . What time do you wish to leave / arrive at your destination ?
inform((_:search,arrive_by,'20:15');(_:search,type,'Taxi'))
user
I need to arrive by 20:15 .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , and where will you be arriving to ?
inform((_:search,destination,'saint barnabas');(_:search,type,'Taxi'))
user
saint barnabas press gallery please
inform((_:result,car,'red ford');(_:result,phone,'07619968321');(_:result,type,'Taxi')) reqmore()
system
Ok I have a red ford and the contact number is 07619968321 . Anything else I can do for you ?
inform((_:search,arrive_by,'20:15');(_:search,type,'Taxi'))
user
Thank you . I will be looking for the taxi to arrive by 20:15 .
inform((_:result,arrive_by,'20:15');(_:result,type,'Taxi'))
system
I have confirmed that your taxi will arrive by 20:15 . Is that all you need today ?
thank()
user
Yes , that 's everything . Thanks !
system
Booked car type red ford 
 Contact number 07619968321
_:search departure huntingdon marriot hotel
_:search type Hotel
_:search type Taxi
_:search departure huntingdon marriot hotel
_:search destination ?
_:search leave_at ?
_:search arrive_by 20:15
_:search type Taxi
_:search departure huntingdon marriot hotel
_:search leave_at ?
_:search arrive_by 20:15
_:search destination saint barnabas
_:search type Taxi
_:search departure huntingdon marriot hotel
_:search leave_at ?
_:search destination saint barnabas
_:result car red ford
_:result phone 07619968321
_:result type Taxi
_:system inquired _:user
_:search arrive_by 20:15
_:search type Taxi
_:search departure huntingdon marriot hotel
_:search leave_at ?
_:search destination saint barnabas
_:result car red ford
_:result phone 07619968321
_:system inquired _:user
_:search arrive_by 20:15
_:search type Taxi
_:result arrive_by 20:15
_:result type Taxi