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?
user
unintelligible
request((_:search,area,?);(_:search,type,'Restaurant'))
system
What part of town do you have in mind?
user
unintelligible
request((_:search,food,?);(_:search,type,'Restaurant'))
system
What kind of food would you like?
inform((_:search,food,'french');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive french
inform((_:result,area,'east');(_:result,name,'royal standard');(_:result,type,'Restaurant'))
system
royal standard is in the east part of town .
inform((_:search,food,'french');(_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive french food
inform((_:result,name,'royal standard');(_:result,postcode,'c.b 1');(_:result,type,'Restaurant'))
system
The post code of royal standard is C.B 1, 3 N.L
negate()
user
no something else
inform((_:result,area,'east');(_:result,name,'royal standard');(_:result,type,'Restaurant'))
system
royal standard is in the east part of town .
inform((_:search,food,'french');(_:search,type,'Restaurant'))
user
i want french food
canthelp((_:search,area,'east');(_:search,food,'french');(_:search,type,'Restaurant'))
system
Sorry there is no french restaurant in the east of town
inform((_:search,area,*);(_:search,food,'french');(_:search,type,'Restaurant'))
user
french food any part of town
inform((_:result,area,'centre');(_:result,food,'french');(_:result,name,'cote');(_:result,type,'Restaurant'))
system
cote is a nice restaurant in the centre of town serving french food
inform((_:search,pricerange,'expensive');(_:search,type,'Restaurant'))
user
expensive
inform((_:result,food,'french');(_:result,name,'cote');(_:result,type,'Restaurant'))
system
cote serves french food .
request((_:result,address,?);(_:result,phone,?);(_:result,type,'Restaurant'))
user
address and phone number
inform((_:result,address,'bridge street city centre');(_:result,name,'cote');(_:result,phone,'01223 311053');(_:result,type,'Restaurant'))
system
The phone number of cote is 01223 311053 and it is on Bridge Street City Centre .
thanks() bye()
user
thank you good bye
_:system greeted _:user
_:system greeted _:user
_:search area ?
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:search food french
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:result area east
_:result name royal standard
_:result type Restaurant
_:search food french
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:search area ?
_:result area east
_:search food french
_:search pricerange expensive
_:search type Restaurant
_:user denied _:result/c24f521c
_:result/c24f521c name royal standard
_:result/c24f521c postcode c.b 1
_:result/c24f521c type Restaurant
_:system greeted _:user
_:search area ?
_:search pricerange expensive
_:user denied _:result/c24f521c
_:result/c24f521c name royal standard
_:result/c24f521c postcode c.b 1
_:result/c24f521c type Restaurant
_:result area east
_:result name royal standard
_:result type Restaurant
_:search food french
_:search type Restaurant
_:system greeted _:user
_:search pricerange expensive
_:user denied _:result/c24f521c
_:result/c24f521c name royal standard
_:result/c24f521c postcode c.b 1
_:result/c24f521c type Restaurant
_:result area east
_:result name royal standard
_:result type Restaurant
_:system canthelp _:search/808ec02e
_:search/808ec02e area east
_:search/808ec02e food french
_:search/808ec02e type Restaurant
_:search area *
_:search food french
_:search type Restaurant
_:system greeted _:user
_:user denied _:result/c24f521c
_:result/c24f521c name royal standard
_:result/c24f521c postcode c.b 1
_:result/c24f521c type Restaurant
_:system canthelp _:search/808ec02e
_:search/808ec02e area east
_:search/808ec02e food french
_:search/808ec02e type Restaurant
_:search area *
_:search food french
_:result area centre
_:result food french
_:result name cote
_:result type Restaurant
_:search pricerange expensive
_:search type Restaurant
_:system greeted _:user
_:user denied _:result/c24f521c
_:result/c24f521c name royal standard
_:result/c24f521c postcode c.b 1
_:result/c24f521c type Restaurant
_:system canthelp _:search/808ec02e
_:search/808ec02e area east
_:search/808ec02e food french
_:search/808ec02e type Restaurant
_:search area *
_:search food french
_:result area centre
_:search pricerange expensive
_:search type Restaurant
_:result food french
_:result name cote
_:result type Restaurant
_:result address ?
_:result phone ?
_:system greeted _:user
_:user denied _:result/c24f521c
_:result/c24f521c name royal standard
_:result/c24f521c postcode c.b 1
_:result/c24f521c type Restaurant
_:system canthelp _:search/808ec02e
_:search/808ec02e area east
_:search/808ec02e food french
_:search/808ec02e type Restaurant
_:search area *
_:search food french
_:result area centre
_:search pricerange expensive
_:search type Restaurant
_:result food french
_:result address bridge street city centre
_:result name cote
_:result phone 01223 311053
_:result type Restaurant
_:user thanked _:system
_:user dismissed _:system