Context                Previous, Next                Top


41_a_dick_1952
Good or bad?”

%3 r_0041_0002__or or r_0041_0001__Good Good r_0041_0002__or->r_0041_0001__Good [conj1] r_0041_0003__bad bad r_0041_0002__or->r_0041_0003__bad [conj2] z_000_41_a_dick_1952_1 z_000_41_a_dick_1952_1->r_0041_0002__or [attrib] 
arc(r_0041_0002__or, r_0041_0001__Good, conj1).
arc(r_0041_0002__or, r_0041_0003__bad, conj2).
arc(z_000_41_a_dick_1952_1, r_0041_0002__or, attrib2).


%3 r_0041_0002__or or r_0041_0001__Good Good r_0041_0002__or->r_0041_0001__Good [conj1] r_0041_0003__bad bad r_0041_0002__or->r_0041_0003__bad [conj2] z_000_41_a_dick_1952_1 z_000_41_a_dick_1952_1->r_0041_0002__or [attrib] 
fof(formula,axiom,
    ? [Z_41_A_DICK_1952_1,R_41_2_OR,R_41_1_GOOD,R_41_3_BAD] :
      ( good(R_41_1_GOOD)
      & bad(R_41_3_BAD)
      & z_41_a_dick_1952_1(Z_41_A_DICK_1952_1)
      & attrib2(Z_41_A_DICK_1952_1,R_41_2_OR)
      & or(R_41_2_OR)
      & conj1(R_41_2_OR,R_41_1_GOOD)
      & conj2(R_41_2_OR,R_41_3_BAD) ) ).


n41_a_dick_1952 n41_a_dick_1952_6 Good n41_a_dick_1952_9 or n41_a_dick_1952_12 bad n41_a_dick_1952_14 ? n41_a_dick_1952_16 <rdquo> n41_a_dick_1952_1 FRAG n41_a_dick_1952_2 ADJP n41_a_dick_1952_1->n41_a_dick_1952_2 n41_a_dick_1952_13 PUNC n41_a_dick_1952_1->n41_a_dick_1952_13 n41_a_dick_1952_15 PURQ n41_a_dick_1952_1->n41_a_dick_1952_15 n41_a_dick_1952_3 AJLYR n41_a_dick_1952_2->n41_a_dick_1952_3 n41_a_dick_1952_4 AJLYR n41_a_dick_1952_3->n41_a_dick_1952_4 n41_a_dick_1952_7 CONJP n41_a_dick_1952_3->n41_a_dick_1952_7 n41_a_dick_1952_5 ADJ n41_a_dick_1952_4->n41_a_dick_1952_5 n41_a_dick_1952_5->n41_a_dick_1952_6 n41_a_dick_1952_8 CONJ n41_a_dick_1952_7->n41_a_dick_1952_8 n41_a_dick_1952_10 AJLYR n41_a_dick_1952_7->n41_a_dick_1952_10 n41_a_dick_1952_8->n41_a_dick_1952_9 n41_a_dick_1952_11 ADJ n41_a_dick_1952_10->n41_a_dick_1952_11 n41_a_dick_1952_11->n41_a_dick_1952_12 n41_a_dick_1952_13->n41_a_dick_1952_14 n41_a_dick_1952_15->n41_a_dick_1952_16 
( (FRAG (ADJP (AJLYR (AJLYR (ADJ Good;{good}))
                     (CONJP (CONJ or;{or})
                            (AJLYR (ADJ bad;{bad})))))
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 41_a_dick_1952))