inform((_:search,departure,'leverton house');(_:search,type,'Taxi'))
user
I need a taxi departing from leverton house .
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I 'd be happy to book that for you , first I 'll need to know your destination .
inform((_:search,arrive_by,'23:30');(_:search,destination,'ugly duckling');(_:search,type,'Taxi'))
user
I 'm going to ugly duckling and must be there no later than 23:30 please
inform((_:result,car,'red Toyota');(_:result,phone,'0757492861');(_:result,type,'Taxi'))
system
I 've booked a red Toyota , the contact number is 0757492861 .
thank()
user
Alright I have everything I needed and I appreciate your help . Thank you and have a great night .
bye()
system
You 're welcome . Have fun .
thank()
user
That 's all that I need today . Thanks again !
system
No problem ! It was a pleasure
_:search departure leverton house
_:search type Taxi
_:search departure leverton house
_:search arrive_by 23:30
_:search destination ugly duckling
_:search type Taxi
_:search departure leverton house
_:search arrive_by 23:30
_:search destination ugly duckling
_:search type Taxi
_:result car red Toyota
_:result phone 0757492861
_:result type Taxi
_:search departure leverton house
_:search arrive_by 23:30
_:search destination ugly duckling
_:search type Taxi
_:result car red Toyota
_:result phone 0757492861
_:result type Taxi
_:system dismissed _:user