inform((_:search,departure,'broxbourne train station');(_:search,type,'Taxi'))
user
I will be needing a taxi from broxbourne train station
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Sure thing , when would you like to arrive or leave by ?
inform((_:search,arrive_by,'23:30');(_:search,type,'Taxi'))
user
I must arrive there by 23:30
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Okay , where are you headed ?
inform((_:search,destination,'india house');(_:search,type,'Taxi'))
user
I 'm going to india house .
inform((_:result,car,'red skoda');(_:result,phone,'07699858480');(_:result,type,'Taxi')) reqmore()
system
You car type is a red skoda .   The contact number is 07699858480 .   Can I assist you with anything else ?
thank()
user
Nope . That should be it . Thank you so much for your help .
system
You 're welcome . It was my pleasure to help . Goodbye .
_:search departure broxbourne train station
_:search type Taxi
_:search departure broxbourne train station
_:search leave_at ?
_:search arrive_by 23:30
_:search type Taxi
_:search departure broxbourne train station
_:search leave_at ?
_:search arrive_by 23:30
_:search destination india house
_:search type Taxi
_:search departure broxbourne train station
_:search leave_at ?
_:search arrive_by 23:30
_:search destination india house
_:search type Taxi
_:result car red skoda
_:result phone 07699858480
_:result type Taxi
_:system inquired _:user