Context                Previous, Next                Top


407_a_dick_1952
“Let's go.”

%3 r_0407_0002__Let Let r_0407_0003___apos_s 's r_0407_0002__Let->r_0407_0003___apos_s [arg1] r_0407_0004__go go r_0407_0002__Let->r_0407_0004__go [prd] z_000_407_a_dick_1952_1 r_0407_0002__Let->z_000_407_a_dick_1952_1 [arg0] x_000_407_a_dick_1952_9 __ r_0407_0004__go->x_000_407_a_dick_1952_9 [arg0] 
arc(r_0407_0002__Let, r_0407_0003___apos_s, arg1).
arc(r_0407_0002__Let, r_0407_0004__go, prd).
arc(r_0407_0002__Let, z_000_407_a_dick_1952_1, arg0).
arc(r_0407_0004__go, x_000_407_a_dick_1952_9, arg0).


%3 r_0407_0004__go go x_000_407_a_dick_1952_9 __ r_0407_0004__go->x_000_407_a_dick_1952_9 [arg0] r_0407_0002__Let Let r_0407_0002__Let->r_0407_0004__go [prd] z_000_407_a_dick_1952_1 r_0407_0002__Let->z_000_407_a_dick_1952_1 [arg0] r_0407_0003___apos_s 's r_0407_0002__Let->r_0407_0003___apos_s [arg1] 
fof(formula,axiom,
    ? [R_0407_0003___APOS_S,X_000_407_A_DICK_1952_9,R_0407_0004__GO,Z_000_407_A_DICK_1952_1,R_0407_0002__LET] :
      ( r_0407_0003___apos_s(R_0407_0003___APOS_S)
      & x_000_407_a_dick_1952_9(X_000_407_A_DICK_1952_9)
      & z_000_407_a_dick_1952_1(Z_000_407_A_DICK_1952_1)
      & r_0407_0002__Let(R_0407_0002__LET)
      & has_arg0(R_0407_0002__LET,Z_000_407_A_DICK_1952_1)
      & has_prd(R_0407_0002__LET,R_0407_0004__GO)
      & r_0407_0004__go(R_0407_0004__GO)
      & has_arg0(R_0407_0004__GO,X_000_407_A_DICK_1952_9)
      & has_arg1(R_0407_0002__LET,R_0407_0003___APOS_S) ) ).


n407_a_dick_1952 n407_a_dick_1952__1_1_1 <ldquo> n407_a_dick_1952__1_2_1 Let n407_a_dick_1952__1_3_1_1 's n407_a_dick_1952__1_4_1_1 go n407_a_dick_1952__1_5_1 . n407_a_dick_1952__1_6_1 <rdquo> n407_a_dick_1952__1 IP-IMP n407_a_dick_1952__1_1 PULQ n407_a_dick_1952__1->n407_a_dick_1952__1_1 n407_a_dick_1952__1_2 VB;_Cn.i_ n407_a_dick_1952__1->n407_a_dick_1952__1_2 n407_a_dick_1952__1_3 NP-OB1 n407_a_dick_1952__1->n407_a_dick_1952__1_3 n407_a_dick_1952__1_4 IP-INF-PRD n407_a_dick_1952__1->n407_a_dick_1952__1_4 n407_a_dick_1952__1_5 PUNC n407_a_dick_1952__1->n407_a_dick_1952__1_5 n407_a_dick_1952__1_6 PURQ n407_a_dick_1952__1->n407_a_dick_1952__1_6 n407_a_dick_1952__1_1->n407_a_dick_1952__1_1_1 n407_a_dick_1952__1_2->n407_a_dick_1952__1_2_1 n407_a_dick_1952__1_3_1 PRO n407_a_dick_1952__1_3->n407_a_dick_1952__1_3_1 n407_a_dick_1952__1_3_1->n407_a_dick_1952__1_3_1_1 n407_a_dick_1952__1_4_1 VB;_I_ n407_a_dick_1952__1_4->n407_a_dick_1952__1_4_1 n407_a_dick_1952__1_4_1->n407_a_dick_1952__1_4_1_1 n407_a_dick_1952__1_5->n407_a_dick_1952__1_5_1 n407_a_dick_1952__1_6->n407_a_dick_1952__1_6_1 
( (IP-IMP (PULQ <ldquo>)
          (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE_NASHA} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_I_ go;{go}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 407_a_dick_1952))