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

@AmeBel @ruiting @linas @bgoertzel 
Again, your correction makes sense to me, however I was trying to do it in the same way it already does non-question
predicative adjectives, which is . . . 

(define (SVP-rule subj  subj_instance  predicative  predicative_instance)
	(list (InheritanceLink (ConceptNode predicative_instance df-node-stv) (ConceptNode predicative df-node-stv) df-link-stv)
	(InheritanceLink (ConceptNode subj_instance df-node-stv) (ConceptNode subj df-node-stv) df-link-stv)
	(InheritanceLink (ConceptNode subj_instance df-node-stv) (ConceptNode predicative_instance df-node-stv) df-link-stv)
	)
)

So, I just copied that.  Logically speaking, does it make a difference?

--------------------------------------------
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:36 PM
 
 In
 opencog/nlp/relex2logic/rule-helpers.scm:
 > +; 
 > +; NB: this rule also applies (incorrectly) to
 progressive sentences like 'are you sleeping' at the
 moment due to relex error.
 > +;
 > +(define (obj-ynQ-rule subj_concept subj_instance
 obj_concept obj_instance)
 > +	(list (InheritanceLink (ConceptNode subj_instance
 df-node-stv) (ConceptNode subj_concept df-node-stv)
 df-link-stv)
 > +	(InheritanceLink (ConceptNode obj_instance
 df-node-stv) (ConceptNode obj_concept df-node-stv)
 df-link-stv)
 > +	(EvaluationLink (PredicateNode "Truth
 Value")
 > +		(ListLink (InheritanceLink (ConceptNode
 subj_instance df-node-stv)(ConceptNode obj_instance
 df-node-stv) df-link-stv))
 > +		(VariableNode "$var1"))
 > +))
 > +;
 > +; Example: "Are you mad?" 
 > +;
 > +(define (predadj-ynQ-rule subj_concept subj_instance
 predicative_concept predicative_instance)
 > +	(list (InheritanceLink (ConceptNode subj_instance
 df-node-stv) (ConceptNode subj_concept df-node-stv)
 df-link-stv)
 > +	(InheritanceLink (ConceptNode predicative_instance
 df-node-stv) (ConceptNode predicative_concept df-node-stv)
 df-link-stv)
 
 shouldn't Predicative_instance be a PredicateNode not
 a ConceptNode?
 
 —
 Reply to this email directly or view
 it on GitHub.