Context                Previous, Next                Top


32_a_goodwill
I appreciate everything that Goodwill has done for me.” — Cornell

%3 r_0032_0002__appreciate appreciate r_0032_0001__I I r_0032_0002__appreciate->r_0032_0001__I [arg0] z_000_32_a_goodwill_7 r_0032_0002__appreciate->z_000_32_a_goodwill_7 [arg1] r_0032_0003__everything_quant everything [quant] r_0032_0003__everything_quant->r_0032_0002__appreciate [scope] r_0032_0003__everything_quant->z_000_32_a_goodwill_7 [restriction] r_0032_0004__that_r_0032_0006__has that has r_0032_0007__done done r_0032_0004__that_r_0032_0006__has->r_0032_0007__done [scope] r_0032_0007__done->r_0032_0001__I for [nim] r_0032_0007__done->z_000_32_a_goodwill_7 [arg1] r_0032_0005__Goodwill Goodwill r_0032_0007__done->r_0032_0005__Goodwill [arg0] 
arc(r_0032_0002__appreciate, r_0032_0001__I, arg0).
arc(r_0032_0002__appreciate, z_000_32_a_goodwill_7, arg1).
arc(r_0032_0003__everything_quant, r_0032_0002__appreciate, scope).
arc(r_0032_0003__everything_quant, z_000_32_a_goodwill_7, restriction).
arc(r_0032_0004__that_r_0032_0006__has, r_0032_0007__done, scope).
arc(r_0032_0007__done, r_0032_0001__I, r_0032_0008__for_nim26).
arc(r_0032_0007__done, r_0032_0005__Goodwill, arg0).
arc(r_0032_0007__done, z_000_32_a_goodwill_7, arg1).


%3 r_0032_0002__appreciate appreciate r_0032_0001__I I r_0032_0002__appreciate->r_0032_0001__I [arg0] z_000_32_a_goodwill_7 r_0032_0002__appreciate->z_000_32_a_goodwill_7 [arg1] r_0032_0003__everything_quant everything [quant] r_0032_0003__everything_quant->r_0032_0002__appreciate [scope] r_0032_0004__that_r_0032_0006__has_r_0032_0007__done that has done r_0032_0003__everything_quant->r_0032_0004__that_r_0032_0006__has_r_0032_0007__done [restriction] r_0032_0004__that_r_0032_0006__has_r_0032_0007__done->r_0032_0001__I for [nim] r_0032_0004__that_r_0032_0006__has_r_0032_0007__done->z_000_32_a_goodwill_7 [arg1] r_0032_0005__Goodwill Goodwill r_0032_0004__that_r_0032_0006__has_r_0032_0007__done->r_0032_0005__Goodwill [arg0] 
fof(formula,axiom,
    ! [R_32_4_THAT_HAS_DONE,R_32_5_GOODWILL,Z_32_A_GOODWILL_7,R_32_1_I] :
      ( ( goodwill(R_32_5_GOODWILL)
        & i(R_32_1_I)
        & that_has_done(R_32_4_THAT_HAS_DONE,R_32_5_GOODWILL,Z_32_A_GOODWILL_7)
        & for_nim26(R_32_4_THAT_HAS_DONE,R_32_1_I) )
     => ? [R_32_2_APPRECIATE] : appreciate(R_32_2_APPRECIATE,R_32_1_I,Z_32_A_GOODWILL_7) ) ).


