( (IP-MAT (NP-SBJ (PRO It;{it}))
          (BEP;__ <apos>s;{be})
          (ADJP-PRD (ADJ essential;{essential})
                    (IP-INF (TO to;{to})
                            (VB;_Cn.a_ keep;{keep})
                            (NP-OB1 (D the;{the})
                                    (N concrete;{concrete}))
                            (ADJP-PRD (ADJ pumping;{pumping}))))
          (PUNC .))
  (ID 139_a_stuck_japan))

arc(r_0139_0002___apos_s,r_0139_0001__It,arg0).
arc(r_0139_0002___apos_s,r_0139_0003__essential,prd).
arc(r_0139_0003__essential,r_0139_0005__keep,emb).
arc(r_0139_0005__keep,r_0139_0006__the_r_0139_0007__concrete,arg1).
arc(r_0139_0005__keep,r_0139_0008__pumping,prd).
arc(r_0139_0005__keep,z_0139_5004,arg0).

fof(formula,axiom,
    ? [R_0139_0001__IT,R_0139_0006__THE_R_0139_0007__CONCRETE,R_0139_0008__PUMPING,Z_0139_5004,R_0139_0005__KEEP,R_0139_0003__ESSENTIAL,R_0139_0002___APOS_S] :
      ( r_0139_0001__It(R_0139_0001__IT)
      & r_0139_0006__the_r_0139_0007__concrete(R_0139_0006__THE_R_0139_0007__CONCRETE)
      & r_0139_0008__pumping(R_0139_0008__PUMPING)
      & z_0139_5004(Z_0139_5004)
      & r_0139_0002___apos_s(R_0139_0002___APOS_S)
      & has_prd(R_0139_0002___APOS_S,R_0139_0003__ESSENTIAL)
      & r_0139_0003__essential(R_0139_0003__ESSENTIAL)
      & has_emb(R_0139_0003__ESSENTIAL,R_0139_0005__KEEP)
      & r_0139_0005__keep(R_0139_0005__KEEP)
      & has_arg0(R_0139_0005__KEEP,Z_0139_5004)
      & has_prd(R_0139_0005__KEEP,R_0139_0008__PUMPING)
      & has_arg1(R_0139_0005__KEEP,R_0139_0006__THE_R_0139_0007__CONCRETE)
      & has_arg0(R_0139_0002___APOS_S,R_0139_0001__IT) ) ).