Context                Previous, Next                Top


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

%3 r_0057_0003__uses uses r_0057_0001__The_r_0057_0002__programmer The programmer r_0057_0003__uses->r_0057_0001__The_r_0057_0002__programmer [arg0] r_0057_0014__to_r_0057_0015__obtain to obtain r_0057_0003__uses->r_0057_0014__to_r_0057_0015__obtain [arg1] r_0057_0007__language language r_0057_0014__to_r_0057_0015__obtain->r_0057_0007__language [arg0] r_0057_0016__reports reports r_0057_0014__to_r_0057_0015__obtain->r_0057_0016__reports [arg1] r_0057_0018__and and r_0057_0014__to_r_0057_0015__obtain->r_0057_0018__and [nim] r_0057_0004__simplified simplified r_0057_0007__language->r_0057_0004__simplified [attrib] r_0057_0006__descriptive descriptive r_0057_0007__language->r_0057_0006__descriptive [attrib] r_0057_0011__is is r_0057_0011__is->r_0057_0001__The_r_0057_0002__programmer [arg0] r_0057_0013__familiar familiar r_0057_0011__is->r_0057_0013__familiar [prd] r_0057_0013__familiar->r_0057_0007__language with r_0057_0012__already already r_0057_0013__familiar->r_0057_0012__already [qual] r_0057_0017__swiftly swiftly r_0057_0018__and->r_0057_0017__swiftly [conj1] r_0057_0019__efficiently efficiently r_0057_0018__and->r_0057_0019__efficiently [conj2] 
arc(r_0057_0003__uses, r_0057_0001__The_r_0057_0002__programmer, arg0).
arc(r_0057_0003__uses, r_0057_0014__to_r_0057_0015__obtain, arg1).
arc(r_0057_0007__language, r_0057_0004__simplified, attrib10).
arc(r_0057_0007__language, r_0057_0006__descriptive, attrib15).
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, qual33).
arc(r_0057_0014__to_r_0057_0015__obtain, r_0057_0007__language, arg0).
arc(r_0057_0014__to_r_0057_0015__obtain, r_0057_0016__reports, arg1).
arc(r_0057_0014__to_r_0057_0015__obtain, r_0057_0018__and, nim48).
arc(r_0057_0018__and, r_0057_0017__swiftly, conj1).
arc(r_0057_0018__and, r_0057_0019__efficiently, conj2).


