Context                Previous, Next                Top


187_a_dick_1952
Let Fomar do it.”

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))


%3 r_0187_0003__do do z_0187_5005 r_0187_0003__do->z_0187_5005 [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_0187_5002 r_0187_0001__Let->z_0187_5002 [arg0] r_0187_0002__Fomar Fomar r_0187_0001__Let->r_0187_0002__Fomar [arg1] 
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_0187_5002,arg0).
arc(r_0187_0003__do,r_0187_0004__it,arg1).
arc(r_0187_0003__do,z_0187_5005,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_0187_5002 r_0187_0001__Let->z_0187_5002 [arg0] r_0187_0004__it it r_0187_0003__do->r_0187_0004__it [arg1] z_0187_5005 r_0187_0003__do->z_0187_5005 [arg0] 
fof(formula,axiom,
    ? [R_0187_0002__FOMAR,R_0187_0004__IT,Z_0187_5005,R_0187_0003__DO,Z_0187_5002,R_0187_0001__LET] :
      ( r_0187_0002__Fomar(R_0187_0002__FOMAR)
      & r_0187_0004__it(R_0187_0004__IT)
      & z_0187_5002(Z_0187_5002)
      & z_0187_5005(Z_0187_5005)
      & r_0187_0001__Let(R_0187_0001__LET)
      & has_arg0(R_0187_0001__LET,Z_0187_5002)
      & has_prd(R_0187_0001__LET,R_0187_0003__DO)
      & r_0187_0003__do(R_0187_0003__DO)
      & has_arg0(R_0187_0003__DO,Z_0187_5005)
      & has_arg1(R_0187_0003__DO,R_0187_0004__IT)
      & has_arg1(R_0187_0001__LET,R_0187_0002__FOMAR) ) ).