Context                Previous, Next                Top


37_a_lob_a02
Strong deeds followed strong words.

%3 r_0037_0002__deeds deeds r_0037_0001__Strong Strong r_0037_0002__deeds->r_0037_0001__Strong [attrib] r_0037_0003__followed followed r_0037_0003__followed->r_0037_0002__deeds [arg0] r_0037_0005__words words r_0037_0003__followed->r_0037_0005__words [arg1] r_0037_0004__strong strong r_0037_0005__words->r_0037_0004__strong [attrib] 
arc(r_0037_0002__deeds, r_0037_0001__Strong, attrib3).
arc(r_0037_0003__followed, r_0037_0002__deeds, arg0).
arc(r_0037_0003__followed, r_0037_0005__words, arg1).
arc(r_0037_0005__words, r_0037_0004__strong, attrib11).


%3 r_0037_0005__words words r_0037_0004__strong strong r_0037_0005__words->r_0037_0004__strong [attrib] r_0037_0003__followed followed r_0037_0003__followed->r_0037_0005__words [arg1] r_0037_0002__deeds deeds r_0037_0003__followed->r_0037_0002__deeds [arg0] r_0037_0001__Strong Strong r_0037_0002__deeds->r_0037_0001__Strong [attrib] 
fof(formula,axiom,
    ? [R_37_3_FOLLOWED,R_37_2_DEEDS,R_37_1_STRONG,R_37_5_WORDS,R_37_4_STRONG] :
      ( strong(R_37_1_STRONG)
      & strong(R_37_4_STRONG)
      & followed(R_37_3_FOLLOWED,R_37_2_DEEDS,R_37_5_WORDS)
      & deeds(R_37_2_DEEDS)
      & attrib3(R_37_2_DEEDS,R_37_1_STRONG)
      & words(R_37_5_WORDS)
      & attrib11(R_37_5_WORDS,R_37_4_STRONG) ) ).


n37_a_lob_a02 n37_a_lob_a02__1_1_1_1_1 Strong n37_a_lob_a02__1_1_2_1 deeds n37_a_lob_a02__1_2_1 followed n37_a_lob_a02__1_3_1_1_1 strong n37_a_lob_a02__1_3_2_1 words n37_a_lob_a02__1_4_1 . n37_a_lob_a02__1 IP-MAT n37_a_lob_a02__1_1 NP-SBJ n37_a_lob_a02__1->n37_a_lob_a02__1_1 n37_a_lob_a02__1_2 VBD;_Tn_ n37_a_lob_a02__1->n37_a_lob_a02__1_2 n37_a_lob_a02__1_3 NP-OB1 n37_a_lob_a02__1->n37_a_lob_a02__1_3 n37_a_lob_a02__1_4 PUNC n37_a_lob_a02__1->n37_a_lob_a02__1_4 n37_a_lob_a02__1_1_1 ADJP n37_a_lob_a02__1_1->n37_a_lob_a02__1_1_1 n37_a_lob_a02__1_1_2 NS n37_a_lob_a02__1_1->n37_a_lob_a02__1_1_2 n37_a_lob_a02__1_1_1_1 ADJ n37_a_lob_a02__1_1_1->n37_a_lob_a02__1_1_1_1 n37_a_lob_a02__1_1_1_1->n37_a_lob_a02__1_1_1_1_1 n37_a_lob_a02__1_1_2->n37_a_lob_a02__1_1_2_1 n37_a_lob_a02__1_2->n37_a_lob_a02__1_2_1 n37_a_lob_a02__1_3_1 ADJP n37_a_lob_a02__1_3->n37_a_lob_a02__1_3_1 n37_a_lob_a02__1_3_2 NS n37_a_lob_a02__1_3->n37_a_lob_a02__1_3_2 n37_a_lob_a02__1_3_1_1 ADJ n37_a_lob_a02__1_3_1->n37_a_lob_a02__1_3_1_1 n37_a_lob_a02__1_3_1_1->n37_a_lob_a02__1_3_1_1_1 n37_a_lob_a02__1_3_2->n37_a_lob_a02__1_3_2_1 n37_a_lob_a02__1_4->n37_a_lob_a02__1_4_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Strong;{strong}))
                  (NS deeds;{deed}))
          (VBD;_Tn_ followed;{follow})
          (NP-OB1 (ADJP (ADJ strong;{strong}))
                  (NS words;{word}))
          (PUNC .))
  (ID 37_a_lob_a02))