Context                Previous, Next                Top


187_a_dick_1952
Let Fomar do it.”

%3 r_0187_0001__Let Let r_0187_0002__Fomar Fomar r_0187_0001__Let->r_0187_0002__Fomar [arg1] r_0187_0003__do do r_0187_0001__Let->r_0187_0003__do [prd] z_000_187_a_dick_1952_1 r_0187_0001__Let->z_000_187_a_dick_1952_1 [arg0] r_0187_0004__it it r_0187_0003__do->r_0187_0004__it [arg1] x_000_187_a_dick_1952_7 __ r_0187_0003__do->x_000_187_a_dick_1952_7 [arg0] 
arc(r_0187_0001__Let, r_0187_0002__Fomar, arg1).
arc(r_0187_0001__Let, r_0187_0003__do, prd).
arc(r_0187_0001__Let, z_000_187_a_dick_1952_1, arg0).
arc(r_0187_0003__do, r_0187_0004__it, arg1).
arc(r_0187_0003__do, x_000_187_a_dick_1952_7, arg0).


%3 r_0187_0001__Let Let r_0187_0002__Fomar Fomar r_0187_0001__Let->r_0187_0002__Fomar [arg1] r_0187_0003__do do r_0187_0001__Let->r_0187_0003__do [prd] z_000_187_a_dick_1952_1 r_0187_0001__Let->z_000_187_a_dick_1952_1 [arg0] r_0187_0004__it it r_0187_0003__do->r_0187_0004__it [arg1] x_000_187_a_dick_1952_7 __ r_0187_0003__do->x_000_187_a_dick_1952_7 [arg0] 
fof(formula,axiom,
    ? [R_187_1_LET,Z_187_A_DICK_1952_1,R_187_2_FOMAR,R_187_3_DO,X_187_A_DICK_1952_7,R_187_4_IT] :
      ( fomar(R_187_2_FOMAR)
      & it(R_187_4_IT)
      & let(R_187_1_LET,Z_187_A_DICK_1952_1,R_187_2_FOMAR,R_187_3_DO)
      & do(R_187_3_DO,X_187_A_DICK_1952_7,R_187_4_IT) ) ).


n187_a_dick_1952 n187_a_dick_1952_3 Let n187_a_dick_1952_6 Fomar n187_a_dick_1952_9 do n187_a_dick_1952_12 it n187_a_dick_1952_14 . n187_a_dick_1952_16 <rdquo> n187_a_dick_1952_1 IP-IMP n187_a_dick_1952_2 VB;_Cn.i_ n187_a_dick_1952_1->n187_a_dick_1952_2 n187_a_dick_1952_4 NP-OB1 n187_a_dick_1952_1->n187_a_dick_1952_4 n187_a_dick_1952_7 IP-INF-PRD n187_a_dick_1952_1->n187_a_dick_1952_7 n187_a_dick_1952_13 PUNC n187_a_dick_1952_1->n187_a_dick_1952_13 n187_a_dick_1952_15 PURQ n187_a_dick_1952_1->n187_a_dick_1952_15 n187_a_dick_1952_2->n187_a_dick_1952_3 n187_a_dick_1952_5 NPR n187_a_dick_1952_4->n187_a_dick_1952_5 n187_a_dick_1952_5->n187_a_dick_1952_6 n187_a_dick_1952_8 DO;_Tn_ n187_a_dick_1952_7->n187_a_dick_1952_8 n187_a_dick_1952_10 NP-OB1 n187_a_dick_1952_7->n187_a_dick_1952_10 n187_a_dick_1952_8->n187_a_dick_1952_9 n187_a_dick_1952_11 PRO n187_a_dick_1952_10->n187_a_dick_1952_11 n187_a_dick_1952_11->n187_a_dick_1952_12 n187_a_dick_1952_13->n187_a_dick_1952_14 n187_a_dick_1952_15->n187_a_dick_1952_16 
( (IP-IMP (VB;_Cn.i_ Let;{let})
          (NP-OB1;{FOMAR} (NPR Fomar;{Fomar}))
          (IP-INF-PRD (DO;_Tn_ do;{do})
                      (NP-OB1;{BE_CAPTAIN} (PRO it;{it})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 187_a_dick_1952))