hello()
system
Hello , welcome to the Cambridge restaurant system? You can ask for restaurants by area , price range or food type . How may I help you?
inform((_:search,food,'christmas');(_:search,type,'Restaurant'))
user
christmas food
canthelp((_:search,food,'christmas');(_:search,type,'Restaurant'))
system
I am sorry but there is no christmas restaurant that matches your request
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
indian food
request((_:search,area,?);(_:search,type,'Restaurant')) confirm((_:search,food,'christmas');(_:search,type,'Restaurant'))
system
There are  restaurants serving christmas food . What area do you want?
inform((_:search,area,'centre');(_:search,type,'Restaurant'))
user
center
canthelp((_:search,area,'centre');(_:search,food,'christmas');(_:search,type,'Restaurant'))
system
Sorry there is no christmas restaurant in the centre of town
inform((_:search,area,'east');(_:search,type,'Restaurant'))
user
east
canthelp((_:search,area,'centre');(_:search,food,'christmas');(_:search,type,'Restaurant'))
system
Sorry there is no christmas restaurant in the centre of town
inform((_:search,area,'west');(_:search,type,'Restaurant'))
user
west
canthelp((_:search,area,'centre');(_:search,food,'christmas');(_:search,type,'Restaurant'))
system
Sorry there is no christmas restaurant in the centre of town
inform((_:search,food,'indian');(_:search,type,'Restaurant'))
user
indian food
inform((_:result,area,'centre');(_:result,food,'indian');(_:result,name,'kohinoor');(_:result,type,'Restaurant'))
system
kohinoor is a nice restaurant in the centre of town serving indian food
request((_:result,address,?);(_:result,type,'Restaurant'))
user
address
inform((_:result,address,'74 mill road city centre');(_:result,name,'kohinoor');(_:result,type,'Restaurant'))
system
Sure , kohinoor is on 74 Mill Road City Centre
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:search food christmas
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:search food indian
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:search food indian
_:search area centre
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:search food indian
_:system canthelp _:search/3eb099ac
_:search/3eb099ac area centre
_:search/3eb099ac food christmas
_:search/3eb099ac type Restaurant
_:search area east
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:search food indian
_:system canthelp _:search/3eb099ac
_:search/3eb099ac area centre
_:search/3eb099ac food christmas
_:search/3eb099ac type Restaurant
_:system canthelp _:search/c32d9c7d
_:search/c32d9c7d area centre
_:search/c32d9c7d food christmas
_:search/c32d9c7d type Restaurant
_:search area west
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:system canthelp _:search/3eb099ac
_:search/3eb099ac area centre
_:search/3eb099ac food christmas
_:search/3eb099ac type Restaurant
_:system canthelp _:search/c32d9c7d
_:search/c32d9c7d area centre
_:search/c32d9c7d food christmas
_:search/c32d9c7d type Restaurant
_:search area west
_:system canthelp _:search/fdb18e33
_:search/fdb18e33 area centre
_:search/fdb18e33 food christmas
_:search/fdb18e33 type Restaurant
_:search food indian
_:search type Restaurant
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:system canthelp _:search/3eb099ac
_:search/3eb099ac area centre
_:search/3eb099ac food christmas
_:search/3eb099ac type Restaurant
_:system canthelp _:search/c32d9c7d
_:search/c32d9c7d area centre
_:search/c32d9c7d food christmas
_:search/c32d9c7d type Restaurant
_:search area west
_:system canthelp _:search/fdb18e33
_:search/fdb18e33 area centre
_:search/fdb18e33 food christmas
_:search/fdb18e33 type Restaurant
_:search food indian
_:search type Restaurant
_:result area centre
_:result food indian
_:result name kohinoor
_:result type Restaurant
_:result address ?
_:system greeted _:user
_:system canthelp _:search/6ea728aa
_:search/6ea728aa food christmas
_:search/6ea728aa type Restaurant
_:system canthelp _:search/3eb099ac
_:search/3eb099ac area centre
_:search/3eb099ac food christmas
_:search/3eb099ac type Restaurant
_:system canthelp _:search/c32d9c7d
_:search/c32d9c7d area centre
_:search/c32d9c7d food christmas
_:search/c32d9c7d type Restaurant
_:search area west
_:system canthelp _:search/fdb18e33
_:search/fdb18e33 area centre
_:search/fdb18e33 food christmas
_:search/fdb18e33 type Restaurant
_:search food indian
_:search type Restaurant
_:result area centre
_:result food indian
_:result address 74 mill road city centre
_:result name kohinoor
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system