inform((_:search,name,'El Shaddai');(_:search,type,'Hotel'))
user
Do you have information about the hotel El Shaddai ?
inform((_:result,address,'41 warkworth street');(_:result,area,'centre');(_:result,category,'guesthouse');(_:result,has_internet,'none');(_:result,has_parking,'none');(_:result,name,'El Shaddai');(_:result,phone,'01223327978');(_:result,pricerange,'cheap');(_:result,stars,'0');(_:result,type,'Hotel'))
system
El Shaddai is a cheap guesthouse in the centre area . It has a 0 star rating and includes parking and wifi . It 's located at 41 warkworth street . Phone number 01223327978 .
inform((_:search,day,'monday');(_:search,people,'7');(_:search,stay,'3');(_:search,type,'Hotel'))
user
Sounds good .   Can you book it for 3 nights checking in on Monday ?   There will be 7 of us .
canthelp((_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,stay,?);(_:booking,type,'Booking'))
system
Booking was unfortunately unsuccessful . Can we try another day or a shorter stay ?
inform((_:search,stay,'one');(_:search,type,'Hotel'))
user
Can we try one night ?
reqmore() inform((_:booking,ref,'820WCJZQ');(_:booking,type,'Booking'))
system
That did the trick , your booking was successful and your reference number is 820WCJZQ . Is there anything else you need help with today ?
thank()
user
That shall be all . Thanks !
system
Enjoy your stay ! Goodbye !
_:search name El Shaddai
_:search type Hotel
_:search name El Shaddai
_:result address 41 warkworth street
_:result area centre
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result stars 0
_:result type Hotel
_:search day monday
_:search people 7
_:search stay 3
_:search type Hotel
_:search name El Shaddai
_:result address 41 warkworth street
_:result area centre
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result stars 0
_:result type Hotel
_:search day monday
_:search people 7
_:system canthelp _:booking/5a8fd8b3
_:booking/5a8fd8b3 type Booking
_:booking day ?
_:booking stay ?
_:booking type Booking
_:search stay one
_:search type Hotel
_:search name El Shaddai
_:result address 41 warkworth street
_:result area centre
_:result category guesthouse
_:result has_internet none
_:result has_parking none
_:result name El Shaddai
_:result phone 01223327978
_:result pricerange cheap
_:result stars 0
_:result type Hotel
_:search day monday
_:search people 7
_:system canthelp _:booking/5a8fd8b3
_:booking/5a8fd8b3 type Booking
_:booking day ?
_:booking stay ?
_:search stay one
_:search type Hotel
_:system inquired _:user
_:booking ref 820WCJZQ
_:booking type Booking