( (IP-MAT (ADVP-NIM (ADV Naturally;{naturally}))
          (PUNC ,)
          (NP-SBJ;{JOURNALISTS} (PRO we;{we}))
          (ADVP-NIM (ADV all;{all}))
          (VBD;_Tn_ made;{make})
          (NP-OB1 (D an;{an})
                  (N effort;{effort})
                  (IP-INF (TO to;{to})
                          (VB;_Tn_ break;{break})
                          (NP-OB1;{ROBOT_CALLER} (PRO it;{it}))))
          (PUNC .))
  (ID 30_a_duplex))

arc(r_0030_0005__made,r_0030_0001__Naturally,nim).
arc(r_0030_0005__made,r_0030_0003__we,arg0).
arc(r_0030_0005__made,r_0030_0004__all,nim).
arc(r_0030_0005__made,r_0030_0006__an_r_0030_0007__effort,arg1).
arc(r_0030_0006__an_r_0030_0007__effort,r_0030_0009__break,emb).
arc(r_0030_0009__break,r_0030_0010__it,arg1).
arc(r_0030_0009__break,z_0030_5005,arg0).

fof(formula,axiom,
    ? [R_0030_0001__NATURALLY,R_0030_0003__WE,R_0030_0004__ALL,R_0030_0010__IT,Z_0030_5005,R_0030_0009__BREAK,R_0030_0006__AN_R_0030_0007__EFFORT,R_0030_0005__MADE] :
      ( r_0030_0001__Naturally(R_0030_0001__NATURALLY)
      & r_0030_0003__we(R_0030_0003__WE)
      & r_0030_0004__all(R_0030_0004__ALL)
      & r_0030_0010__it(R_0030_0010__IT)
      & z_0030_5005(Z_0030_5005)
      & r_0030_0005__made(R_0030_0005__MADE)
      & has_arg1(R_0030_0005__MADE,R_0030_0006__AN_R_0030_0007__EFFORT)
      & r_0030_0006__an_r_0030_0007__effort(R_0030_0006__AN_R_0030_0007__EFFORT)
      & has_emb(R_0030_0006__AN_R_0030_0007__EFFORT,R_0030_0009__BREAK)
      & r_0030_0009__break(R_0030_0009__BREAK)
      & has_arg0(R_0030_0009__BREAK,Z_0030_5005)
      & has_arg1(R_0030_0009__BREAK,R_0030_0010__IT)
      & has_nim(R_0030_0005__MADE,R_0030_0004__ALL)
      & has_arg0(R_0030_0005__MADE,R_0030_0003__WE)
      & has_nim(R_0030_0005__MADE,R_0030_0001__NATURALLY) ) ).