Context                Previous, Next                Top


428_a_dick_1952
“Or is it?”

%3 r_0428_0002__Or_r_0428_0003__is Or is r_0428_0004__it it r_0428_0002__Or_r_0428_0003__is->r_0428_0004__it [arg0] r_0428_1001____star__ * r_0428_0002__Or_r_0428_0003__is->r_0428_1001____star__ [prd] 
arc(r_0428_0002__Or_r_0428_0003__is, r_0428_0004__it, arg0).
arc(r_0428_0002__Or_r_0428_0003__is, r_0428_1001____star__, prd).


%3 r_0428_0002__Or_r_0428_0003__is Or is r_0428_0004__it it r_0428_0002__Or_r_0428_0003__is->r_0428_0004__it [arg0] r_0428_1001____star__ * r_0428_0002__Or_r_0428_0003__is->r_0428_1001____star__ [prd] 
fof(formula,axiom,
    ? [R_428_2_OR_IS,R_428_4_IT,R_428_1001__STAR_] :
      ( it(R_428_4_IT)
      & _star_(R_428_1001__STAR_)
      & or_is(R_428_2_OR_IS,R_428_4_IT,R_428_1001__STAR_) ) ).


n428_a_dick_1952 n428_a_dick_1952_3 <ldquo> n428_a_dick_1952_5 Or n428_a_dick_1952_7 is n428_a_dick_1952_10 it n428_a_dick_1952_13 _*_ n428_a_dick_1952_15 ? n428_a_dick_1952_17 <rdquo> n428_a_dick_1952_1 IP-MAT n428_a_dick_1952_2 PULQ n428_a_dick_1952_1->n428_a_dick_1952_2 n428_a_dick_1952_4 CONJ;_cl_ n428_a_dick_1952_1->n428_a_dick_1952_4 n428_a_dick_1952_6 BEP;_La_ n428_a_dick_1952_1->n428_a_dick_1952_6 n428_a_dick_1952_8 NP-SBJ n428_a_dick_1952_1->n428_a_dick_1952_8 n428_a_dick_1952_11 ADJP-PRD n428_a_dick_1952_1->n428_a_dick_1952_11 n428_a_dick_1952_14 PUNC n428_a_dick_1952_1->n428_a_dick_1952_14 n428_a_dick_1952_16 PURQ n428_a_dick_1952_1->n428_a_dick_1952_16 n428_a_dick_1952_2->n428_a_dick_1952_3 n428_a_dick_1952_4->n428_a_dick_1952_5 n428_a_dick_1952_6->n428_a_dick_1952_7 n428_a_dick_1952_9 PRO n428_a_dick_1952_8->n428_a_dick_1952_9 n428_a_dick_1952_9->n428_a_dick_1952_10 n428_a_dick_1952_12 ADJ n428_a_dick_1952_11->n428_a_dick_1952_12 n428_a_dick_1952_12->n428_a_dick_1952_13 n428_a_dick_1952_14->n428_a_dick_1952_15 n428_a_dick_1952_16->n428_a_dick_1952_17 
( (IP-MAT (PULQ <ldquo>)
          (CONJ;_cl_ Or;{or})
          (BEP;_La_ is;{be})
          (NP-SBJ (PRO it;{it}))
          (ADJP-PRD (ADJ _*_))
          (PUNC ?)
          (PURQ <rdquo>))
  (ID 428_a_dick_1952))