Context                Previous, Next                Top


473_a_dick_1952
Let's open one.”

%3 r_0473_0001__Let Let r_0473_0002___apos_s 's r_0473_0001__Let->r_0473_0002___apos_s [arg1] r_0473_0003__open open r_0473_0001__Let->r_0473_0003__open [prd] z_000_473_a_dick_1952_1 r_0473_0001__Let->z_000_473_a_dick_1952_1 [arg0] r_0473_0004__one one r_0473_0003__open->r_0473_0004__one [arg1] x_000_473_a_dick_1952_7 __ r_0473_0003__open->x_000_473_a_dick_1952_7 [arg0] 
arc(r_0473_0001__Let, r_0473_0002___apos_s, arg1).
arc(r_0473_0001__Let, r_0473_0003__open, prd).
arc(r_0473_0001__Let, z_000_473_a_dick_1952_1, arg0).
arc(r_0473_0003__open, r_0473_0004__one, arg1).
arc(r_0473_0003__open, x_000_473_a_dick_1952_7, arg0).


%3 r_0473_0003__open open x_000_473_a_dick_1952_7 __ r_0473_0003__open->x_000_473_a_dick_1952_7 [arg0] r_0473_0004__one one r_0473_0003__open->r_0473_0004__one [arg1] r_0473_0001__Let Let r_0473_0001__Let->r_0473_0003__open [prd] z_000_473_a_dick_1952_1 r_0473_0001__Let->z_000_473_a_dick_1952_1 [arg0] r_0473_0002___apos_s 's r_0473_0001__Let->r_0473_0002___apos_s [arg1] 
fof(formula,axiom,
    ? [R_473_1_LET,Z_473_A_DICK_1952_1,R_473_2__APOS_S,R_473_3_OPEN,X_473_A_DICK_1952_7,R_473_4_ONE] :
      ( _apos_s(R_473_2__APOS_S)
      & one(R_473_4_ONE)
      & let(R_473_1_LET,Z_473_A_DICK_1952_1,R_473_2__APOS_S,R_473_3_OPEN)
      & open(R_473_3_OPEN,X_473_A_DICK_1952_7,R_473_4_ONE) ) ).


n473_a_dick_1952 n473_a_dick_1952__1_1_1 Let n473_a_dick_1952__1_2_1_1 's n473_a_dick_1952__1_3_1_1 open n473_a_dick_1952__1_3_2_1_1 one n473_a_dick_1952__1_4_1 . n473_a_dick_1952__1_5_1 <rdquo> n473_a_dick_1952__1 IP-IMP n473_a_dick_1952__1_1 VB;_Cn.i_ n473_a_dick_1952__1->n473_a_dick_1952__1_1 n473_a_dick_1952__1_2 NP-OB1 n473_a_dick_1952__1->n473_a_dick_1952__1_2 n473_a_dick_1952__1_3 IP-INF-PRD n473_a_dick_1952__1->n473_a_dick_1952__1_3 n473_a_dick_1952__1_4 PUNC n473_a_dick_1952__1->n473_a_dick_1952__1_4 n473_a_dick_1952__1_5 PURQ n473_a_dick_1952__1->n473_a_dick_1952__1_5 n473_a_dick_1952__1_1->n473_a_dick_1952__1_1_1 n473_a_dick_1952__1_2_1 PRO n473_a_dick_1952__1_2->n473_a_dick_1952__1_2_1 n473_a_dick_1952__1_2_1->n473_a_dick_1952__1_2_1_1 n473_a_dick_1952__1_3_1 VB;_Tn_ n473_a_dick_1952__1_3->n473_a_dick_1952__1_3_1 n473_a_dick_1952__1_3_2 NP-OB1 n473_a_dick_1952__1_3->n473_a_dick_1952__1_3_2 n473_a_dick_1952__1_3_1->n473_a_dick_1952__1_3_1_1 n473_a_dick_1952__1_3_2_1 D;_nphd_ n473_a_dick_1952__1_3_2->n473_a_dick_1952__1_3_2_1 n473_a_dick_1952__1_3_2_1->n473_a_dick_1952__1_3_2_1_1 n473_a_dick_1952__1_4->n473_a_dick_1952__1_4_1 n473_a_dick_1952__1_5->n473_a_dick_1952__1_5_1 
( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{DORLE_NASHA_TANCE} (PRO <apos>s;{we}))
          (IP-INF-PRD (VB;_Tn_ open;{open})
                      (NP-OB1 (D;_nphd_ one;{one})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 473_a_dick_1952))