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 z_000_41_a_dick_1952_1 r_0041_0002__or or z_000_41_a_dick_1952_1->r_0041_0002__or [attrib] r_0041_0003__bad bad r_0041_0002__or->r_0041_0003__bad [conj2] r_0041_0001__Good Good r_0041_0002__or->r_0041_0001__Good [conj1] 
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__1_1_1_1_1_1 Good n41_a_dick_1952__1_1_1_2_1_1 or n41_a_dick_1952__1_1_1_2_2_1_1 bad n41_a_dick_1952__1_2_1 ? n41_a_dick_1952__1_3_1 <rdquo> n41_a_dick_1952__1 FRAG n41_a_dick_1952__1_1 ADJP n41_a_dick_1952__1->n41_a_dick_1952__1_1 n41_a_dick_1952__1_2 PUNC n41_a_dick_1952__1->n41_a_dick_1952__1_2 n41_a_dick_1952__1_3 PURQ n41_a_dick_1952__1->n41_a_dick_1952__1_3 n41_a_dick_1952__1_1_1 AJLYR n41_a_dick_1952__1_1->n41_a_dick_1952__1_1_1 n41_a_dick_1952__1_1_1_1 AJLYR n41_a_dick_1952__1_1_1->n41_a_dick_1952__1_1_1_1 n41_a_dick_1952__1_1_1_2 CONJP n41_a_dick_1952__1_1_1->n41_a_dick_1952__1_1_1_2 n41_a_dick_1952__1_1_1_1_1 ADJ n41_a_dick_1952__1_1_1_1->n41_a_dick_1952__1_1_1_1_1 n41_a_dick_1952__1_1_1_1_1->n41_a_dick_1952__1_1_1_1_1_1 n41_a_dick_1952__1_1_1_2_1 CONJ n41_a_dick_1952__1_1_1_2->n41_a_dick_1952__1_1_1_2_1 n41_a_dick_1952__1_1_1_2_2 AJLYR n41_a_dick_1952__1_1_1_2->n41_a_dick_1952__1_1_1_2_2 n41_a_dick_1952__1_1_1_2_1->n41_a_dick_1952__1_1_1_2_1_1 n41_a_dick_1952__1_1_1_2_2_1 ADJ n41_a_dick_1952__1_1_1_2_2->n41_a_dick_1952__1_1_1_2_2_1 n41_a_dick_1952__1_1_1_2_2_1->n41_a_dick_1952__1_1_1_2_2_1_1 n41_a_dick_1952__1_2->n41_a_dick_1952__1_2_1 n41_a_dick_1952__1_3->n41_a_dick_1952__1_3_1 
( (FRAG (ADJP (AJLYR (AJLYR (ADJ Good;{good}))
                     (CONJP (CONJ or;{or})
                            (AJLYR (ADJ bad;{bad})))))
        (PUNC ?)
        (PURQ <rdquo>))
  (ID 41_a_dick_1952))