Context                Previous, Next                Top


59_a_paulfellows
Why change a good plan eh?

%3 r_0059_0002__change_r_0059_0006__eh change eh r_0059_0001__Why Why r_0059_0002__change_r_0059_0006__eh->r_0059_0001__Why [nim] r_0059_0003__a_r_0059_0005__plan a plan r_0059_0002__change_r_0059_0006__eh->r_0059_0003__a_r_0059_0005__plan [arg1] r_0059_0004__good good r_0059_0003__a_r_0059_0005__plan->r_0059_0004__good [attrib] 
arc(r_0059_0002__change_r_0059_0006__eh, r_0059_0001__Why, nim3).
arc(r_0059_0002__change_r_0059_0006__eh, r_0059_0003__a_r_0059_0005__plan, arg1).
arc(r_0059_0003__a_r_0059_0005__plan, r_0059_0004__good, attrib11).


%3 r_0059_0003__a_r_0059_0005__plan a plan r_0059_0004__good good r_0059_0003__a_r_0059_0005__plan->r_0059_0004__good [attrib] r_0059_0002__change_r_0059_0006__eh change eh r_0059_0002__change_r_0059_0006__eh->r_0059_0003__a_r_0059_0005__plan [arg1] r_0059_0001__Why Why r_0059_0002__change_r_0059_0006__eh->r_0059_0001__Why [nim] 
fof(formula,axiom,
    ? [R_59_2_CHANGE_EH,R_59_3_A_PLAN,R_59_4_GOOD,R_59_1_WHY] :
      ( good(R_59_4_GOOD)
      & why(R_59_1_WHY)
      & change_eh(R_59_2_CHANGE_EH)
      & arg1(R_59_2_CHANGE_EH,R_59_3_A_PLAN)
      & a_plan(R_59_3_A_PLAN)
      & attrib11(R_59_3_A_PLAN,R_59_4_GOOD)
      & nim3(R_59_2_CHANGE_EH,R_59_1_WHY) ) ).


n59_a_paulfellows n59_a_paulfellows__1_1_1_1_1 Why n59_a_paulfellows__1_1_2_1 change n59_a_paulfellows__1_1_3_1_1 a n59_a_paulfellows__1_1_3_2_1_1 good n59_a_paulfellows__1_1_3_3_1 plan n59_a_paulfellows__1_1_4_1 eh n59_a_paulfellows__1_2_1 ? n59_a_paulfellows__1 CP-QUE-MAT n59_a_paulfellows__1_1 IP-SUB n59_a_paulfellows__1->n59_a_paulfellows__1_1 n59_a_paulfellows__1_2 PUNC n59_a_paulfellows__1->n59_a_paulfellows__1_2 n59_a_paulfellows__1_1_1 ADVP-NIM n59_a_paulfellows__1_1->n59_a_paulfellows__1_1_1 n59_a_paulfellows__1_1_2 VB;__ n59_a_paulfellows__1_1->n59_a_paulfellows__1_1_2 n59_a_paulfellows__1_1_3 NP-OB1 n59_a_paulfellows__1_1->n59_a_paulfellows__1_1_3 n59_a_paulfellows__1_1_4 INTJ n59_a_paulfellows__1_1->n59_a_paulfellows__1_1_4 n59_a_paulfellows__1_1_1_1 WADV n59_a_paulfellows__1_1_1->n59_a_paulfellows__1_1_1_1 n59_a_paulfellows__1_1_1_1->n59_a_paulfellows__1_1_1_1_1 n59_a_paulfellows__1_1_2->n59_a_paulfellows__1_1_2_1 n59_a_paulfellows__1_1_3_1 D n59_a_paulfellows__1_1_3->n59_a_paulfellows__1_1_3_1 n59_a_paulfellows__1_1_3_2 ADJP n59_a_paulfellows__1_1_3->n59_a_paulfellows__1_1_3_2 n59_a_paulfellows__1_1_3_3 N n59_a_paulfellows__1_1_3->n59_a_paulfellows__1_1_3_3 n59_a_paulfellows__1_1_3_1->n59_a_paulfellows__1_1_3_1_1 n59_a_paulfellows__1_1_3_2_1 ADJ n59_a_paulfellows__1_1_3_2->n59_a_paulfellows__1_1_3_2_1 n59_a_paulfellows__1_1_3_2_1->n59_a_paulfellows__1_1_3_2_1_1 n59_a_paulfellows__1_1_3_3->n59_a_paulfellows__1_1_3_3_1 n59_a_paulfellows__1_1_4->n59_a_paulfellows__1_1_4_1 n59_a_paulfellows__1_2->n59_a_paulfellows__1_2_1 
( (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Why;{why}))
                      (VB;__ change;{change})
                      (NP-OB1 (D a;{a})
                              (ADJP (ADJ good;{good}))
                              (N plan;{plan}))
                      (INTJ eh))
              (PUNC ?))
  (ID 59_a_paulfellows))