Context                Previous, Next                Top


47_a_ibm_1401
These are pre-written instructions to perform many of the everyday operations of an installation.

%3 r_0047_0002__are are r_0047_0001__These These r_0047_0002__are->r_0047_0001__These [arg0] r_0047_0004__instructions instructions r_0047_0002__are->r_0047_0004__instructions [prd] r_0047_0003__pre__hyphen__written pre-written r_0047_0004__instructions->r_0047_0003__pre__hyphen__written [attrib] r_0047_0005__to_r_0047_0006__perform to perform r_0047_0005__to_r_0047_0006__perform->r_0047_0004__instructions [arg0] z_000_47_a_ibm_1401_20 r_0047_0005__to_r_0047_0006__perform->z_000_47_a_ibm_1401_20 [arg1] r_0047_0009__the_r_0047_0011__operations the operations z_000_47_a_ibm_1401_20->r_0047_0009__the_r_0047_0011__operations of r_0047_0007__many_quant many [quant] r_0047_0007__many_quant->r_0047_0005__to_r_0047_0006__perform [scope] r_0047_0007__many_quant->z_000_47_a_ibm_1401_20 [restriction] r_0047_0010__everyday everyday r_0047_0009__the_r_0047_0011__operations->r_0047_0010__everyday [attrib] r_0047_0013__an_r_0047_0014__installation an installation r_0047_0009__the_r_0047_0011__operations->r_0047_0013__an_r_0047_0014__installation of 
arc(r_0047_0002__are, r_0047_0001__These, arg0).
arc(r_0047_0002__are, r_0047_0004__instructions, prd).
arc(r_0047_0004__instructions, r_0047_0003__pre__hyphen__written, attrib8).
arc(r_0047_0005__to_r_0047_0006__perform, r_0047_0004__instructions, arg0).
arc(r_0047_0005__to_r_0047_0006__perform, z_000_47_a_ibm_1401_20, arg1).
arc(r_0047_0007__many_quant, r_0047_0005__to_r_0047_0006__perform, scope).
arc(r_0047_0007__many_quant, z_000_47_a_ibm_1401_20, restriction).
arc(r_0047_0009__the_r_0047_0011__operations, r_0047_0010__everyday, attrib29).
arc(r_0047_0009__the_r_0047_0011__operations, r_0047_0013__an_r_0047_0014__installation, r_0047_0012__of).
arc(z_000_47_a_ibm_1401_20, r_0047_0009__the_r_0047_0011__operations, r_0047_0008__of).


%3 z_000_47_a_ibm_1401_20 r_0047_0009__the_r_0047_0011__operations the operations z_000_47_a_ibm_1401_20->r_0047_0009__the_r_0047_0011__operations of r_0047_0013__an_r_0047_0014__installation an installation r_0047_0009__the_r_0047_0011__operations->r_0047_0013__an_r_0047_0014__installation of r_0047_0010__everyday everyday r_0047_0009__the_r_0047_0011__operations->r_0047_0010__everyday [attrib] r_0047_0007__many_quant many [quant] r_0047_0007__many_quant->z_000_47_a_ibm_1401_20 [restriction] r_0047_0005__to_r_0047_0006__perform to perform r_0047_0007__many_quant->r_0047_0005__to_r_0047_0006__perform [scope] r_0047_0005__to_r_0047_0006__perform->z_000_47_a_ibm_1401_20 [arg1] r_0047_0004__instructions instructions r_0047_0005__to_r_0047_0006__perform->r_0047_0004__instructions [arg0] r_0047_0003__pre__hyphen__written pre-written r_0047_0004__instructions->r_0047_0003__pre__hyphen__written [attrib] r_0047_0002__are are r_0047_0002__are->r_0047_0004__instructions [prd] r_0047_0001__These These r_0047_0002__are->r_0047_0001__These [arg0] 
fof(formula,axiom,
    ? [R_47_2_ARE,R_47_1_THESE,R_47_4_INSTRUCTIONS,R_47_3_PRE_HYPHEN_WRITTEN] :
      ( these(R_47_1_THESE)
      & pre_hyphen_written(R_47_3_PRE_HYPHEN_WRITTEN)
      & are(R_47_2_ARE,R_47_1_THESE,R_47_4_INSTRUCTIONS)
      & instructions(R_47_4_INSTRUCTIONS)
      & attrib8(R_47_4_INSTRUCTIONS,R_47_3_PRE_HYPHEN_WRITTEN)
      & ! [Z_47_A_IBM_1401_20,R_47_9_THE_OPERATIONS,R_47_10_EVERYDAY,R_47_13_AN_INSTALLATION] :
          ( ( everyday(R_47_10_EVERYDAY)
            & an_installation(R_47_13_AN_INSTALLATION)
            & z_47_a_ibm_1401_20(Z_47_A_IBM_1401_20)
            & of(Z_47_A_IBM_1401_20,R_47_9_THE_OPERATIONS)
            & the_operations(R_47_9_THE_OPERATIONS)
            & attrib29(R_47_9_THE_OPERATIONS,R_47_10_EVERYDAY)
            & of(R_47_9_THE_OPERATIONS,R_47_13_AN_INSTALLATION) )
         => ? [R_47_5_TO_PERFORM] : to_perform(R_47_5_TO_PERFORM,R_47_4_INSTRUCTIONS,Z_47_A_IBM_1401_20) ) ) ).


