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_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] 
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_4 The n57_a_ibm_1401_6 programmer n57_a_ibm_1401_8 uses n57_a_ibm_1401_12 simplified n57_a_ibm_1401_14 , n57_a_ibm_1401_17 descriptive n57_a_ibm_1401_19 language n57_a_ibm_1401_23 with n57_a_ibm_1401_26 which n57_a_ibm_1401_29 he n57_a_ibm_1401_31 is n57_a_ibm_1401_35 already n57_a_ibm_1401_37 familiar n57_a_ibm_1401_39 *ICH*-128 n57_a_ibm_1401_42 to n57_a_ibm_1401_44 obtain n57_a_ibm_1401_47 reports n57_a_ibm_1401_52 swiftly n57_a_ibm_1401_55 and n57_a_ibm_1401_58 efficiently n57_a_ibm_1401_60 . n57_a_ibm_1401_1 IP-MAT n57_a_ibm_1401_2 NP-SBJ n57_a_ibm_1401_1->n57_a_ibm_1401_2 n57_a_ibm_1401_7 VBP;_Tnt_ n57_a_ibm_1401_1->n57_a_ibm_1401_7 n57_a_ibm_1401_9 NP-DOB1 n57_a_ibm_1401_1->n57_a_ibm_1401_9 n57_a_ibm_1401_40 IP-INF-OB1 n57_a_ibm_1401_1->n57_a_ibm_1401_40 n57_a_ibm_1401_59 PUNC n57_a_ibm_1401_1->n57_a_ibm_1401_59 n57_a_ibm_1401_3 D n57_a_ibm_1401_2->n57_a_ibm_1401_3 n57_a_ibm_1401_5 N n57_a_ibm_1401_2->n57_a_ibm_1401_5 n57_a_ibm_1401_3->n57_a_ibm_1401_4 n57_a_ibm_1401_5->n57_a_ibm_1401_6 n57_a_ibm_1401_7->n57_a_ibm_1401_8 n57_a_ibm_1401_10 ADJP n57_a_ibm_1401_9->n57_a_ibm_1401_10 n57_a_ibm_1401_13 PUNC n57_a_ibm_1401_9->n57_a_ibm_1401_13 n57_a_ibm_1401_15 ADJP n57_a_ibm_1401_9->n57_a_ibm_1401_15 n57_a_ibm_1401_18 N n57_a_ibm_1401_9->n57_a_ibm_1401_18 n57_a_ibm_1401_20 IP-REL n57_a_ibm_1401_9->n57_a_ibm_1401_20 n57_a_ibm_1401_11 ADJ n57_a_ibm_1401_10->n57_a_ibm_1401_11 n57_a_ibm_1401_11->n57_a_ibm_1401_12 n57_a_ibm_1401_13->n57_a_ibm_1401_14 n57_a_ibm_1401_16 ADJ n57_a_ibm_1401_15->n57_a_ibm_1401_16 n57_a_ibm_1401_16->n57_a_ibm_1401_17 n57_a_ibm_1401_18->n57_a_ibm_1401_19 n57_a_ibm_1401_21 PP-128 n57_a_ibm_1401_20->n57_a_ibm_1401_21 n57_a_ibm_1401_27 NP-SBJ n57_a_ibm_1401_20->n57_a_ibm_1401_27 n57_a_ibm_1401_30 BEP;_La_ n57_a_ibm_1401_20->n57_a_ibm_1401_30 n57_a_ibm_1401_32 ADJP-PRD n57_a_ibm_1401_20->n57_a_ibm_1401_32 n57_a_ibm_1401_22 P-ROLE n57_a_ibm_1401_21->n57_a_ibm_1401_22 n57_a_ibm_1401_24 NP n57_a_ibm_1401_21->n57_a_ibm_1401_24 n57_a_ibm_1401_22->n57_a_ibm_1401_23 n57_a_ibm_1401_25 RPRO n57_a_ibm_1401_24->n57_a_ibm_1401_25 n57_a_ibm_1401_25->n57_a_ibm_1401_26 n57_a_ibm_1401_28 PRO n57_a_ibm_1401_27->n57_a_ibm_1401_28 n57_a_ibm_1401_28->n57_a_ibm_1401_29 n57_a_ibm_1401_30->n57_a_ibm_1401_31 n57_a_ibm_1401_33 ADVP n57_a_ibm_1401_32->n57_a_ibm_1401_33 n57_a_ibm_1401_36 ADJ n57_a_ibm_1401_32->n57_a_ibm_1401_36 n57_a_ibm_1401_38 PP n57_a_ibm_1401_32->n57_a_ibm_1401_38 n57_a_ibm_1401_34 ADV n57_a_ibm_1401_33->n57_a_ibm_1401_34 n57_a_ibm_1401_34->n57_a_ibm_1401_35 n57_a_ibm_1401_36->n57_a_ibm_1401_37 n57_a_ibm_1401_38->n57_a_ibm_1401_39 n57_a_ibm_1401_41 TO n57_a_ibm_1401_40->n57_a_ibm_1401_41 n57_a_ibm_1401_43 VB;_Tn_ n57_a_ibm_1401_40->n57_a_ibm_1401_43 n57_a_ibm_1401_45 NP-OB1 n57_a_ibm_1401_40->n57_a_ibm_1401_45 n57_a_ibm_1401_48 ADVP-NIM n57_a_ibm_1401_40->n57_a_ibm_1401_48 n57_a_ibm_1401_41->n57_a_ibm_1401_42 n57_a_ibm_1401_43->n57_a_ibm_1401_44 n57_a_ibm_1401_46 NS n57_a_ibm_1401_45->n57_a_ibm_1401_46 n57_a_ibm_1401_46->n57_a_ibm_1401_47 n57_a_ibm_1401_49 AVLYR n57_a_ibm_1401_48->n57_a_ibm_1401_49 n57_a_ibm_1401_50 AVLYR n57_a_ibm_1401_49->n57_a_ibm_1401_50 n57_a_ibm_1401_53 CONJP n57_a_ibm_1401_49->n57_a_ibm_1401_53 n57_a_ibm_1401_51 ADV n57_a_ibm_1401_50->n57_a_ibm_1401_51 n57_a_ibm_1401_51->n57_a_ibm_1401_52 n57_a_ibm_1401_54 CONJ n57_a_ibm_1401_53->n57_a_ibm_1401_54 n57_a_ibm_1401_56 AVLYR n57_a_ibm_1401_53->n57_a_ibm_1401_56 n57_a_ibm_1401_54->n57_a_ibm_1401_55 n57_a_ibm_1401_57 ADV n57_a_ibm_1401_56->n57_a_ibm_1401_57 n57_a_ibm_1401_57->n57_a_ibm_1401_58 n57_a_ibm_1401_59->n57_a_ibm_1401_60 
( (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))