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_0003__do do x_000_187_a_dick_1952_7 __ r_0187_0003__do->x_000_187_a_dick_1952_7 [arg0] r_0187_0004__it it r_0187_0003__do->r_0187_0004__it [arg1] r_0187_0001__Let Let 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_0002__Fomar Fomar r_0187_0001__Let->r_0187_0002__Fomar [arg1] 
fof(formula,axiom,
    ? [R_0187_0002__FOMAR,R_0187_0004__IT,X_000_187_A_DICK_1952_7,R_0187_0003__DO,Z_000_187_A_DICK_1952_1,R_0187_0001__LET] :
      ( r_0187_0002__Fomar(R_0187_0002__FOMAR)
      & r_0187_0004__it(R_0187_0004__IT)
      & x_000_187_a_dick_1952_7(X_000_187_A_DICK_1952_7)
      & z_000_187_a_dick_1952_1(Z_000_187_A_DICK_1952_1)
      & r_0187_0001__Let(R_0187_0001__LET)
      & has_arg0(R_0187_0001__LET,Z_000_187_A_DICK_1952_1)
      & has_prd(R_0187_0001__LET,R_0187_0003__DO)
      & r_0187_0003__do(R_0187_0003__DO)
      & has_arg0(R_0187_0003__DO,X_000_187_A_DICK_1952_7)
      & has_arg1(R_0187_0003__DO,R_0187_0004__IT)
      & has_arg1(R_0187_0001__LET,R_0187_0002__FOMAR) ) ).


n187_a_dick_1952 n187_a_dick_1952__1_1_1 Let n187_a_dick_1952__1_2_1_1 Fomar n187_a_dick_1952__1_3_1_1 do n187_a_dick_1952__1_3_2_1_1 it n187_a_dick_1952__1_4_1 . n187_a_dick_1952__1_5_1 <rdquo> n187_a_dick_1952__1 IP-IMP n187_a_dick_1952__1_1 VB;_Cn.i_ n187_a_dick_1952__1->n187_a_dick_1952__1_1 n187_a_dick_1952__1_2 NP-OB1 n187_a_dick_1952__1->n187_a_dick_1952__1_2 n187_a_dick_1952__1_3 IP-INF-PRD n187_a_dick_1952__1->n187_a_dick_1952__1_3 n187_a_dick_1952__1_4 PUNC n187_a_dick_1952__1->n187_a_dick_1952__1_4 n187_a_dick_1952__1_5 PURQ n187_a_dick_1952__1->n187_a_dick_1952__1_5 n187_a_dick_1952__1_1->n187_a_dick_1952__1_1_1 n187_a_dick_1952__1_2_1 NPR n187_a_dick_1952__1_2->n187_a_dick_1952__1_2_1 n187_a_dick_1952__1_2_1->n187_a_dick_1952__1_2_1_1 n187_a_dick_1952__1_3_1 DO;_Tn_ n187_a_dick_1952__1_3->n187_a_dick_1952__1_3_1 n187_a_dick_1952__1_3_2 NP-OB1 n187_a_dick_1952__1_3->n187_a_dick_1952__1_3_2 n187_a_dick_1952__1_3_1->n187_a_dick_1952__1_3_1_1 n187_a_dick_1952__1_3_2_1 PRO n187_a_dick_1952__1_3_2->n187_a_dick_1952__1_3_2_1 n187_a_dick_1952__1_3_2_1->n187_a_dick_1952__1_3_2_1_1 n187_a_dick_1952__1_4->n187_a_dick_1952__1_4_1 n187_a_dick_1952__1_5->n187_a_dick_1952__1_5_1 
( (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))