n47_a_ibm_1401 n47_a_ibm_1401__1_1_1_1 These n47_a_ibm_1401__1_2_1 are n47_a_ibm_1401__1_3_1_1_1 pre-written n47_a_ibm_1401__1_3_2_1 instructions n47_a_ibm_1401__1_3_3_1_1 *T* n47_a_ibm_1401__1_3_3_2_1 to n47_a_ibm_1401__1_3_3_3_1 perform n47_a_ibm_1401__1_3_3_4_1_1 many n47_a_ibm_1401__1_3_3_4_2_1_1 of n47_a_ibm_1401__1_3_3_4_2_2_1_1 the n47_a_ibm_1401__1_3_3_4_2_2_2_1_1 everyday n47_a_ibm_1401__1_3_3_4_2_2_3_1 operations n47_a_ibm_1401__1_3_3_4_2_2_4_1_1 of n47_a_ibm_1401__1_3_3_4_2_2_4_2_1_1 an n47_a_ibm_1401__1_3_3_4_2_2_4_2_2_1 installation n47_a_ibm_1401__1_4_1 . n47_a_ibm_1401__1 IP-MAT n47_a_ibm_1401__1_1 NP-SBJ n47_a_ibm_1401__1->n47_a_ibm_1401__1_1 n47_a_ibm_1401__1_2 BEP;_Ln_ n47_a_ibm_1401__1->n47_a_ibm_1401__1_2 n47_a_ibm_1401__1_3 NP-PRD n47_a_ibm_1401__1->n47_a_ibm_1401__1_3 n47_a_ibm_1401__1_4 PUNC n47_a_ibm_1401__1->n47_a_ibm_1401__1_4 n47_a_ibm_1401__1_1_1 D;_nphd_ n47_a_ibm_1401__1_1->n47_a_ibm_1401__1_1_1 n47_a_ibm_1401__1_1_1->n47_a_ibm_1401__1_1_1_1 n47_a_ibm_1401__1_2->n47_a_ibm_1401__1_2_1 n47_a_ibm_1401__1_3_1 ADJP n47_a_ibm_1401__1_3->n47_a_ibm_1401__1_3_1 n47_a_ibm_1401__1_3_2 NS n47_a_ibm_1401__1_3->n47_a_ibm_1401__1_3_2 n47_a_ibm_1401__1_3_3 IP-INF-REL n47_a_ibm_1401__1_3->n47_a_ibm_1401__1_3_3 n47_a_ibm_1401__1_3_1_1 ADJ n47_a_ibm_1401__1_3_1->n47_a_ibm_1401__1_3_1_1 n47_a_ibm_1401__1_3_1_1->n47_a_ibm_1401__1_3_1_1_1 n47_a_ibm_1401__1_3_2->n47_a_ibm_1401__1_3_2_1 n47_a_ibm_1401__1_3_3_1 NP-SBJ n47_a_ibm_1401__1_3_3->n47_a_ibm_1401__1_3_3_1 n47_a_ibm_1401__1_3_3_2 TO n47_a_ibm_1401__1_3_3->n47_a_ibm_1401__1_3_3_2 n47_a_ibm_1401__1_3_3_3 VB;_Tn_ n47_a_ibm_1401__1_3_3->n47_a_ibm_1401__1_3_3_3 n47_a_ibm_1401__1_3_3_4 NP-OB1 n47_a_ibm_1401__1_3_3->n47_a_ibm_1401__1_3_3_4 n47_a_ibm_1401__1_3_3_1->n47_a_ibm_1401__1_3_3_1_1 n47_a_ibm_1401__1_3_3_2->n47_a_ibm_1401__1_3_3_2_1 n47_a_ibm_1401__1_3_3_3->n47_a_ibm_1401__1_3_3_3_1 n47_a_ibm_1401__1_3_3_4_1 Q;_nphd_ n47_a_ibm_1401__1_3_3_4->n47_a_ibm_1401__1_3_3_4_1 n47_a_ibm_1401__1_3_3_4_2 PP n47_a_ibm_1401__1_3_3_4->n47_a_ibm_1401__1_3_3_4_2 n47_a_ibm_1401__1_3_3_4_1->n47_a_ibm_1401__1_3_3_4_1_1 n47_a_ibm_1401__1_3_3_4_2_1 P-ROLE n47_a_ibm_1401__1_3_3_4_2->n47_a_ibm_1401__1_3_3_4_2_1 n47_a_ibm_1401__1_3_3_4_2_2 NP n47_a_ibm_1401__1_3_3_4_2->n47_a_ibm_1401__1_3_3_4_2_2 n47_a_ibm_1401__1_3_3_4_2_1->n47_a_ibm_1401__1_3_3_4_2_1_1 n47_a_ibm_1401__1_3_3_4_2_2_1 D n47_a_ibm_1401__1_3_3_4_2_2->n47_a_ibm_1401__1_3_3_4_2_2_1 n47_a_ibm_1401__1_3_3_4_2_2_2 ADJP n47_a_ibm_1401__1_3_3_4_2_2->n47_a_ibm_1401__1_3_3_4_2_2_2 n47_a_ibm_1401__1_3_3_4_2_2_3 NS n47_a_ibm_1401__1_3_3_4_2_2->n47_a_ibm_1401__1_3_3_4_2_2_3 n47_a_ibm_1401__1_3_3_4_2_2_4 PP n47_a_ibm_1401__1_3_3_4_2_2->n47_a_ibm_1401__1_3_3_4_2_2_4 n47_a_ibm_1401__1_3_3_4_2_2_1->n47_a_ibm_1401__1_3_3_4_2_2_1_1 n47_a_ibm_1401__1_3_3_4_2_2_2_1 ADJ n47_a_ibm_1401__1_3_3_4_2_2_2->n47_a_ibm_1401__1_3_3_4_2_2_2_1 n47_a_ibm_1401__1_3_3_4_2_2_2_1->n47_a_ibm_1401__1_3_3_4_2_2_2_1_1 n47_a_ibm_1401__1_3_3_4_2_2_3->n47_a_ibm_1401__1_3_3_4_2_2_3_1 n47_a_ibm_1401__1_3_3_4_2_2_4_1 P-ROLE n47_a_ibm_1401__1_3_3_4_2_2_4->n47_a_ibm_1401__1_3_3_4_2_2_4_1 n47_a_ibm_1401__1_3_3_4_2_2_4_2 NP n47_a_ibm_1401__1_3_3_4_2_2_4->n47_a_ibm_1401__1_3_3_4_2_2_4_2 n47_a_ibm_1401__1_3_3_4_2_2_4_1->n47_a_ibm_1401__1_3_3_4_2_2_4_1_1 n47_a_ibm_1401__1_3_3_4_2_2_4_2_1 D n47_a_ibm_1401__1_3_3_4_2_2_4_2->n47_a_ibm_1401__1_3_3_4_2_2_4_2_1 n47_a_ibm_1401__1_3_3_4_2_2_4_2_2 N n47_a_ibm_1401__1_3_3_4_2_2_4_2->n47_a_ibm_1401__1_3_3_4_2_2_4_2_2 n47_a_ibm_1401__1_3_3_4_2_2_4_2_1->n47_a_ibm_1401__1_3_3_4_2_2_4_2_1_1 n47_a_ibm_1401__1_3_3_4_2_2_4_2_2->n47_a_ibm_1401__1_3_3_4_2_2_4_2_2_1 n47_a_ibm_1401__1_4->n47_a_ibm_1401__1_4_1 
( (IP-MAT (NP-SBJ;{UTILITY_PROGRAMS} (D;_nphd_ These;{these}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (ADJP (ADJ pre_<hyphen>_written;{pre_written}))
                  (NS instructions;{instruction})
                  (IP-INF-REL (NP-SBJ *T*)
                              (TO to;{to})
                              (VB;_Tn_ perform;{perform})
                              (NP-OB1 (Q;_nphd_ many;{many})
                                      (PP (P-ROLE of;{of})
                                          (NP (D the;{the})
                                              (ADJP (ADJ everyday;{everyday}))
                                              (NS operations;{operation})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D an;{an})
                                                      (N installation;{installation}))))))))
          (PUNC .))
  (ID 47_a_ibm_1401))