n32_a_goodwill n32_a_goodwill_4 I n32_a_goodwill_6 appreciate n32_a_goodwill_9 everything n32_a_goodwill_12 that n32_a_goodwill_15 Goodwill n32_a_goodwill_17 has n32_a_goodwill_20 *T* n32_a_goodwill_22 done n32_a_goodwill_25 for n32_a_goodwill_28 me n32_a_goodwill_30 . n32_a_goodwill_32 <rdquo> n32_a_goodwill_35 <mdash> n32_a_goodwill_38 Cornell n32_a_goodwill_1 IP-MAT n32_a_goodwill_2 NP-SBJ n32_a_goodwill_1->n32_a_goodwill_2 n32_a_goodwill_5 VBP;_Tn_ n32_a_goodwill_1->n32_a_goodwill_5 n32_a_goodwill_7 NP-OB1 n32_a_goodwill_1->n32_a_goodwill_7 n32_a_goodwill_29 PUNC n32_a_goodwill_1->n32_a_goodwill_29 n32_a_goodwill_31 PURQ n32_a_goodwill_1->n32_a_goodwill_31 n32_a_goodwill_33 META n32_a_goodwill_1->n32_a_goodwill_33 n32_a_goodwill_3 PRO n32_a_goodwill_2->n32_a_goodwill_3 n32_a_goodwill_3->n32_a_goodwill_4 n32_a_goodwill_5->n32_a_goodwill_6 n32_a_goodwill_8 Q;_nphd_ n32_a_goodwill_7->n32_a_goodwill_8 n32_a_goodwill_10 IP-REL n32_a_goodwill_7->n32_a_goodwill_10 n32_a_goodwill_8->n32_a_goodwill_9 n32_a_goodwill_11 C n32_a_goodwill_10->n32_a_goodwill_11 n32_a_goodwill_13 NP-SBJ n32_a_goodwill_10->n32_a_goodwill_13 n32_a_goodwill_16 HVP;_cat_Ve_ n32_a_goodwill_10->n32_a_goodwill_16 n32_a_goodwill_18 IP-PPL-CAT n32_a_goodwill_10->n32_a_goodwill_18 n32_a_goodwill_11->n32_a_goodwill_12 n32_a_goodwill_14 NPR n32_a_goodwill_13->n32_a_goodwill_14 n32_a_goodwill_14->n32_a_goodwill_15 n32_a_goodwill_16->n32_a_goodwill_17 n32_a_goodwill_19 NP-OB1 n32_a_goodwill_18->n32_a_goodwill_19 n32_a_goodwill_21 DON;_Tn_ n32_a_goodwill_18->n32_a_goodwill_21 n32_a_goodwill_23 PP-NIM n32_a_goodwill_18->n32_a_goodwill_23 n32_a_goodwill_19->n32_a_goodwill_20 n32_a_goodwill_21->n32_a_goodwill_22 n32_a_goodwill_24 P-ROLE n32_a_goodwill_23->n32_a_goodwill_24 n32_a_goodwill_26 NP n32_a_goodwill_23->n32_a_goodwill_26 n32_a_goodwill_24->n32_a_goodwill_25 n32_a_goodwill_27 PRO n32_a_goodwill_26->n32_a_goodwill_27 n32_a_goodwill_27->n32_a_goodwill_28 n32_a_goodwill_29->n32_a_goodwill_30 n32_a_goodwill_31->n32_a_goodwill_32 n32_a_goodwill_34 PUNC n32_a_goodwill_33->n32_a_goodwill_34 n32_a_goodwill_36 NP n32_a_goodwill_33->n32_a_goodwill_36 n32_a_goodwill_34->n32_a_goodwill_35 n32_a_goodwill_37 NPR n32_a_goodwill_36->n32_a_goodwill_37 n32_a_goodwill_37->n32_a_goodwill_38 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tn_ appreciate;{appreciate})
          (NP-OB1 (Q;_nphd_ everything;{everything})
                  (IP-REL (C that;{that})
                          (NP-SBJ;{GOODWILL} (NPR Goodwill;{Goodwill}))
                          (HVP;_cat_Ve_ has;{have})
                          (IP-PPL-CAT (NP-OB1 *T*)
                                      (DON;_Tn_ done;{do})
                                      (PP-NIM (P-ROLE for;{for})
                                              (NP (PRO me;{I}))))))
          (PUNC .)
          (PURQ <rdquo>)
          (META (PUNC <mdash>)
                (NP (NPR Cornell;{Cornell}))))
  (ID 32_a_goodwill))