%3 r_0057_0018__and and r_0057_0019__efficiently efficiently r_0057_0018__and->r_0057_0019__efficiently [conj2] r_0057_0017__swiftly swiftly r_0057_0018__and->r_0057_0017__swiftly [conj1] r_0057_0014__to_r_0057_0015__obtain to obtain r_0057_0014__to_r_0057_0015__obtain->r_0057_0018__and [nim] r_0057_0016__reports reports r_0057_0014__to_r_0057_0015__obtain->r_0057_0016__reports [arg1] r_0057_0007__language language r_0057_0014__to_r_0057_0015__obtain->r_0057_0007__language [arg0] r_0057_0006__descriptive descriptive r_0057_0007__language->r_0057_0006__descriptive [attrib] r_0057_0004__simplified simplified r_0057_0007__language->r_0057_0004__simplified [attrib] r_0057_0013__familiar familiar r_0057_0013__familiar->r_0057_0007__language with r_0057_0012__already already r_0057_0013__familiar->r_0057_0012__already [qual] r_0057_0011__is is r_0057_0011__is->r_0057_0013__familiar [prd] r_0057_0001__The_r_0057_0002__programmer The programmer r_0057_0011__is->r_0057_0001__The_r_0057_0002__programmer [arg0] r_0057_0003__uses uses r_0057_0003__uses->r_0057_0014__to_r_0057_0015__obtain [arg1] r_0057_0003__uses->r_0057_0001__The_r_0057_0002__programmer [arg0] 
fof(formula,axiom,
    ? [R_57_3_USES,R_57_14_TO_OBTAIN,R_57_16_REPORTS,R_57_18_AND,R_57_17_SWIFTLY,R_57_19_EFFICIENTLY,R_57_11_IS,R_57_1_THE_PROGRAMMER,R_57_13_FAMILIAR,R_57_12_ALREADY,R_57_7_LANGUAGE,R_57_4_SIMPLIFIED,R_57_6_DESCRIPTIVE] :
      ( reports(R_57_16_REPORTS)
      & swiftly(R_57_17_SWIFTLY)
      & efficiently(R_57_19_EFFICIENTLY)
      & the_programmer(R_57_1_THE_PROGRAMMER)
      & already(R_57_12_ALREADY)
      & simplified(R_57_4_SIMPLIFIED)
      & descriptive(R_57_6_DESCRIPTIVE)
      & uses(R_57_3_USES,R_57_1_THE_PROGRAMMER,R_57_14_TO_OBTAIN)
      & to_obtain(R_57_14_TO_OBTAIN,R_57_7_LANGUAGE,R_57_16_REPORTS)
      & language(R_57_7_LANGUAGE)
      & attrib10(R_57_7_LANGUAGE,R_57_4_SIMPLIFIED)
      & attrib15(R_57_7_LANGUAGE,R_57_6_DESCRIPTIVE)
      & nim48(R_57_14_TO_OBTAIN,R_57_18_AND)
      & and(R_57_18_AND)
      & conj1(R_57_18_AND,R_57_17_SWIFTLY)
      & conj2(R_57_18_AND,R_57_19_EFFICIENTLY)
      & is(R_57_11_IS,R_57_1_THE_PROGRAMMER,R_57_13_FAMILIAR)
      & familiar(R_57_13_FAMILIAR)
      & qual33(R_57_13_FAMILIAR,R_57_12_ALREADY)
      & with(R_57_13_FAMILIAR,R_57_7_LANGUAGE) ) ).


