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_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] 
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_3 <ldquo> n160_a_dick_1952_5 Let n160_a_dick_1952_8 's n160_a_dick_1952_11 get n160_a_dick_1952_14 some n160_a_dick_1952_16 sleep n160_a_dick_1952_18 . n160_a_dick_1952_20 <rdquo> n160_a_dick_1952_1 IP-IMP n160_a_dick_1952_2 PULQ n160_a_dick_1952_1->n160_a_dick_1952_2 n160_a_dick_1952_4 VB;_Cn.i_ n160_a_dick_1952_1->n160_a_dick_1952_4 n160_a_dick_1952_6 NP-OB1 n160_a_dick_1952_1->n160_a_dick_1952_6 n160_a_dick_1952_9 IP-INF-PRD n160_a_dick_1952_1->n160_a_dick_1952_9 n160_a_dick_1952_17 PUNC n160_a_dick_1952_1->n160_a_dick_1952_17 n160_a_dick_1952_19 PURQ n160_a_dick_1952_1->n160_a_dick_1952_19 n160_a_dick_1952_2->n160_a_dick_1952_3 n160_a_dick_1952_4->n160_a_dick_1952_5 n160_a_dick_1952_7 PRO n160_a_dick_1952_6->n160_a_dick_1952_7 n160_a_dick_1952_7->n160_a_dick_1952_8 n160_a_dick_1952_10 VB;_Tn_ n160_a_dick_1952_9->n160_a_dick_1952_10 n160_a_dick_1952_12 NP-OB1 n160_a_dick_1952_9->n160_a_dick_1952_12 n160_a_dick_1952_10->n160_a_dick_1952_11 n160_a_dick_1952_13 D n160_a_dick_1952_12->n160_a_dick_1952_13 n160_a_dick_1952_15 N n160_a_dick_1952_12->n160_a_dick_1952_15 n160_a_dick_1952_13->n160_a_dick_1952_14 n160_a_dick_1952_15->n160_a_dick_1952_16 n160_a_dick_1952_17->n160_a_dick_1952_18 n160_a_dick_1952_19->n160_a_dick_1952_20 
( (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))