Shouldn't there be an AndLink circumsribing the InheritanceLink and EvaluationLink, b/c the second node of a SatisfyingSetLink is a predicate function? 
@bgoertzel  right? 

In addition, the sematics of the implicand seems to say "The restaurants which serve national food are famous".  The fact that the sentence is about a particular restaurant is not handled,  and the intensifier "very" is not handled.