inform((_:search,departure,'tang chinese');(_:search,type,'Taxi'))
user
I need a taxi departing from tang chinese .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Ok , what is your destination ?
inform((_:search,destination,'downing college');(_:search,type,'Taxi'))
user
I need to get to Downing college .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Great . Now I will just need a time .
inform((_:search,leave_at,'19:30');(_:search,type,'Taxi'))
user
I need to arrive by 19:30
inform((_:result,car,'white bmw');(_:result,phone,'07454674026');(_:result,type,'Taxi')) reqmore() thank()
system
Alright . I have a white bmw and the contact number is 07454674026 . Anything else ?
user
No that is all I needed .
system
I 'm sorry , I thought you wanted to leave at 19:30 . You are booked for a yellow bmw with the contact number 07816577086 arriving at 19:30 .
thank()
user
Great .   Thank you very much .
reqmore()
system
Can I help you with anything else ?
thank()
user
No , that 's it . Thanks .
system
Thank you goodbye
_:search departure tang chinese
_:search type Taxi
_:search departure tang chinese
_:search destination downing college
_:search type Taxi
_:search departure tang chinese
_:search destination downing college
_:search arrive_by ?
_:search leave_at 19:30
_:search type Taxi
_:search departure tang chinese
_:search destination downing college
_:search arrive_by ?
_:search leave_at 19:30
_:search type Taxi
_:result car white bmw
_:result phone 07454674026
_:result type Taxi
_:system inquired _:user
_:search departure tang chinese
_:search destination downing college
_:search arrive_by ?
_:search leave_at 19:30
_:search type Taxi
_:result car white bmw
_:result phone 07454674026
_:result type Taxi
_:system inquired _:user
_:search departure tang chinese
_:search destination downing college
_:search arrive_by ?
_:search leave_at 19:30
_:search type Taxi
_:result car white bmw
_:result phone 07454674026
_:result type Taxi
_:system inquired _:user