( (IP-MAT (NP-SBJ;{AUTOCODER} (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D an;{an})
                  (ADJP (ADJ advanced;{advanced}))
                  (ADJP (ADJ symbolic;{symbolic}))
                  (N programming;{programming})
                  (N system;{system}))
          (PUNC .))
  (ID 39_a_ibm_1401))

arc(r_0039_0002__is,r_0039_0001__This,arg0).
arc(r_0039_0002__is,r_0039_0003__an_r_0039_0006__programming_r_0039_0007__system,prd).
arc(r_0039_0003__an_r_0039_0006__programming_r_0039_0007__system,r_0039_0004__advanced,attrib).
arc(r_0039_0003__an_r_0039_0006__programming_r_0039_0007__system,r_0039_0005__symbolic,attrib).

fof(formula,axiom,
    ? [R_0039_0001__THIS,R_0039_0004__ADVANCED,R_0039_0005__SYMBOLIC,R_0039_0003__AN_R_0039_0006__PROGRAMMING_R_0039_0007__SYSTEM,R_0039_0002__IS] :
      ( r_0039_0001__This(R_0039_0001__THIS)
      & r_0039_0004__advanced(R_0039_0004__ADVANCED)
      & r_0039_0005__symbolic(R_0039_0005__SYMBOLIC)
      & r_0039_0002__is(R_0039_0002__IS)
      & has_prd(R_0039_0002__IS,R_0039_0003__AN_R_0039_0006__PROGRAMMING_R_0039_0007__SYSTEM)
      & r_0039_0003__an_r_0039_0006__programming_r_0039_0007__system(R_0039_0003__AN_R_0039_0006__PROGRAMMING_R_0039_0007__SYSTEM)
      & has_attrib(R_0039_0003__AN_R_0039_0006__PROGRAMMING_R_0039_0007__SYSTEM,R_0039_0005__SYMBOLIC)
      & has_attrib(R_0039_0003__AN_R_0039_0006__PROGRAMMING_R_0039_0007__SYSTEM,R_0039_0004__ADVANCED)
      & has_arg0(R_0039_0002__IS,R_0039_0001__THIS) ) ).