Context                Previous, Next                Top


25_a_goodwill
Because teaching a man to fish will keep him fed for his entire life.

%3 r_0025_0001__Because Because r_0025_0007__will will r_0025_0001__Because->r_0025_0007__will [restriction] z_000_25_a_goodwill_1 r_0025_0001__Because->z_000_25_a_goodwill_1 [scope] r_0025_0008__keep keep r_0025_0007__will->r_0025_0008__keep [scope] r_0025_0002__teaching teaching r_0025_0003__a_r_0025_0004__man a man r_0025_0002__teaching->r_0025_0003__a_r_0025_0004__man [arg2] r_0025_0005__to_r_0025_0006__fish to fish r_0025_0002__teaching->r_0025_0005__to_r_0025_0006__fish [arg1] z_000_25_a_goodwill_6 r_0025_0002__teaching->z_000_25_a_goodwill_6 [arg0] r_0025_0005__to_r_0025_0006__fish->r_0025_0003__a_r_0025_0004__man [arg0] r_0025_0008__keep->r_0025_0002__teaching [arg0] r_0025_0008__keep->r_0025_0003__a_r_0025_0004__man [arg1] r_0025_0010__fed fed r_0025_0008__keep->r_0025_0010__fed [prd] r_0025_0014__life life r_0025_0010__fed->r_0025_0014__life for [nim] x_000_25_a_goodwill_27 __ r_0025_0010__fed->x_000_25_a_goodwill_27 [arg1] z_000_25_a_goodwill_28 r_0025_0010__fed->z_000_25_a_goodwill_28 [arg0] r_0025_0014__life->r_0025_0003__a_r_0025_0004__man [gen] r_0025_0013__entire entire r_0025_0014__life->r_0025_0013__entire [attrib] 
arc(r_0025_0001__Because, r_0025_0007__will, restriction).
arc(r_0025_0001__Because, z_000_25_a_goodwill_1, scope).
arc(r_0025_0002__teaching, r_0025_0003__a_r_0025_0004__man, arg2).
arc(r_0025_0002__teaching, r_0025_0005__to_r_0025_0006__fish, arg1).
arc(r_0025_0002__teaching, z_000_25_a_goodwill_6, arg0).
arc(r_0025_0005__to_r_0025_0006__fish, r_0025_0003__a_r_0025_0004__man, arg0).
arc(r_0025_0007__will, r_0025_0008__keep, scope).
arc(r_0025_0008__keep, r_0025_0002__teaching, arg0).
arc(r_0025_0008__keep, r_0025_0003__a_r_0025_0004__man, arg1).
arc(r_0025_0008__keep, r_0025_0010__fed, prd).
arc(r_0025_0010__fed, r_0025_0014__life, r_0025_0011__for_nim35).
arc(r_0025_0010__fed, x_000_25_a_goodwill_27, arg1).
arc(r_0025_0010__fed, z_000_25_a_goodwill_28, arg0).
arc(r_0025_0014__life, r_0025_0003__a_r_0025_0004__man, gen).
arc(r_0025_0014__life, r_0025_0013__entire, attrib39).


%3 r_0025_0014__life life r_0025_0013__entire entire r_0025_0014__life->r_0025_0013__entire [attrib] r_0025_0003__a_r_0025_0004__man a man r_0025_0014__life->r_0025_0003__a_r_0025_0004__man [gen] r_0025_0010__fed fed r_0025_0010__fed->r_0025_0014__life for [nim] z_000_25_a_goodwill_28 r_0025_0010__fed->z_000_25_a_goodwill_28 [arg0] x_000_25_a_goodwill_27 __ r_0025_0010__fed->x_000_25_a_goodwill_27 [arg1] r_0025_0007__will_r_0025_0008__keep will keep r_0025_0007__will_r_0025_0008__keep->r_0025_0003__a_r_0025_0004__man [arg1] r_0025_0007__will_r_0025_0008__keep->r_0025_0010__fed [prd] r_0025_0002__teaching teaching r_0025_0007__will_r_0025_0008__keep->r_0025_0002__teaching [arg0] r_0025_0002__teaching->r_0025_0003__a_r_0025_0004__man [arg2] r_0025_0005__to_r_0025_0006__fish to fish r_0025_0002__teaching->r_0025_0005__to_r_0025_0006__fish [arg1] z_000_25_a_goodwill_6 r_0025_0002__teaching->z_000_25_a_goodwill_6 [arg0] r_0025_0005__to_r_0025_0006__fish->r_0025_0003__a_r_0025_0004__man [arg0] r_0025_0001__Because Because r_0025_0001__Because->r_0025_0007__will_r_0025_0008__keep [conj1] z_000_25_a_goodwill_1 r_0025_0001__Because->z_000_25_a_goodwill_1 [conj2] 
fof(formula,axiom,
    ? [R_25_1_BECAUSE,R_25_7_WILL_KEEP,R_25_2_TEACHING,Z_25_A_GOODWILL_6,R_25_5_TO_FISH,R_25_10_FED,Z_25_A_GOODWILL_28,X_25_A_GOODWILL_27,R_25_14_LIFE,R_25_13_ENTIRE,R_25_3_A_MAN,Z_25_A_GOODWILL_1] :
      ( entire(R_25_13_ENTIRE)
      & a_man(R_25_3_A_MAN)
      & because(R_25_1_BECAUSE)
      & conj1(R_25_1_BECAUSE,R_25_7_WILL_KEEP)
      & will_keep(R_25_7_WILL_KEEP,R_25_2_TEACHING,R_25_3_A_MAN,R_25_10_FED)
      & teaching(R_25_2_TEACHING,Z_25_A_GOODWILL_6,R_25_5_TO_FISH,R_25_3_A_MAN)
      & to_fish(R_25_5_TO_FISH,R_25_3_A_MAN)
      & fed(R_25_10_FED,Z_25_A_GOODWILL_28,X_25_A_GOODWILL_27)
      & for_nim35(R_25_10_FED,R_25_14_LIFE)
      & life(R_25_14_LIFE)
      & attrib39(R_25_14_LIFE,R_25_13_ENTIRE)
      & gen(R_25_14_LIFE,R_25_3_A_MAN)
      & conj2(R_25_1_BECAUSE,Z_25_A_GOODWILL_1) ) ).


