Context                Previous, Next                Top


258_a_dick_1952
“More wasted time.

%3 r_0258_0003__wasted wasted r_0258_0004__time time r_0258_0003__wasted->r_0258_0004__time [arg1] z_000_258_a_dick_1952_9 r_0258_0003__wasted->z_000_258_a_dick_1952_9 [arg0] r_0258_0002__More More r_0258_0004__time->r_0258_0002__More [attrib] z_000_258_a_dick_1952_1 z_000_258_a_dick_1952_1->r_0258_0004__time [nim] 
arc(r_0258_0003__wasted, r_0258_0004__time, arg1).
arc(r_0258_0003__wasted, z_000_258_a_dick_1952_9, arg0).
arc(r_0258_0004__time, r_0258_0002__More, attrib5).
arc(z_000_258_a_dick_1952_1, r_0258_0004__time, nim4).


%3 z_000_258_a_dick_1952_1 r_0258_0004__time time z_000_258_a_dick_1952_1->r_0258_0004__time [nim] r_0258_0002__More More r_0258_0004__time->r_0258_0002__More [attrib] r_0258_0003__wasted wasted r_0258_0003__wasted->r_0258_0004__time [arg1] z_000_258_a_dick_1952_9 r_0258_0003__wasted->z_000_258_a_dick_1952_9 [arg0] 
fof(formula,axiom,
    ? [R_0258_0002__MORE,R_0258_0004__TIME,Z_000_258_A_DICK_1952_9,R_0258_0003__WASTED,Z_000_258_A_DICK_1952_1] :
      ( r_0258_0002__More(R_0258_0002__MORE)
      & z_000_258_a_dick_1952_9(Z_000_258_A_DICK_1952_9)
      & z_000_258_a_dick_1952_1(Z_000_258_A_DICK_1952_1)
      & has_nim4(Z_000_258_A_DICK_1952_1,R_0258_0004__TIME)
      & r_0258_0004__time(R_0258_0004__TIME)
      & has_attrib5(R_0258_0004__TIME,R_0258_0002__MORE)
      & r_0258_0003__wasted(R_0258_0003__WASTED)
      & has_arg0(R_0258_0003__WASTED,Z_000_258_A_DICK_1952_9)
      & has_arg1(R_0258_0003__WASTED,R_0258_0004__TIME) ) ).


n258_a_dick_1952 n258_a_dick_1952__1_1_1 <ldquo> n258_a_dick_1952__1_2_1_1_1 More n258_a_dick_1952__1_2_2_1_1 * n258_a_dick_1952__1_2_2_2_1 wasted n258_a_dick_1952__1_2_3_1 time n258_a_dick_1952__1_3_1 . n258_a_dick_1952__1 FRAG n258_a_dick_1952__1_1 PULQ n258_a_dick_1952__1->n258_a_dick_1952__1_1 n258_a_dick_1952__1_2 NP n258_a_dick_1952__1->n258_a_dick_1952__1_2 n258_a_dick_1952__1_3 PUNC n258_a_dick_1952__1->n258_a_dick_1952__1_3 n258_a_dick_1952__1_1->n258_a_dick_1952__1_1_1 n258_a_dick_1952__1_2_1 ADJP n258_a_dick_1952__1_2->n258_a_dick_1952__1_2_1 n258_a_dick_1952__1_2_2 IP-PPL n258_a_dick_1952__1_2->n258_a_dick_1952__1_2_2 n258_a_dick_1952__1_2_3 N n258_a_dick_1952__1_2->n258_a_dick_1952__1_2_3 n258_a_dick_1952__1_2_1_1 ADJR n258_a_dick_1952__1_2_1->n258_a_dick_1952__1_2_1_1 n258_a_dick_1952__1_2_1_1->n258_a_dick_1952__1_2_1_1_1 n258_a_dick_1952__1_2_2_1 NP-LGS n258_a_dick_1952__1_2_2->n258_a_dick_1952__1_2_2_1 n258_a_dick_1952__1_2_2_2 VVN;_Tn_ n258_a_dick_1952__1_2_2->n258_a_dick_1952__1_2_2_2 n258_a_dick_1952__1_2_2_1->n258_a_dick_1952__1_2_2_1_1 n258_a_dick_1952__1_2_2_2->n258_a_dick_1952__1_2_2_2_1 n258_a_dick_1952__1_2_3->n258_a_dick_1952__1_2_3_1 n258_a_dick_1952__1_3->n258_a_dick_1952__1_3_1 
( (FRAG (PULQ <ldquo>)
        (NP (ADJP (ADJR More;{more}))
            (IP-PPL (NP-LGS *)
                    (VVN;_Tn_ wasted;{waste}))
            (N time;{time}))
        (PUNC .))
  (ID 258_a_dick_1952))