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 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] 
fof(formula,axiom,
    ? [R_258_3_WASTED,Z_258_A_DICK_1952_9,Z_258_A_DICK_1952_1,R_258_4_TIME,R_258_2_MORE] :
      ( more(R_258_2_MORE)
      & wasted(R_258_3_WASTED,Z_258_A_DICK_1952_9,R_258_4_TIME)
      & time(R_258_4_TIME)
      & attrib5(R_258_4_TIME,R_258_2_MORE)
      & z_258_a_dick_1952_1(Z_258_A_DICK_1952_1)
      & nim4(Z_258_A_DICK_1952_1,R_258_4_TIME) ) ).


n258_a_dick_1952 n258_a_dick_1952_3 <ldquo> n258_a_dick_1952_7 More n258_a_dick_1952_10 * n258_a_dick_1952_12 wasted n258_a_dick_1952_14 time n258_a_dick_1952_16 . n258_a_dick_1952_1 FRAG n258_a_dick_1952_2 PULQ n258_a_dick_1952_1->n258_a_dick_1952_2 n258_a_dick_1952_4 NP n258_a_dick_1952_1->n258_a_dick_1952_4 n258_a_dick_1952_15 PUNC n258_a_dick_1952_1->n258_a_dick_1952_15 n258_a_dick_1952_2->n258_a_dick_1952_3 n258_a_dick_1952_5 ADJP n258_a_dick_1952_4->n258_a_dick_1952_5 n258_a_dick_1952_8 IP-PPL n258_a_dick_1952_4->n258_a_dick_1952_8 n258_a_dick_1952_13 N n258_a_dick_1952_4->n258_a_dick_1952_13 n258_a_dick_1952_6 ADJR n258_a_dick_1952_5->n258_a_dick_1952_6 n258_a_dick_1952_6->n258_a_dick_1952_7 n258_a_dick_1952_9 NP-LGS n258_a_dick_1952_8->n258_a_dick_1952_9 n258_a_dick_1952_11 VVN;_Tn_ n258_a_dick_1952_8->n258_a_dick_1952_11 n258_a_dick_1952_9->n258_a_dick_1952_10 n258_a_dick_1952_11->n258_a_dick_1952_12 n258_a_dick_1952_13->n258_a_dick_1952_14 n258_a_dick_1952_15->n258_a_dick_1952_16 
( (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))