Context                Previous, Next                Top


51_a_ibm_1401
These are generalized instructions, particularly useful to 1401 customers who also use larger data processing systems.

%3 r_0051_0002__are are r_0051_0001__These These r_0051_0002__are->r_0051_0001__These [arg0] r_0051_0004__instructions instructions r_0051_0002__are->r_0051_0004__instructions [prd] r_0051_0003__generalized generalized r_0051_0004__instructions->r_0051_0003__generalized [attrib] r_0051_0007__useful useful r_0051_0004__instructions->r_0051_0007__useful [attrib] r_0051_0006__particularly particularly r_0051_0007__useful->r_0051_0006__particularly [qual] r_0051_0009__1401_r_0051_0010__customers 1401 customers r_0051_0007__useful->r_0051_0009__1401_r_0051_0010__customers to r_0051_0013__use use r_0051_0013__use->r_0051_0009__1401_r_0051_0010__customers [arg0] r_0051_0012__also also r_0051_0013__use->r_0051_0012__also [nim] r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems data processing systems r_0051_0013__use->r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems [arg1] r_0051_0014__larger larger r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems->r_0051_0014__larger [attrib] 
arc(r_0051_0002__are, r_0051_0001__These, arg0).
arc(r_0051_0002__are, r_0051_0004__instructions, prd).
arc(r_0051_0004__instructions, r_0051_0003__generalized, attrib8).
arc(r_0051_0004__instructions, r_0051_0007__useful, attrib15).
arc(r_0051_0007__useful, r_0051_0006__particularly, qual16).
arc(r_0051_0007__useful, r_0051_0009__1401_r_0051_0010__customers, r_0051_0008__to).
arc(r_0051_0013__use, r_0051_0009__1401_r_0051_0010__customers, arg0).
arc(r_0051_0013__use, r_0051_0012__also, nim33).
arc(r_0051_0013__use, r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems, arg1).
arc(r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems, r_0051_0014__larger, attrib39).


%3 r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems data processing systems r_0051_0014__larger larger r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems->r_0051_0014__larger [attrib] r_0051_0013__use use r_0051_0013__use->r_0051_0015__data_r_0051_0016__processing_r_0051_0017__systems [arg1] r_0051_0012__also also r_0051_0013__use->r_0051_0012__also [nim] r_0051_0009__1401_r_0051_0010__customers 1401 customers r_0051_0013__use->r_0051_0009__1401_r_0051_0010__customers [arg0] r_0051_0007__useful useful r_0051_0007__useful->r_0051_0009__1401_r_0051_0010__customers to r_0051_0006__particularly particularly r_0051_0007__useful->r_0051_0006__particularly [qual] r_0051_0004__instructions instructions r_0051_0004__instructions->r_0051_0007__useful [attrib] r_0051_0003__generalized generalized r_0051_0004__instructions->r_0051_0003__generalized [attrib] r_0051_0002__are are r_0051_0002__are->r_0051_0004__instructions [prd] r_0051_0001__These These r_0051_0002__are->r_0051_0001__These [arg0] 
fof(formula,axiom,
    ? [R_51_2_ARE,R_51_1_THESE,R_51_4_INSTRUCTIONS,R_51_7_USEFUL,R_51_6_PARTICULARLY,R_51_3_GENERALIZED,R_51_13_USE,R_51_9_1401_CUSTOMERS,R_51_15_DATA_PROCESSING_SYSTEMS,R_51_14_LARGER,R_51_12_ALSO] :
      ( these(R_51_1_THESE)
      & particularly(R_51_6_PARTICULARLY)
      & generalized(R_51_3_GENERALIZED)
      & 1401_customers(R_51_9_1401_CUSTOMERS)
      & larger(R_51_14_LARGER)
      & also(R_51_12_ALSO)
      & are(R_51_2_ARE,R_51_1_THESE,R_51_4_INSTRUCTIONS)
      & instructions(R_51_4_INSTRUCTIONS)
      & attrib15(R_51_4_INSTRUCTIONS,R_51_7_USEFUL)
      & useful(R_51_7_USEFUL)
      & qual16(R_51_7_USEFUL,R_51_6_PARTICULARLY)
      & to(R_51_7_USEFUL,R_51_9_1401_CUSTOMERS)
      & attrib8(R_51_4_INSTRUCTIONS,R_51_3_GENERALIZED)
      & use(R_51_13_USE,R_51_9_1401_CUSTOMERS,R_51_15_DATA_PROCESSING_SYSTEMS)
      & data_processing_systems(R_51_15_DATA_PROCESSING_SYSTEMS)
      & attrib39(R_51_15_DATA_PROCESSING_SYSTEMS,R_51_14_LARGER)
      & nim33(R_51_13_USE,R_51_12_ALSO) ) ).


