( (ADJP (ADJR EASIER;{easy})
        (IP-INF (TO TO;{to})
                (VB;_Tn_ UNDERSTAND;{understand})
                (NP-OB1 (NS PROGRAMS;{program}))))
  (ID 30_a_ibm_1401))

arc(r_0030_0001__EASIER,r_0030_0003__UNDERSTAND,emb).
arc(r_0030_0003__UNDERSTAND,r_0030_0004__PROGRAMS,arg1).
arc(r_0030_0003__UNDERSTAND,z_0030_5004,arg0).
arc(z_0030_5007,r_0030_0001__EASIER,attrib).

fof(formula,axiom,
    ? [R_0030_0004__PROGRAMS,Z_0030_5004,R_0030_0003__UNDERSTAND,R_0030_0001__EASIER,Z_0030_5007] :
      ( r_0030_0004__PROGRAMS(R_0030_0004__PROGRAMS)
      & z_0030_5004(Z_0030_5004)
      & z_0030_5007(Z_0030_5007)
      & has_attrib(Z_0030_5007,R_0030_0001__EASIER)
      & r_0030_0001__EASIER(R_0030_0001__EASIER)
      & has_emb(R_0030_0001__EASIER,R_0030_0003__UNDERSTAND)
      & r_0030_0003__UNDERSTAND(R_0030_0003__UNDERSTAND)
      & has_arg0(R_0030_0003__UNDERSTAND,Z_0030_5004)
      & has_arg1(R_0030_0003__UNDERSTAND,R_0030_0004__PROGRAMS) ) ).