inform((_:search,type,'Taxi'))
user
Please help me with a taxi
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Sure ! where are you going ?
inform((_:search,destination,'pizza hut fen ditton');(_:search,type,'Taxi'))
user
I 'm going to pizza hut fen ditton .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Where will you be coming from ?
inform((_:search,departure,"saint catharine 's college");(_:search,type,'Taxi'))
user
I am leaving from the beautiful saint catharine 's college .
request((_:search,arrive_by,?);(_:search,destination,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
What time would you like to be picked up from your start point , or dropped off at your destination ?
inform((_:search,leave_at,'11:45');(_:search,type,'Taxi'))
user
Oh anytime after 11:45 a.m would be fine
inform((_:result,car,'black volvo');(_:result,phone,'07089951396');(_:result,type,'Taxi'))
system
Booking completed ! 
 Booked car type 	 : 	 black volvo 
 Contact number 	 : 	 07089951396
bye()
user
Thanks , that 's all . Good bye .
system
welcome again some other time
_:search type Taxi
_:search destination pizza hut fen ditton
_:search type Taxi
_:search destination pizza hut fen ditton
_:search departure saint catharine 's college
_:search type Taxi
_:search departure saint catharine 's college
_:search arrive_by ?
_:search destination ?
_:search leave_at 11:45
_:search type Taxi
_:search departure saint catharine 's college
_:search arrive_by ?
_:search destination ?
_:search leave_at 11:45
_:search type Taxi
_:result car black volvo
_:result phone 07089951396
_:result type Taxi
_:user dismissed _:system