n25_a_goodwill n25_a_goodwill__1_1_1_1 Because n25_a_goodwill__1_1_2_1_1_1 teaching n25_a_goodwill__1_1_2_1_2_1_1 a n25_a_goodwill__1_1_2_1_2_2_1 man n25_a_goodwill__1_1_2_1_3_1_1 to n25_a_goodwill__1_1_2_1_3_2_1 fish n25_a_goodwill__1_1_2_2_1 will n25_a_goodwill__1_1_2_3_1_1 keep n25_a_goodwill__1_1_2_3_2_1_1 him n25_a_goodwill__1_1_2_3_3_1_1 * n25_a_goodwill__1_1_2_3_3_2_1 fed n25_a_goodwill__1_1_2_3_3_3_1_1 for n25_a_goodwill__1_1_2_3_3_3_2_1_1_1 his n25_a_goodwill__1_1_2_3_3_3_2_2_1_1 entire n25_a_goodwill__1_1_2_3_3_3_2_3_1 life n25_a_goodwill__1_2_1 . n25_a_goodwill__1 FRAG n25_a_goodwill__1_1 PP-SCON n25_a_goodwill__1->n25_a_goodwill__1_1 n25_a_goodwill__1_2 PUNC n25_a_goodwill__1->n25_a_goodwill__1_2 n25_a_goodwill__1_1_1 P-CONN n25_a_goodwill__1_1->n25_a_goodwill__1_1_1 n25_a_goodwill__1_1_2 IP-ADV n25_a_goodwill__1_1->n25_a_goodwill__1_1_2 n25_a_goodwill__1_1_1->n25_a_goodwill__1_1_1_1 n25_a_goodwill__1_1_2_1 IP-PPL-SBJ n25_a_goodwill__1_1_2->n25_a_goodwill__1_1_2_1 n25_a_goodwill__1_1_2_2 MD;_cat_Vi_ n25_a_goodwill__1_1_2->n25_a_goodwill__1_1_2_2 n25_a_goodwill__1_1_2_3 IP-INF-CAT n25_a_goodwill__1_1_2->n25_a_goodwill__1_1_2_3 n25_a_goodwill__1_1_2_1_1 VAG;_Dn.t_ n25_a_goodwill__1_1_2_1->n25_a_goodwill__1_1_2_1_1 n25_a_goodwill__1_1_2_1_2 NP-OB2 n25_a_goodwill__1_1_2_1->n25_a_goodwill__1_1_2_1_2 n25_a_goodwill__1_1_2_1_3 IP-INF-OB1 n25_a_goodwill__1_1_2_1->n25_a_goodwill__1_1_2_1_3 n25_a_goodwill__1_1_2_1_1->n25_a_goodwill__1_1_2_1_1_1 n25_a_goodwill__1_1_2_1_2_1 D n25_a_goodwill__1_1_2_1_2->n25_a_goodwill__1_1_2_1_2_1 n25_a_goodwill__1_1_2_1_2_2 N n25_a_goodwill__1_1_2_1_2->n25_a_goodwill__1_1_2_1_2_2 n25_a_goodwill__1_1_2_1_2_1->n25_a_goodwill__1_1_2_1_2_1_1 n25_a_goodwill__1_1_2_1_2_2->n25_a_goodwill__1_1_2_1_2_2_1 n25_a_goodwill__1_1_2_1_3_1 TO n25_a_goodwill__1_1_2_1_3->n25_a_goodwill__1_1_2_1_3_1 n25_a_goodwill__1_1_2_1_3_2 VB;_I_ n25_a_goodwill__1_1_2_1_3->n25_a_goodwill__1_1_2_1_3_2 n25_a_goodwill__1_1_2_1_3_1->n25_a_goodwill__1_1_2_1_3_1_1 n25_a_goodwill__1_1_2_1_3_2->n25_a_goodwill__1_1_2_1_3_2_1 n25_a_goodwill__1_1_2_2->n25_a_goodwill__1_1_2_2_1 n25_a_goodwill__1_1_2_3_1 VB;_VP24A_ n25_a_goodwill__1_1_2_3->n25_a_goodwill__1_1_2_3_1 n25_a_goodwill__1_1_2_3_2 NP-OB1 n25_a_goodwill__1_1_2_3->n25_a_goodwill__1_1_2_3_2 n25_a_goodwill__1_1_2_3_3 IP-PPL-PRD n25_a_goodwill__1_1_2_3->n25_a_goodwill__1_1_2_3_3 n25_a_goodwill__1_1_2_3_1->n25_a_goodwill__1_1_2_3_1_1 n25_a_goodwill__1_1_2_3_2_1 PRO n25_a_goodwill__1_1_2_3_2->n25_a_goodwill__1_1_2_3_2_1 n25_a_goodwill__1_1_2_3_2_1->n25_a_goodwill__1_1_2_3_2_1_1 n25_a_goodwill__1_1_2_3_3_1 NP-LGS n25_a_goodwill__1_1_2_3_3->n25_a_goodwill__1_1_2_3_3_1 n25_a_goodwill__1_1_2_3_3_2 VVN;_Tn_ n25_a_goodwill__1_1_2_3_3->n25_a_goodwill__1_1_2_3_3_2 n25_a_goodwill__1_1_2_3_3_3 PP-NIM n25_a_goodwill__1_1_2_3_3->n25_a_goodwill__1_1_2_3_3_3 n25_a_goodwill__1_1_2_3_3_1->n25_a_goodwill__1_1_2_3_3_1_1 n25_a_goodwill__1_1_2_3_3_2->n25_a_goodwill__1_1_2_3_3_2_1 n25_a_goodwill__1_1_2_3_3_3_1 P-ROLE n25_a_goodwill__1_1_2_3_3_3->n25_a_goodwill__1_1_2_3_3_3_1 n25_a_goodwill__1_1_2_3_3_3_2 NP n25_a_goodwill__1_1_2_3_3_3->n25_a_goodwill__1_1_2_3_3_3_2 n25_a_goodwill__1_1_2_3_3_3_1->n25_a_goodwill__1_1_2_3_3_3_1_1 n25_a_goodwill__1_1_2_3_3_3_2_1 NP-GEN n25_a_goodwill__1_1_2_3_3_3_2->n25_a_goodwill__1_1_2_3_3_3_2_1 n25_a_goodwill__1_1_2_3_3_3_2_2 ADJP n25_a_goodwill__1_1_2_3_3_3_2->n25_a_goodwill__1_1_2_3_3_3_2_2 n25_a_goodwill__1_1_2_3_3_3_2_3 N n25_a_goodwill__1_1_2_3_3_3_2->n25_a_goodwill__1_1_2_3_3_3_2_3 n25_a_goodwill__1_1_2_3_3_3_2_1_1 PRO;_genm_ n25_a_goodwill__1_1_2_3_3_3_2_1->n25_a_goodwill__1_1_2_3_3_3_2_1_1 n25_a_goodwill__1_1_2_3_3_3_2_1_1->n25_a_goodwill__1_1_2_3_3_3_2_1_1_1 n25_a_goodwill__1_1_2_3_3_3_2_2_1 ADJ n25_a_goodwill__1_1_2_3_3_3_2_2->n25_a_goodwill__1_1_2_3_3_3_2_2_1 n25_a_goodwill__1_1_2_3_3_3_2_2_1->n25_a_goodwill__1_1_2_3_3_3_2_2_1_1 n25_a_goodwill__1_1_2_3_3_3_2_3->n25_a_goodwill__1_1_2_3_3_3_2_3_1 n25_a_goodwill__1_2->n25_a_goodwill__1_2_1 
( (FRAG (PP-SCON (P-CONN Because;{because})
                 (IP-ADV (IP-PPL-SBJ (VAG;_Dn.t_ teaching;{teach})
                                     (NP-OB2;{PERSON} (D a;{a})
                                                      (N man;{man}))
                                     (IP-INF-OB1 (TO to;{to})
                                                 (VB;_I_ fish;{fish})))
                         (MD;_cat_Vi_ will;{will})
                         (IP-INF-CAT (VB;_VP24A_ keep;{keep})
                                     (NP-OB1;{PERSON} (PRO him;{he}))
                                     (IP-PPL-PRD (NP-LGS *)
                                                 (VVN;_Tn_ fed;{feed})
                                                 (PP-NIM (P-ROLE for;{for})
                                                         (NP (NP-GEN;{PERSON} (PRO;_genm_ his;{his}))
                                                             (ADJP (ADJ entire;{entire}))
                                                             (N life;{life})))))))
        (PUNC .))
  (ID 25_a_goodwill))