n57_a_ibm_1401 n57_a_ibm_1401__1_1_1_1 The n57_a_ibm_1401__1_1_2_1 programmer n57_a_ibm_1401__1_2_1 uses n57_a_ibm_1401__1_3_1_1_1 simplified n57_a_ibm_1401__1_3_2_1 , n57_a_ibm_1401__1_3_3_1_1 descriptive n57_a_ibm_1401__1_3_4_1 language n57_a_ibm_1401__1_3_5_1_1_1 with n57_a_ibm_1401__1_3_5_1_2_1_1 which n57_a_ibm_1401__1_3_5_2_1_1 he n57_a_ibm_1401__1_3_5_3_1 is n57_a_ibm_1401__1_3_5_4_1_1_1 already n57_a_ibm_1401__1_3_5_4_2_1 familiar n57_a_ibm_1401__1_3_5_4_3_1 *ICH*-128 n57_a_ibm_1401__1_4_1_1 to n57_a_ibm_1401__1_4_2_1 obtain n57_a_ibm_1401__1_4_3_1_1 reports n57_a_ibm_1401__1_4_4_1_1_1_1 swiftly n57_a_ibm_1401__1_4_4_1_2_1_1 and n57_a_ibm_1401__1_4_4_1_2_2_1_1 efficiently n57_a_ibm_1401__1_5_1 . n57_a_ibm_1401__1 IP-MAT n57_a_ibm_1401__1_1 NP-SBJ n57_a_ibm_1401__1->n57_a_ibm_1401__1_1 n57_a_ibm_1401__1_2 VBP;_Tnt_ n57_a_ibm_1401__1->n57_a_ibm_1401__1_2 n57_a_ibm_1401__1_3 NP-DOB1 n57_a_ibm_1401__1->n57_a_ibm_1401__1_3 n57_a_ibm_1401__1_4 IP-INF-OB1 n57_a_ibm_1401__1->n57_a_ibm_1401__1_4 n57_a_ibm_1401__1_5 PUNC n57_a_ibm_1401__1->n57_a_ibm_1401__1_5 n57_a_ibm_1401__1_1_1 D n57_a_ibm_1401__1_1->n57_a_ibm_1401__1_1_1 n57_a_ibm_1401__1_1_2 N n57_a_ibm_1401__1_1->n57_a_ibm_1401__1_1_2 n57_a_ibm_1401__1_1_1->n57_a_ibm_1401__1_1_1_1 n57_a_ibm_1401__1_1_2->n57_a_ibm_1401__1_1_2_1 n57_a_ibm_1401__1_2->n57_a_ibm_1401__1_2_1 n57_a_ibm_1401__1_3_1 ADJP n57_a_ibm_1401__1_3->n57_a_ibm_1401__1_3_1 n57_a_ibm_1401__1_3_2 PUNC n57_a_ibm_1401__1_3->n57_a_ibm_1401__1_3_2 n57_a_ibm_1401__1_3_3 ADJP n57_a_ibm_1401__1_3->n57_a_ibm_1401__1_3_3 n57_a_ibm_1401__1_3_4 N n57_a_ibm_1401__1_3->n57_a_ibm_1401__1_3_4 n57_a_ibm_1401__1_3_5 IP-REL n57_a_ibm_1401__1_3->n57_a_ibm_1401__1_3_5 n57_a_ibm_1401__1_3_1_1 ADJ n57_a_ibm_1401__1_3_1->n57_a_ibm_1401__1_3_1_1 n57_a_ibm_1401__1_3_1_1->n57_a_ibm_1401__1_3_1_1_1 n57_a_ibm_1401__1_3_2->n57_a_ibm_1401__1_3_2_1 n57_a_ibm_1401__1_3_3_1 ADJ n57_a_ibm_1401__1_3_3->n57_a_ibm_1401__1_3_3_1 n57_a_ibm_1401__1_3_3_1->n57_a_ibm_1401__1_3_3_1_1 n57_a_ibm_1401__1_3_4->n57_a_ibm_1401__1_3_4_1 n57_a_ibm_1401__1_3_5_1 PP-128 n57_a_ibm_1401__1_3_5->n57_a_ibm_1401__1_3_5_1 n57_a_ibm_1401__1_3_5_2 NP-SBJ n57_a_ibm_1401__1_3_5->n57_a_ibm_1401__1_3_5_2 n57_a_ibm_1401__1_3_5_3 BEP;_La_ n57_a_ibm_1401__1_3_5->n57_a_ibm_1401__1_3_5_3 n57_a_ibm_1401__1_3_5_4 ADJP-PRD n57_a_ibm_1401__1_3_5->n57_a_ibm_1401__1_3_5_4 n57_a_ibm_1401__1_3_5_1_1 P-ROLE n57_a_ibm_1401__1_3_5_1->n57_a_ibm_1401__1_3_5_1_1 n57_a_ibm_1401__1_3_5_1_2 NP n57_a_ibm_1401__1_3_5_1->n57_a_ibm_1401__1_3_5_1_2 n57_a_ibm_1401__1_3_5_1_1->n57_a_ibm_1401__1_3_5_1_1_1 n57_a_ibm_1401__1_3_5_1_2_1 RPRO n57_a_ibm_1401__1_3_5_1_2->n57_a_ibm_1401__1_3_5_1_2_1 n57_a_ibm_1401__1_3_5_1_2_1->n57_a_ibm_1401__1_3_5_1_2_1_1 n57_a_ibm_1401__1_3_5_2_1 PRO n57_a_ibm_1401__1_3_5_2->n57_a_ibm_1401__1_3_5_2_1 n57_a_ibm_1401__1_3_5_2_1->n57_a_ibm_1401__1_3_5_2_1_1 n57_a_ibm_1401__1_3_5_3->n57_a_ibm_1401__1_3_5_3_1 n57_a_ibm_1401__1_3_5_4_1 ADVP n57_a_ibm_1401__1_3_5_4->n57_a_ibm_1401__1_3_5_4_1 n57_a_ibm_1401__1_3_5_4_2 ADJ n57_a_ibm_1401__1_3_5_4->n57_a_ibm_1401__1_3_5_4_2 n57_a_ibm_1401__1_3_5_4_3 PP n57_a_ibm_1401__1_3_5_4->n57_a_ibm_1401__1_3_5_4_3 n57_a_ibm_1401__1_3_5_4_1_1 ADV n57_a_ibm_1401__1_3_5_4_1->n57_a_ibm_1401__1_3_5_4_1_1 n57_a_ibm_1401__1_3_5_4_1_1->n57_a_ibm_1401__1_3_5_4_1_1_1 n57_a_ibm_1401__1_3_5_4_2->n57_a_ibm_1401__1_3_5_4_2_1 n57_a_ibm_1401__1_3_5_4_3->n57_a_ibm_1401__1_3_5_4_3_1 n57_a_ibm_1401__1_4_1 TO n57_a_ibm_1401__1_4->n57_a_ibm_1401__1_4_1 n57_a_ibm_1401__1_4_2 VB;_Tn_ n57_a_ibm_1401__1_4->n57_a_ibm_1401__1_4_2 n57_a_ibm_1401__1_4_3 NP-OB1 n57_a_ibm_1401__1_4->n57_a_ibm_1401__1_4_3 n57_a_ibm_1401__1_4_4 ADVP-NIM n57_a_ibm_1401__1_4->n57_a_ibm_1401__1_4_4 n57_a_ibm_1401__1_4_1->n57_a_ibm_1401__1_4_1_1 n57_a_ibm_1401__1_4_2->n57_a_ibm_1401__1_4_2_1 n57_a_ibm_1401__1_4_3_1 NS n57_a_ibm_1401__1_4_3->n57_a_ibm_1401__1_4_3_1 n57_a_ibm_1401__1_4_3_1->n57_a_ibm_1401__1_4_3_1_1 n57_a_ibm_1401__1_4_4_1 AVLYR n57_a_ibm_1401__1_4_4->n57_a_ibm_1401__1_4_4_1 n57_a_ibm_1401__1_4_4_1_1 AVLYR n57_a_ibm_1401__1_4_4_1->n57_a_ibm_1401__1_4_4_1_1 n57_a_ibm_1401__1_4_4_1_2 CONJP n57_a_ibm_1401__1_4_4_1->n57_a_ibm_1401__1_4_4_1_2 n57_a_ibm_1401__1_4_4_1_1_1 ADV n57_a_ibm_1401__1_4_4_1_1->n57_a_ibm_1401__1_4_4_1_1_1 n57_a_ibm_1401__1_4_4_1_1_1->n57_a_ibm_1401__1_4_4_1_1_1_1 n57_a_ibm_1401__1_4_4_1_2_1 CONJ n57_a_ibm_1401__1_4_4_1_2->n57_a_ibm_1401__1_4_4_1_2_1 n57_a_ibm_1401__1_4_4_1_2_2 AVLYR n57_a_ibm_1401__1_4_4_1_2->n57_a_ibm_1401__1_4_4_1_2_2 n57_a_ibm_1401__1_4_4_1_2_1->n57_a_ibm_1401__1_4_4_1_2_1_1 n57_a_ibm_1401__1_4_4_1_2_2_1 ADV n57_a_ibm_1401__1_4_4_1_2_2->n57_a_ibm_1401__1_4_4_1_2_2_1 n57_a_ibm_1401__1_4_4_1_2_2_1->n57_a_ibm_1401__1_4_4_1_2_2_1_1 n57_a_ibm_1401__1_5->n57_a_ibm_1401__1_5_1 
( (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))