TSPC 57_a_ibm

57_a_ibm_1401
The programmer uses simplified, descriptive language with which he is already familiar to obtain reports swiftly and efficiently.

( (IP-MAT (NP-SBJ;{PROGRAMMER} (D The;{the})
                               (N programmer;{programmer}))
          (VBP;_Tnt_ uses;{use})
          (NP-DOB1 (ADJP (ADJ simplified;{simplified}))
                   (PUNC ,)
                   (ADJP (ADJ descriptive;{descriptive}))
                   (N language;{language})
                   (IP-REL (PP-128 (P-ROLE with;{with})
                                   (NP (RPRO which;{which})))
                           (NP-SBJ;{PROGRAMMER} (PRO he;{he}))
                           (BEP;_La_ is;{be})
                           (ADJP-PRD (ADVP (ADV already;{already}))
                                     (ADJ familiar;{familiar})
                                     (PP *ICH*-128))))
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ obtain;{obtain})
                      (NP-OB1 (NS reports;{report}))
                      (ADVP-NIM (AVLYR (AVLYR (ADV swiftly;{swiftly}))
                                       (CONJP (CONJ and;{and})
                                              (AVLYR (ADV efficiently;{efficiently}))))))
          (PUNC .))
  (ID 57_a_ibm_1401))

arc(r_0057_0003__uses,r_0057_0001__The_r_0057_0002__programmer,arg0).
arc(r_0057_0003__uses,r_0057_0015__obtain,arg1).
arc(r_0057_0007__language,r_0057_0004__simplified,attrib).
arc(r_0057_0007__language,r_0057_0006__descriptive,attrib).
arc(r_0057_0011__is,r_0057_0001__The_r_0057_0002__programmer,arg0).
arc(r_0057_0011__is,r_0057_0013__familiar,prd).
arc(r_0057_0013__familiar,r_0057_0007__language,r_0057_0008__with).
arc(r_0057_0013__familiar,r_0057_0012__already,qual).
arc(r_0057_0015__obtain,r_0057_0007__language,arg0).
arc(r_0057_0015__obtain,r_0057_0016__reports,arg1).
arc(r_0057_0015__obtain,r_0057_0018__and,nim).
arc(r_0057_0018__and,r_0057_0017__swiftly,conj1).
arc(r_0057_0018__and,r_0057_0019__efficiently,conj2).

fof(formula,axiom,
    ? [R_0057_0001__THE_R_0057_0002__PROGRAMMER,R_0057_0004__SIMPLIFIED,R_0057_0006__DESCRIPTIVE,R_0057_0007__LANGUAGE,R_0057_0016__REPORTS,R_0057_0017__SWIFTLY,R_0057_0019__EFFICIENTLY,R_0057_0018__AND,R_0057_0015__OBTAIN,R_0057_0003__USES,R_0057_0012__ALREADY,R_0057_0013__FAMILIAR,R_0057_0011__IS] :
      ( r_0057_0001__The_r_0057_0002__programmer(R_0057_0001__THE_R_0057_0002__PROGRAMMER)
      & r_0057_0004__simplified(R_0057_0004__SIMPLIFIED)
      & r_0057_0006__descriptive(R_0057_0006__DESCRIPTIVE)
      & r_0057_0012__already(R_0057_0012__ALREADY)
      & r_0057_0016__reports(R_0057_0016__REPORTS)
      & r_0057_0017__swiftly(R_0057_0017__SWIFTLY)
      & r_0057_0019__efficiently(R_0057_0019__EFFICIENTLY)
      & r_0057_0011__is(R_0057_0011__IS)
      & has_prd(R_0057_0011__IS,R_0057_0013__FAMILIAR)
      & r_0057_0013__familiar(R_0057_0013__FAMILIAR)
      & has_qual(R_0057_0013__FAMILIAR,R_0057_0012__ALREADY)
      & has_r_0057_0008__with(R_0057_0013__FAMILIAR,R_0057_0007__LANGUAGE)
      & r_0057_0007__language(R_0057_0007__LANGUAGE)
      & has_attrib(R_0057_0007__LANGUAGE,R_0057_0006__DESCRIPTIVE)
      & has_attrib(R_0057_0007__LANGUAGE,R_0057_0004__SIMPLIFIED)
      & has_arg0(R_0057_0011__IS,R_0057_0001__THE_R_0057_0002__PROGRAMMER)
      & r_0057_0003__uses(R_0057_0003__USES)
      & has_arg1(R_0057_0003__USES,R_0057_0015__OBTAIN)
      & r_0057_0015__obtain(R_0057_0015__OBTAIN)
      & has_nim(R_0057_0015__OBTAIN,R_0057_0018__AND)
      & r_0057_0018__and(R_0057_0018__AND)
      & has_conj2(R_0057_0018__AND,R_0057_0019__EFFICIENTLY)
      & has_conj1(R_0057_0018__AND,R_0057_0017__SWIFTLY)
      & has_arg1(R_0057_0015__OBTAIN,R_0057_0016__REPORTS)
      & has_arg0(R_0057_0015__OBTAIN,R_0057_0007__LANGUAGE)
      & has_arg0(R_0057_0003__USES,R_0057_0001__THE_R_0057_0002__PROGRAMMER) ) ).