Updates scheme rule-helpers for r2l questions; a few bugs remain. . .

@AmeBel @ruiting @linas @bgoertzel 
Yes, indeed; especially since it is a PredicateNode in the Evaluation clause -- I'll make that correction now.

--------------------------------------------
On Wed, 9/24/14, Amen Belayneh <notifications@github.com> wrote:

 Subject: Re: [opencog] Updates scheme rule-helpers for r2l questions; a few bugs remain. . . (#1037)
 To: "opencog/opencog" <opencog@noreply.github.com>
 Cc: "anitzkin" <a_nitzkin@yahoo.com>
 Date: Wednesday, September 24, 2014, 3:37 PM
 
 In
 opencog/nlp/relex2logic/rule-helpers.scm:
 > +	(InheritanceLink
 (ConceptNode predicative_instance df-node-stv) (ConceptNode
 predicative_concept df-node-stv) df-link-stv)
 > +	(EvaluationLink (PredicateNode "Truth
 Value")
 > +		(EvaluationLink df-link-stv (PredicateNode
 predicative_instance df-node-stv) 
 > +			(ListLink df-link-stv (ConceptNode subj_instance
 df-node-stv)))
 > +			(VariableNode "$var1"))
 > +))
 > +;
 > +; Example: "Is the book under the table?"
 > +;
 > +; NB: sentences with prepositional phrases as the
 predicate-complements of the subject are treated by Relex in
 a variety
 > +; of ways, including the prepobj relation and also
 treating the prep as a simple predicate; those sentences
 that do not
 > +; call the rule below, call the SV-ynq rule.
 > +;
 > +(define (prepobj-ynQ-rule subj_concept subj_instance
 predprep_concept predprep_instance)
 > +	(list (InheritanceLink (ConceptNode subj_instance
 df-node-stv) (ConceptNode subj_concept df-node-stv)
 df-link-stv)
 > +	(InheritanceLink (ConceptNode predprep_instance
 df-node-stv) (ConceptNode predprep_concept df-node-stv)
 df-link-stv)
 
 shouldn't predprep_instance be a PredicateNode not a
 ConceptNode?
 
 —
 Reply to this email directly or view
 it on GitHub.