inform((_:search,name,'worth house');(_:search,type,'Hotel'))
user
I would like to book a room at the Worth House .
request((_:booking,stay,?);(_:booking,type,'Booking'))
system
Ok .   For how many nights ?
inform((_:search,day,'tuesday');(_:search,people,'1');(_:search,stay,'3');(_:search,type,'Hotel'))
user
1 person for 3 nights , please . I 'll arrive on Tuesday .
reqmore() inform((_:booking,ref,'DE8SOFFL');(_:booking,type,'Booking'))
system
Great ! Your booking number is DE8SOFFL . How else can I help ?
thank()
user
Thanks , that is all I need .
system
You 're very welcome ! Have fun !
_:search name worth house
_:search type Hotel
_:search name worth house
_:booking stay ?
_:booking type Booking
_:search day tuesday
_:search people 1
_:search stay 3
_:search type Hotel
_:search name worth house
_:booking stay ?
_:search day tuesday
_:search people 1
_:search stay 3
_:search type Hotel
_:system inquired _:user
_:booking ref DE8SOFFL
_:booking type Booking