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,
    ? [R_0041_0001__GOOD,R_0041_0003__BAD,R_0041_0002__OR,Z_000_41_A_DICK_1952_1] :
      ( r_0041_0001__Good(R_0041_0001__GOOD)
      & r_0041_0003__bad(R_0041_0003__BAD)
      & z_000_41_a_dick_1952_1(Z_000_41_A_DICK_1952_1)
      & has_attrib2(Z_000_41_A_DICK_1952_1,R_0041_0002__OR)
      & r_0041_0002__or(R_0041_0002__OR)
      & has_conj2(R_0041_0002__OR,R_0041_0003__BAD)
      & has_conj1(R_0041_0002__OR,R_0041_0001__GOOD) ) ).


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))