inform((_:search,departure,'pembroke college');(_:search,destination,'williams art and antiques');(_:search,type,'Taxi'))
user
I want to book a taxi to williams art and antiques from pembroke college .
request((_:search,arrive_by,?);(_:search,type,'Taxi'))
system
Sure ! when would you like to arrive ?
user
I would like to arrive at Williams Art and Antiques at one thirty p.m.
inform((_:result,type,'Taxi'))
system
Okay I completed a booking for you
request((_:result,car,?);(_:result,type,'Taxi'))
user
I need the contact number and the type of car please .
inform((_:result,car,'yellow volkswagen');(_:result,phone,'07206167165');(_:result,type,'Taxi'))
system
A yellow volkswagen is booked for you .   The contact number is 07206167165 .
inform((_:search,arrive_by,'15:30');(_:search,type,'Taxi'))
user
That 's wonderful . And the taxi will arrive by 15:30 , right ?
inform((_:result,arrive_by,'15:30');(_:result,car,'red tesla');(_:result,destination,'williams art and antiques');(_:result,phone,'07554978717');(_:result,type,'Taxi'))
system
Booking completed and corrected . You will get to williams art and antiques by 15:30 . 
 Booked car type 	 : 	 red tesla 
 Contact number 	 : 	 07554978717
thank()
user
Thank you !
system
Thank you good bye
_:search departure pembroke college
_:search destination williams art and antiques
_:search type Taxi
_:search departure pembroke college
_:search destination williams art and antiques
_:search arrive_by ?
_:search type Taxi
_:search departure pembroke college
_:search destination williams art and antiques
_:search arrive_by ?
_:search type Taxi
_:result type Taxi
_:result car ?
_:search departure pembroke college
_:search destination williams art and antiques
_:result car yellow volkswagen
_:result phone 07206167165
_:result type Taxi
_:search arrive_by 15:30
_:search type Taxi
_:search departure pembroke college
_:search destination williams art and antiques
_:search arrive_by 15:30
_:search type Taxi
_:result arrive_by 15:30
_:result car red tesla
_:result destination williams art and antiques
_:result phone 07554978717
_:result type Taxi