inform((_:search,name,'india house');(_:search,type,'Restaurant'))
user
Hi . I am trying to find some information on a restaurant called India House .   Have you heard of it ?
reqmore() inform((_:result,area,'west');(_:result,food,'Indian');(_:result,name,'India House');(_:result,phone,'0122346166');(_:result,pricerange,'expensive');(_:result,type,'Restaurant'))
system
India House serves Indian food in the west of town and is expensive . Their phone number is 0122346166 . Can I help with anything else ?
inform((_:search,day,'sunday');(_:search,duration,'12:00');(_:search,people,'one');(_:search,type,'Restaurant'))
user
Great can   you book a table for one person at 12:00 on sunday ?
canthelp((_:booking,duration,'12:00');(_:booking,type,'Booking')) request((_:booking,day,?);(_:booking,duration,?);(_:booking,type,'Booking'))
system
I 'm sorry , they do n't have an opening at 12:00 . Would you like to try a different time or day ?
inform((_:search,day,'same day');(_:search,duration,'11:00');(_:search,type,'Restaurant'))
user
Sure , let 's try for 11:00 , same day .
inform((_:booking,day,'Sunday');(_:booking,duration,'11:00');(_:booking,people,'1');(_:booking,ref,'FRGW4OO2');(_:booking,type,'Booking'))
system
I was able to book your table on Sunday at 11:00 for 1 . The reference number is FRGW4OO2 .
thank()
user
Thanks .   That covers it then !
system
I 'm so happy we could help you out today . Enjoy your meal in Cambridge !
_:search name india house
_:search type Restaurant
_:search name india house
_:system inquired _:user
_:result area west
_:result food Indian
_:result name India House
_:result phone 0122346166
_:result pricerange expensive
_:result type Restaurant
_:search day sunday
_:search duration 12:00
_:search people one
_:search type Restaurant
_:search name india house
_:system inquired _:user
_:result area west
_:result food Indian
_:result name India House
_:result phone 0122346166
_:result pricerange expensive
_:result type Restaurant
_:search people one
_:system canthelp _:booking/8e94bb0e
_:booking/8e94bb0e duration 12:00
_:booking/8e94bb0e type Booking
_:booking day ?
_:booking duration ?
_:booking type Booking
_:search day same day
_:search duration 11:00
_:search type Restaurant
_:search name india house
_:system inquired _:user
_:result area west
_:result food Indian
_:result name India House
_:result phone 0122346166
_:result pricerange expensive
_:result type Restaurant
_:search people one
_:system canthelp _:booking/8e94bb0e
_:booking/8e94bb0e duration 12:00
_:booking/8e94bb0e type Booking
_:search day same day
_:search duration 11:00
_:search type Restaurant
_:booking day Sunday
_:booking duration 11:00
_:booking people 1
_:booking ref FRGW4OO2
_:booking type Booking