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

@AmeBel @ruiting @linas @bgoertzel 
Oops, sorry, no I see you are pointing out that it lacks the object output, not that there is a problem wit it having a subject. Didn't see that. Will correct. . . .
--------------------------------------------
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:40 PM
 
 No, because here, relex
 is considering the predicate to be "is under" and
 the relex output
 gives _pobj(under, table)
 and _psubj(under, book)
 
 --------------------------------------------
 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:22
 PM
  
  In
 
 opencog/nlp/relex2logic/rule-helpers.scm:
 
 > +            (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)
  > +    (EvaluationLink
 (PredicateNode "Truth
  Value")
  > +        (EvaluationLink
 df-link-stv (PredicateNode
 
 predprep_instance df-node-stv)
  > +   
         (ListLink df-link-stv (ConceptNode
 subj_instance
  df-node-stv)))
  
  for the example
 shouldn't the output be 
  
    (EvaluationLink
        (PredicateNode "Truth
 Value")
    
    (EvaluationLink (stv 0.99000001 0.99000001)
           (PredicateNode
 
 "under@e58f35c6-bdcb-4a8b-b992-aa25a057b0dc"
 (stv
  0.001 0.99000001))
  
         (ListLink (stv 0.99000001 0.99000001)
              (ConceptNode
  "book@4203fa9c-72d4-4ecb-b018-75fc0d26cdb5"
 (stv
  0.001 0.99000001))
  
          (ConceptNode
 
 "table@12eb33ae-45bc-472d-b23f-2b1bda25f111"
 (stv
  0.001 0.99000001))
  
         )
        )
        (VariableNode
 "$var1")
     )
 
 
  
  instead of
  
    (EvaluationLink
        (PredicateNode "Truth
 Value")
    
    (EvaluationLink (stv 0.99000001 0.99000001)
           (PredicateNode
 
 "under@e58f35c6-bdcb-4a8b-b992-aa25a057b0dc"
 (stv
  0.001 0.99000001))
  
         (ListLink (stv 0.99000001 0.99000001)
              (ConceptNode
  "book@4203fa9c-72d4-4ecb-b018-75fc0d26cdb5"
 (stv
  0.001 0.99000001))
  
         )
        )
        (VariableNode
 "$var1")
     )
 
 
  
  —
 
 Reply to this email directly or view
  it on
 GitHub.