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_0004__that_r_0032_0006__has_r_0032_0007__done that has done z_000_32_a_goodwill_7 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] r_0032_0001__I I r_0032_0004__that_r_0032_0006__has_r_0032_0007__done->r_0032_0001__I for [nim] r_0032_0003__everything_quant everything [quant] r_0032_0003__everything_quant->r_0032_0004__that_r_0032_0006__has_r_0032_0007__done [restriction] r_0032_0002__appreciate appreciate r_0032_0003__everything_quant->r_0032_0002__appreciate [scope] r_0032_0002__appreciate->z_000_32_a_goodwill_7 [arg1] r_0032_0002__appreciate->r_0032_0001__I [arg0] 
fof(formula,axiom,
    ! [Z_000_32_A_GOODWILL_7,R_0032_0001__I,R_0032_0005__GOODWILL,R_0032_0004__THAT_R_0032_0006__HAS_R_0032_0007__DONE] :
      ( ( r_0032_0001__I(R_0032_0001__I)
        & r_0032_0005__Goodwill(R_0032_0005__GOODWILL)
        & z_000_32_a_goodwill_7(Z_000_32_A_GOODWILL_7)
        & r_0032_0004__that_r_0032_0006__has_r_0032_0007__done(R_0032_0004__THAT_R_0032_0006__HAS_R_0032_0007__DONE)
        & has_arg1(R_0032_0004__THAT_R_0032_0006__HAS_R_0032_0007__DONE,Z_000_32_A_GOODWILL_7)
        & has_arg0(R_0032_0004__THAT_R_0032_0006__HAS_R_0032_0007__DONE,R_0032_0005__GOODWILL)
        & has_r_0032_0008__for_nim26(R_0032_0004__THAT_R_0032_0006__HAS_R_0032_0007__DONE,R_0032_0001__I) )
     => ? [R_0032_0002__APPRECIATE] :
          ( r_0032_0002__appreciate(R_0032_0002__APPRECIATE)
          & has_arg1(R_0032_0002__APPRECIATE,Z_000_32_A_GOODWILL_7)
          & has_arg0(R_0032_0002__APPRECIATE,R_0032_0001__I) ) ) ).


n32_a_goodwill n32_a_goodwill__1_1_1_1 I n32_a_goodwill__1_2_1 appreciate n32_a_goodwill__1_3_1_1 everything n32_a_goodwill__1_3_2_1_1 that n32_a_goodwill__1_3_2_2_1_1 Goodwill n32_a_goodwill__1_3_2_3_1 has n32_a_goodwill__1_3_2_4_1_1 *T* n32_a_goodwill__1_3_2_4_2_1 done n32_a_goodwill__1_3_2_4_3_1_1 for n32_a_goodwill__1_3_2_4_3_2_1_1 me n32_a_goodwill__1_4_1 . n32_a_goodwill__1_5_1 <rdquo> n32_a_goodwill__1_6_1_1 <mdash> n32_a_goodwill__1_6_2_1_1 Cornell n32_a_goodwill__1 IP-MAT n32_a_goodwill__1_1 NP-SBJ n32_a_goodwill__1->n32_a_goodwill__1_1 n32_a_goodwill__1_2 VBP;_Tn_ n32_a_goodwill__1->n32_a_goodwill__1_2 n32_a_goodwill__1_3 NP-OB1 n32_a_goodwill__1->n32_a_goodwill__1_3 n32_a_goodwill__1_4 PUNC n32_a_goodwill__1->n32_a_goodwill__1_4 n32_a_goodwill__1_5 PURQ n32_a_goodwill__1->n32_a_goodwill__1_5 n32_a_goodwill__1_6 META n32_a_goodwill__1->n32_a_goodwill__1_6 n32_a_goodwill__1_1_1 PRO n32_a_goodwill__1_1->n32_a_goodwill__1_1_1 n32_a_goodwill__1_1_1->n32_a_goodwill__1_1_1_1 n32_a_goodwill__1_2->n32_a_goodwill__1_2_1 n32_a_goodwill__1_3_1 Q;_nphd_ n32_a_goodwill__1_3->n32_a_goodwill__1_3_1 n32_a_goodwill__1_3_2 IP-REL n32_a_goodwill__1_3->n32_a_goodwill__1_3_2 n32_a_goodwill__1_3_1->n32_a_goodwill__1_3_1_1 n32_a_goodwill__1_3_2_1 C n32_a_goodwill__1_3_2->n32_a_goodwill__1_3_2_1 n32_a_goodwill__1_3_2_2 NP-SBJ n32_a_goodwill__1_3_2->n32_a_goodwill__1_3_2_2 n32_a_goodwill__1_3_2_3 HVP;_cat_Ve_ n32_a_goodwill__1_3_2->n32_a_goodwill__1_3_2_3 n32_a_goodwill__1_3_2_4 IP-PPL-CAT n32_a_goodwill__1_3_2->n32_a_goodwill__1_3_2_4 n32_a_goodwill__1_3_2_1->n32_a_goodwill__1_3_2_1_1 n32_a_goodwill__1_3_2_2_1 NPR n32_a_goodwill__1_3_2_2->n32_a_goodwill__1_3_2_2_1 n32_a_goodwill__1_3_2_2_1->n32_a_goodwill__1_3_2_2_1_1 n32_a_goodwill__1_3_2_3->n32_a_goodwill__1_3_2_3_1 n32_a_goodwill__1_3_2_4_1 NP-OB1 n32_a_goodwill__1_3_2_4->n32_a_goodwill__1_3_2_4_1 n32_a_goodwill__1_3_2_4_2 DON;_Tn_ n32_a_goodwill__1_3_2_4->n32_a_goodwill__1_3_2_4_2 n32_a_goodwill__1_3_2_4_3 PP-NIM n32_a_goodwill__1_3_2_4->n32_a_goodwill__1_3_2_4_3 n32_a_goodwill__1_3_2_4_1->n32_a_goodwill__1_3_2_4_1_1 n32_a_goodwill__1_3_2_4_2->n32_a_goodwill__1_3_2_4_2_1 n32_a_goodwill__1_3_2_4_3_1 P-ROLE n32_a_goodwill__1_3_2_4_3->n32_a_goodwill__1_3_2_4_3_1 n32_a_goodwill__1_3_2_4_3_2 NP n32_a_goodwill__1_3_2_4_3->n32_a_goodwill__1_3_2_4_3_2 n32_a_goodwill__1_3_2_4_3_1->n32_a_goodwill__1_3_2_4_3_1_1 n32_a_goodwill__1_3_2_4_3_2_1 PRO n32_a_goodwill__1_3_2_4_3_2->n32_a_goodwill__1_3_2_4_3_2_1 n32_a_goodwill__1_3_2_4_3_2_1->n32_a_goodwill__1_3_2_4_3_2_1_1 n32_a_goodwill__1_4->n32_a_goodwill__1_4_1 n32_a_goodwill__1_5->n32_a_goodwill__1_5_1 n32_a_goodwill__1_6_1 PUNC n32_a_goodwill__1_6->n32_a_goodwill__1_6_1 n32_a_goodwill__1_6_2 NP n32_a_goodwill__1_6->n32_a_goodwill__1_6_2 n32_a_goodwill__1_6_1->n32_a_goodwill__1_6_1_1 n32_a_goodwill__1_6_2_1 NPR n32_a_goodwill__1_6_2->n32_a_goodwill__1_6_2_1 n32_a_goodwill__1_6_2_1->n32_a_goodwill__1_6_2_1_1 
( (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))