inform((_:search,arrive_by,'23:30');(_:search,type,'Taxi'))
user
I need a taxi arriving by 23:30 .
request((_:search,departure,?);(_:search,type,'Taxi'))
system
Okay , what is your departure site ?
inform((_:search,departure,'little seoul');(_:search,type,'Taxi')) request((_:result,car,?);(_:result,type,'Taxi'))
user
Little Seoul and I would like the contact number and car type
request((_:search,destination,?);(_:search,type,'Taxi'))
system
Where will you be going ?
inform((_:search,destination,"people 's portraits exhibition at girton college");(_:search,type,'Taxi'))
user
I 'd like to go to people 's portraits exhibition at girton college . I 've heard it 's stunning !
inform((_:result,car,'grey Skoda');(_:result,phone,'07240135377');(_:result,type,'Taxi')) reqmore()
system
It sounds lovely ! I 've booked you in a grey Skoda . The contact number is 07240135377 in case you need it . What else may I assist you with ?
thank()
user
That was everything . Thank You !
system
You 're more than welcome !
_:search arrive_by 23:30
_:search type Taxi
_:search arrive_by 23:30
_:search departure little seoul
_:search type Taxi
_:result car ?
_:result type Taxi
_:search arrive_by 23:30
_:search departure little seoul
_:result car ?
_:result type Taxi
_:search destination people 's portraits exhibition at girton college
_:search type Taxi
_:search arrive_by 23:30
_:search departure little seoul
_:search destination people 's portraits exhibition at girton college
_:search type Taxi
_:result car grey Skoda
_:result phone 07240135377
_:result type Taxi
_:system inquired _:user