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

@AmeBel @ruiting @linas @bgoertzel 
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.