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

@AmeBel @ruiting @linas @bgoertzel 
Oops, but I see that I did make it a PredicateNode in the Evaluation clause, so that needs to be changed to.  The error
crept in because I cut-and-pasted the ConceptNode version from the SVP rule . . . 

--------------------------------------------
On Wed, 9/24/14, a_nitzkin@yahoo.com <a_nitzkin@yahoo.com> wrote:

 Subject: Re: [opencog] Updates scheme rule-helpers for r2l questions; a few bugs remain. . . (#1037)
 To: "opencog/opencog" <opencog@noreply.github.com>, "opencog/opencog" <reply@reply.github.com>
 Date: Wednesday, September 24, 2014, 3:44 PM
 
 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.