Context                Previous, Next                Top


160_a_dick_1952
“Let's get some sleep.”

%3 r_0160_0002__Let Let r_0160_0003___apos_s 's r_0160_0002__Let->r_0160_0003___apos_s [arg1] r_0160_0004__get get r_0160_0002__Let->r_0160_0004__get [prd] z_000_160_a_dick_1952_1 r_0160_0002__Let->z_000_160_a_dick_1952_1 [arg0] r_0160_0005__some_r_0160_0006__sleep some sleep r_0160_0004__get->r_0160_0005__some_r_0160_0006__sleep [arg1] x_000_160_a_dick_1952_9 __ r_0160_0004__get->x_000_160_a_dick_1952_9 [arg0] 
arc(r_0160_0002__Let, r_0160_0003___apos_s, arg1).
arc(r_0160_0002__Let, r_0160_0004__get, prd).
arc(r_0160_0002__Let, z_000_160_a_dick_1952_1, arg0).
arc(r_0160_0004__get, r_0160_0005__some_r_0160_0006__sleep, arg1).
arc(r_0160_0004__get, x_000_160_a_dick_1952_9, arg0).


%3 r_0160_0004__get get x_000_160_a_dick_1952_9 __ r_0160_0004__get->x_000_160_a_dick_1952_9 [arg0] r_0160_0005__some_r_0160_0006__sleep some sleep r_0160_0004__get->r_0160_0005__some_r_0160_0006__sleep [arg1] r_0160_0002__Let Let r_0160_0002__Let->r_0160_0004__get [prd] z_000_160_a_dick_1952_1 r_0160_0002__Let->z_000_160_a_dick_1952_1 [arg0] r_0160_0003___apos_s 's r_0160_0002__Let->r_0160_0003___apos_s [arg1] 
fof(formula,axiom,
    ? [R_160_2_LET,Z_160_A_DICK_1952_1,R_160_3__APOS_S,R_160_4_GET,X_160_A_DICK_1952_9,R_160_5_SOME_SLEEP] :
      ( _apos_s(R_160_3__APOS_S)
      & some_sleep(R_160_5_SOME_SLEEP)
      & let(R_160_2_LET,Z_160_A_DICK_1952_1,R_160_3__APOS_S,R_160_4_GET)
      & get(R_160_4_GET,X_160_A_DICK_1952_9,R_160_5_SOME_SLEEP) ) ).


n160_a_dick_1952 n160_a_dick_1952__1_1_1 <ldquo> n160_a_dick_1952__1_2_1 Let n160_a_dick_1952__1_3_1_1 's n160_a_dick_1952__1_4_1_1 get n160_a_dick_1952__1_4_2_1_1 some n160_a_dick_1952__1_4_2_2_1 sleep n160_a_dick_1952__1_5_1 . n160_a_dick_1952__1_6_1 <rdquo> n160_a_dick_1952__1 IP-IMP n160_a_dick_1952__1_1 PULQ n160_a_dick_1952__1->n160_a_dick_1952__1_1 n160_a_dick_1952__1_2 VB;_Cn.i_ n160_a_dick_1952__1->n160_a_dick_1952__1_2 n160_a_dick_1952__1_3 NP-OB1 n160_a_dick_1952__1->n160_a_dick_1952__1_3 n160_a_dick_1952__1_4 IP-INF-PRD n160_a_dick_1952__1->n160_a_dick_1952__1_4 n160_a_dick_1952__1_5 PUNC n160_a_dick_1952__1->n160_a_dick_1952__1_5 n160_a_dick_1952__1_6 PURQ n160_a_dick_1952__1->n160_a_dick_1952__1_6 n160_a_dick_1952__1_1->n160_a_dick_1952__1_1_1 n160_a_dick_1952__1_2->n160_a_dick_1952__1_2_1 n160_a_dick_1952__1_3_1 PRO n160_a_dick_1952__1_3->n160_a_dick_1952__1_3_1 n160_a_dick_1952__1_3_1->n160_a_dick_1952__1_3_1_1 n160_a_dick_1952__1_4_1 VB;_Tn_ n160_a_dick_1952__1_4->n160_a_dick_1952__1_4_1 n160_a_dick_1952__1_4_2 NP-OB1 n160_a_dick_1952__1_4->n160_a_dick_1952__1_4_2 n160_a_dick_1952__1_4_1->n160_a_dick_1952__1_4_1_1 n160_a_dick_1952__1_4_2_1 D n160_a_dick_1952__1_4_2->n160_a_dick_1952__1_4_2_1 n160_a_dick_1952__1_4_2_2 N n160_a_dick_1952__1_4_2->n160_a_dick_1952__1_4_2_2 n160_a_dick_1952__1_4_2_1->n160_a_dick_1952__1_4_2_1_1 n160_a_dick_1952__1_4_2_2->n160_a_dick_1952__1_4_2_2_1 n160_a_dick_1952__1_5->n160_a_dick_1952__1_5_1 n160_a_dick_1952__1_6->n160_a_dick_1952__1_6_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.i_ Let;{let})
          (NP-OB1;{TRESPASSERS} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Tn_ get;{get})
                      (NP-OB1 (D some;{some})
                              (N sleep;{sleep})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 160_a_dick_1952))