On Mon, Jun 2, 2014 at 10:45 AM, AmeBel <notifications@github.com> wrote:

> In opencog/nlp/scm/relex-to-logic.scm:
>
> > +                                (VariableNode "$B")
> > +                                (VariableTypeNode "ConceptNode"))
> > +                        (TypedVariableLink
> > +                                (VariableNode "$C")
> > +                                (VariableTypeNode "PredicateNode"))
> > +                        (TypedVariableLink
> > +                                (VariableNode "$D")
> > +                                (VariableTypeNode "ConceptNode")))
> > +                (ImplicationLink
> > +                        (AndLink
> > +                                (InheritanceLink (VariableNode "$A")(VariableNode "$B"))
> > +                                (EvaluationLink (VariableNode "$C")(ListLink(VariableNode "$A")(VariableNode "$D")))
> > +                                (EvaluationLink (PredicateNode "whichmarker") (ListLink (VariableNode "$A")(VariableNode "$C"))))
> > +                        (InheritanceLink
> > +                                (SatisfyingSetLink (VariableNode "$X")
> > +                                        (InheritanceLink (VariableNode "$X") (VariableNode "$A"))
>
> Shouldn't there be an AndLink circumsribing the InheritanceLink and
> EvaluationLink, b/c the second node of a SatisfyingSetLink is a predicate
> function?
> @bgoertzel <https://github.com/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.
>
advmod-rule  will handle that :

(InheritanceLink  (ConceptNode "famous" ) (ConceptNode "very"))

> —
> Reply to this email directly or view it on GitHub
> <https://github.com/opencog/opencog/pull/809/files#r13273624>.
>