Context                Previous, Next                Top


451_a_dick_1952
Let's try.”

%3 r_0451_0001__Let Let r_0451_0002___apos_s 's r_0451_0001__Let->r_0451_0002___apos_s [arg1] r_0451_0003__try try r_0451_0001__Let->r_0451_0003__try [prd] z_000_451_a_dick_1952_1 r_0451_0001__Let->z_000_451_a_dick_1952_1 [arg0] x_000_451_a_dick_1952_7 __ r_0451_0003__try->x_000_451_a_dick_1952_7 [arg0] 
arc(r_0451_0001__Let, r_0451_0002___apos_s, arg1).
arc(r_0451_0001__Let, r_0451_0003__try, prd).
arc(r_0451_0001__Let, z_000_451_a_dick_1952_1, arg0).
arc(r_0451_0003__try, x_000_451_a_dick_1952_7, arg0).


%3 r_0451_0003__try try x_000_451_a_dick_1952_7 __ r_0451_0003__try->x_000_451_a_dick_1952_7 [arg0] r_0451_0001__Let Let r_0451_0001__Let->r_0451_0003__try [prd] z_000_451_a_dick_1952_1 r_0451_0001__Let->z_000_451_a_dick_1952_1 [arg0] r_0451_0002___apos_s 's r_0451_0001__Let->r_0451_0002___apos_s [arg1] 
fof(formula,axiom,
    ? [R_451_1_LET,Z_451_A_DICK_1952_1,R_451_2__APOS_S,R_451_3_TRY,X_451_A_DICK_1952_7] :
      ( _apos_s(R_451_2__APOS_S)
      & let(R_451_1_LET,Z_451_A_DICK_1952_1,R_451_2__APOS_S,R_451_3_TRY)
      & try(R_451_3_TRY,X_451_A_DICK_1952_7) ) ).


n451_a_dick_1952 n451_a_dick_1952__1_1_1 Let n451_a_dick_1952__1_2_1_1 's n451_a_dick_1952__1_3_1_1 try n451_a_dick_1952__1_4_1 . n451_a_dick_1952__1_5_1 <rdquo> n451_a_dick_1952__1 IP-IMP n451_a_dick_1952__1_1 VB;_Cn.i_ n451_a_dick_1952__1->n451_a_dick_1952__1_1 n451_a_dick_1952__1_2 NP-OB1 n451_a_dick_1952__1->n451_a_dick_1952__1_2 n451_a_dick_1952__1_3 IP-INF-PRD n451_a_dick_1952__1->n451_a_dick_1952__1_3 n451_a_dick_1952__1_4 PUNC n451_a_dick_1952__1->n451_a_dick_1952__1_4 n451_a_dick_1952__1_5 PURQ n451_a_dick_1952__1->n451_a_dick_1952__1_5 n451_a_dick_1952__1_1->n451_a_dick_1952__1_1_1 n451_a_dick_1952__1_2_1 PRO n451_a_dick_1952__1_2->n451_a_dick_1952__1_2_1 n451_a_dick_1952__1_2_1->n451_a_dick_1952__1_2_1_1 n451_a_dick_1952__1_3_1 VB;_I_ n451_a_dick_1952__1_3->n451_a_dick_1952__1_3_1 n451_a_dick_1952__1_3_1->n451_a_dick_1952__1_3_1_1 n451_a_dick_1952__1_4->n451_a_dick_1952__1_4_1 n451_a_dick_1952__1_5->n451_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;_I_ try;{try}))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 451_a_dick_1952))