inform((_:search,departure,"saint catharine 's college");(_:search,type,'Taxi'))
user
I need a taxi to take me to my hotel today from saint catharine 's college
request((_:search,destination,?);(_:search,type,'Taxi'))
system
I can help you book that , what hotel are you staying at ?
inform((_:search,destination,"rosa 's bed and breakfast");(_:search,type,'Taxi'))
user
I am staying at Rosa 's Bed and Breakfast .
request((_:search,arrive_by,?);(_:search,leave_at,?);(_:search,type,'Taxi'))
system
Ok great , and what time would you like to leave / arrive ?
inform((_:search,leave_at,'13:00');(_:search,type,'Taxi'))
user
I should leave after 13:00 .
inform((_:result,car,'red ford');(_:result,phone,'07542375620');(_:result,type,'Taxi')) reqmore()
system
Alright , I 've got a red ford with the contact number 07542375620 . Anything else I can do for you ?
thank()
user
Nothing else , thank you . I 'll keep an eye out for the red ford . Goodbye .
system
Have a lovely day and contact us again if you need further assistance . Bye !
_:search departure saint catharine 's college
_:search type Taxi
_:search departure saint catharine 's college
_:search destination rosa 's bed and breakfast
_:search type Taxi
_:search departure saint catharine 's college
_:search destination rosa 's bed and breakfast
_:search arrive_by ?
_:search leave_at 13:00
_:search type Taxi
_:search departure saint catharine 's college
_:search destination rosa 's bed and breakfast
_:search arrive_by ?
_:search leave_at 13:00
_:search type Taxi
_:result car red ford
_:result phone 07542375620
_:result type Taxi
_:system inquired _:user