Context                Previous, Next                Top


258_a_dick_1952
“More wasted 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))


%3 z_0258_5007 r_0258_0004__time time z_0258_5007->r_0258_0004__time 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 [inv_arg1] z_0258_5005___star_ * r_0258_0003__wasted->z_0258_5005___star_ [arg0] 
arc(r_0258_0003__wasted,r_0258_0004__time,inv_arg1).
arc(r_0258_0003__wasted,z_0258_5005___star_,arg0).
arc(r_0258_0004__time,r_0258_0002__More,attrib).
arc(z_0258_5007,r_0258_0004__time,z_0258_5002).


%3 r_0258_0004__time time r_0258_0003__wasted wasted r_0258_0004__time->r_0258_0003__wasted [inv_arg1] r_0258_0002__More More r_0258_0004__time->r_0258_0002__More [attrib] z_0258_5005___star_ * r_0258_0003__wasted->z_0258_5005___star_ [arg0] z_0258_5007 z_0258_5007->r_0258_0004__time 
fof(formula,axiom,
    ? [Z_0258_5005___STAR_,R_0258_0003__WASTED,R_0258_0002__MORE,R_0258_0004__TIME,Z_0258_5007] :
      ( r_0258_0002__More(R_0258_0002__MORE)
      & z_0258_5005___star_(Z_0258_5005___STAR_)
      & z_0258_5007(Z_0258_5007)
      & has_z_0258_5002(Z_0258_5007,R_0258_0004__TIME)
      & r_0258_0004__time(R_0258_0004__TIME)
      & has_attrib(R_0258_0004__TIME,R_0258_0002__MORE)
      & has_inv_arg1(R_0258_0004__TIME,R_0258_0003__WASTED)
      & r_0258_0003__wasted(R_0258_0003__WASTED)
      & has_arg0(R_0258_0003__WASTED,Z_0258_5005___STAR_) ) ).