inform((_:search,departure,'bridge guest house');(_:search,destination,'sidney sussex college');(_:search,type,'Taxi'))
user
I need to book a taxi from bridge guest house to sidney sussex college .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure . What time did you want to leave and arrive by ?
inform((_:search,arrive_by,'07:15');(_:search,type,'Taxi'))
user
I do n't care about the departure time but the taxi should arrive by 07:15 .
inform((_:result,arrive_by,'7:15');(_:result,departure,'the bridge Guest House');(_:result,destination,'Sidney Sussex College');(_:result,phone,'07918620184');(_:result,type,'Taxi')) reqmore()
system
I have booked you a car to leave from the bridge Guest House and arrive in Cambridge at Sidney Sussex College by 7:15 . Your confirmation number is 07918620184 . Is there anything else you need ?
request((_:result,phone,?);(_:result,type,'Taxi'))
user
What type of car is it ? Can I have the contact phone number ?
inform((_:result,car,'red Audi');(_:result,phone,'07918620184');(_:result,type,'Taxi'))
system
You 'll be looking for a red Audi and the contact number is 07918620184 . 
 .
thank()
user
thank you
reqmore() thank()
system
You 're welcome . Will you be needing anything else ?
thank()
user
No , thank you !
thank()
system
Sounds good ! Enjoy your trip .
thank()
user
Thank you so much . You were very helpful !
system
You are welcome , goodbye !
_:search departure bridge guest house
_:search destination sidney sussex college
_:search type Taxi
_:search departure bridge guest house
_:search destination sidney sussex college
_:search leave_at ?
_:search arrive_by 07:15
_:search type Taxi
_:search departure bridge guest house
_:search destination sidney sussex college
_:search leave_at ?
_:search arrive_by 07:15
_:search type Taxi
_:result arrive_by 7:15
_:result departure the bridge Guest House
_:result destination Sidney Sussex College
_:result phone 07918620184
_:result type Taxi
_:system inquired _:user
_:result phone ?
_:search departure bridge guest house
_:search destination sidney sussex college
_:search leave_at ?
_:search arrive_by 07:15
_:search type Taxi
_:result arrive_by 7:15
_:result departure the bridge Guest House
_:result destination Sidney Sussex College
_:system inquired _:user
_:result car red Audi
_:result phone 07918620184
_:result type Taxi
_:search departure bridge guest house
_:search destination sidney sussex college
_:search leave_at ?
_:search arrive_by 07:15
_:search type Taxi
_:result arrive_by 7:15
_:result departure the bridge Guest House
_:result destination Sidney Sussex College
_:result car red Audi
_:result phone 07918620184
_:result type Taxi
_:system inquired _:user
_:search departure bridge guest house
_:search destination sidney sussex college
_:search leave_at ?
_:search arrive_by 07:15
_:search type Taxi
_:result arrive_by 7:15
_:result departure the bridge Guest House
_:result destination Sidney Sussex College
_:result car red Audi
_:result phone 07918620184
_:result type Taxi
_:system inquired _:user