n51_a_ibm_1401 n51_a_ibm_1401__1_1_1_1 These n51_a_ibm_1401__1_2_1 are n51_a_ibm_1401__1_3_1_1_1 generalized n51_a_ibm_1401__1_3_2_1 instructions n51_a_ibm_1401__1_3_3_1 , n51_a_ibm_1401__1_3_4_1_1_1 particularly n51_a_ibm_1401__1_3_4_2_1 useful n51_a_ibm_1401__1_3_4_3_1_1 to n51_a_ibm_1401__1_3_4_3_2_1_1 1401 n51_a_ibm_1401__1_3_4_3_2_2_1 customers n51_a_ibm_1401__1_3_4_3_2_3_1_1_1 who n51_a_ibm_1401__1_3_4_3_2_3_2_1_1 also n51_a_ibm_1401__1_3_4_3_2_3_3_1 use n51_a_ibm_1401__1_3_4_3_2_3_4_1_1_1 larger n51_a_ibm_1401__1_3_4_3_2_3_4_2_1 data n51_a_ibm_1401__1_3_4_3_2_3_4_3_1 processing n51_a_ibm_1401__1_3_4_3_2_3_4_4_1 systems n51_a_ibm_1401__1_4_1 . n51_a_ibm_1401__1 IP-MAT n51_a_ibm_1401__1_1 NP-SBJ n51_a_ibm_1401__1->n51_a_ibm_1401__1_1 n51_a_ibm_1401__1_2 BEP;_Ln_ n51_a_ibm_1401__1->n51_a_ibm_1401__1_2 n51_a_ibm_1401__1_3 NP-PRD n51_a_ibm_1401__1->n51_a_ibm_1401__1_3 n51_a_ibm_1401__1_4 PUNC n51_a_ibm_1401__1->n51_a_ibm_1401__1_4 n51_a_ibm_1401__1_1_1 D;_nphd_ n51_a_ibm_1401__1_1->n51_a_ibm_1401__1_1_1 n51_a_ibm_1401__1_1_1->n51_a_ibm_1401__1_1_1_1 n51_a_ibm_1401__1_2->n51_a_ibm_1401__1_2_1 n51_a_ibm_1401__1_3_1 ADJP n51_a_ibm_1401__1_3->n51_a_ibm_1401__1_3_1 n51_a_ibm_1401__1_3_2 NS n51_a_ibm_1401__1_3->n51_a_ibm_1401__1_3_2 n51_a_ibm_1401__1_3_3 PUNC n51_a_ibm_1401__1_3->n51_a_ibm_1401__1_3_3 n51_a_ibm_1401__1_3_4 ADJP n51_a_ibm_1401__1_3->n51_a_ibm_1401__1_3_4 n51_a_ibm_1401__1_3_1_1 ADJ n51_a_ibm_1401__1_3_1->n51_a_ibm_1401__1_3_1_1 n51_a_ibm_1401__1_3_1_1->n51_a_ibm_1401__1_3_1_1_1 n51_a_ibm_1401__1_3_2->n51_a_ibm_1401__1_3_2_1 n51_a_ibm_1401__1_3_3->n51_a_ibm_1401__1_3_3_1 n51_a_ibm_1401__1_3_4_1 ADVP n51_a_ibm_1401__1_3_4->n51_a_ibm_1401__1_3_4_1 n51_a_ibm_1401__1_3_4_2 ADJ n51_a_ibm_1401__1_3_4->n51_a_ibm_1401__1_3_4_2 n51_a_ibm_1401__1_3_4_3 PP n51_a_ibm_1401__1_3_4->n51_a_ibm_1401__1_3_4_3 n51_a_ibm_1401__1_3_4_1_1 ADV n51_a_ibm_1401__1_3_4_1->n51_a_ibm_1401__1_3_4_1_1 n51_a_ibm_1401__1_3_4_1_1->n51_a_ibm_1401__1_3_4_1_1_1 n51_a_ibm_1401__1_3_4_2->n51_a_ibm_1401__1_3_4_2_1 n51_a_ibm_1401__1_3_4_3_1 P-ROLE n51_a_ibm_1401__1_3_4_3->n51_a_ibm_1401__1_3_4_3_1 n51_a_ibm_1401__1_3_4_3_2 NP n51_a_ibm_1401__1_3_4_3->n51_a_ibm_1401__1_3_4_3_2 n51_a_ibm_1401__1_3_4_3_1->n51_a_ibm_1401__1_3_4_3_1_1 n51_a_ibm_1401__1_3_4_3_2_1 NPR n51_a_ibm_1401__1_3_4_3_2->n51_a_ibm_1401__1_3_4_3_2_1 n51_a_ibm_1401__1_3_4_3_2_2 NS n51_a_ibm_1401__1_3_4_3_2->n51_a_ibm_1401__1_3_4_3_2_2 n51_a_ibm_1401__1_3_4_3_2_3 IP-REL n51_a_ibm_1401__1_3_4_3_2->n51_a_ibm_1401__1_3_4_3_2_3 n51_a_ibm_1401__1_3_4_3_2_1->n51_a_ibm_1401__1_3_4_3_2_1_1 n51_a_ibm_1401__1_3_4_3_2_2->n51_a_ibm_1401__1_3_4_3_2_2_1 n51_a_ibm_1401__1_3_4_3_2_3_1 NP-SBJ n51_a_ibm_1401__1_3_4_3_2_3->n51_a_ibm_1401__1_3_4_3_2_3_1 n51_a_ibm_1401__1_3_4_3_2_3_2 ADVP-NIM n51_a_ibm_1401__1_3_4_3_2_3->n51_a_ibm_1401__1_3_4_3_2_3_2 n51_a_ibm_1401__1_3_4_3_2_3_3 VBP;_Tn_ n51_a_ibm_1401__1_3_4_3_2_3->n51_a_ibm_1401__1_3_4_3_2_3_3 n51_a_ibm_1401__1_3_4_3_2_3_4 NP-OB1 n51_a_ibm_1401__1_3_4_3_2_3->n51_a_ibm_1401__1_3_4_3_2_3_4 n51_a_ibm_1401__1_3_4_3_2_3_1_1 RPRO n51_a_ibm_1401__1_3_4_3_2_3_1->n51_a_ibm_1401__1_3_4_3_2_3_1_1 n51_a_ibm_1401__1_3_4_3_2_3_1_1->n51_a_ibm_1401__1_3_4_3_2_3_1_1_1 n51_a_ibm_1401__1_3_4_3_2_3_2_1 ADV n51_a_ibm_1401__1_3_4_3_2_3_2->n51_a_ibm_1401__1_3_4_3_2_3_2_1 n51_a_ibm_1401__1_3_4_3_2_3_2_1->n51_a_ibm_1401__1_3_4_3_2_3_2_1_1 n51_a_ibm_1401__1_3_4_3_2_3_3->n51_a_ibm_1401__1_3_4_3_2_3_3_1 n51_a_ibm_1401__1_3_4_3_2_3_4_1 ADJP n51_a_ibm_1401__1_3_4_3_2_3_4->n51_a_ibm_1401__1_3_4_3_2_3_4_1 n51_a_ibm_1401__1_3_4_3_2_3_4_2 NS n51_a_ibm_1401__1_3_4_3_2_3_4->n51_a_ibm_1401__1_3_4_3_2_3_4_2 n51_a_ibm_1401__1_3_4_3_2_3_4_3 N n51_a_ibm_1401__1_3_4_3_2_3_4->n51_a_ibm_1401__1_3_4_3_2_3_4_3 n51_a_ibm_1401__1_3_4_3_2_3_4_4 NS n51_a_ibm_1401__1_3_4_3_2_3_4->n51_a_ibm_1401__1_3_4_3_2_3_4_4 n51_a_ibm_1401__1_3_4_3_2_3_4_1_1 ADJR n51_a_ibm_1401__1_3_4_3_2_3_4_1->n51_a_ibm_1401__1_3_4_3_2_3_4_1_1 n51_a_ibm_1401__1_3_4_3_2_3_4_1_1->n51_a_ibm_1401__1_3_4_3_2_3_4_1_1_1 n51_a_ibm_1401__1_3_4_3_2_3_4_2->n51_a_ibm_1401__1_3_4_3_2_3_4_2_1 n51_a_ibm_1401__1_3_4_3_2_3_4_3->n51_a_ibm_1401__1_3_4_3_2_3_4_3_1 n51_a_ibm_1401__1_3_4_3_2_3_4_4->n51_a_ibm_1401__1_3_4_3_2_3_4_4_1 n51_a_ibm_1401__1_4->n51_a_ibm_1401__1_4_1 
( (IP-MAT (NP-SBJ;{TAPE_UTILITIES} (D;_nphd_ These;{these}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (ADJP (ADJ generalized;{generalized}))
                  (NS instructions;{instruction})
                  (PUNC ,)
                  (ADJP (ADVP (ADV particularly;{particularly}))
                        (ADJ useful;{useful})
                        (PP (P-ROLE to;{to})
                            (NP (NPR 1401)
                                (NS customers;{customer})
                                (IP-REL (NP-SBJ (RPRO who;{who}))
                                        (ADVP-NIM (ADV also;{also}))
                                        (VBP;_Tn_ use;{use})
                                        (NP-OB1 (ADJP (ADJR larger;{large}))
                                                (NS data;{data})
                                                (N processing;{processing})
                                                (NS systems;{system})))))))
          (PUNC .))
  (ID 51_a_ibm_1401))