Context                Previous, Next                Top


13_a_ibm_1401
A program is a series of instructions that direct the 1401 as it solves an application.

%3 r_0013_0003__is is r_0013_0001__A_r_0013_0002__program A program r_0013_0003__is->r_0013_0001__A_r_0013_0002__program [arg0] r_0013_0004__a_r_0013_0005__series a series r_0013_0003__is->r_0013_0004__a_r_0013_0005__series [prd] r_0013_0007__instructions instructions r_0013_0004__a_r_0013_0005__series->r_0013_0007__instructions of r_0013_0008__that_r_0013_0009__direct that direct r_0013_0008__that_r_0013_0009__direct->r_0013_0007__instructions [arg0] r_0013_0010__the_r_0013_0011__1401 the 1401 r_0013_0008__that_r_0013_0009__direct->r_0013_0010__the_r_0013_0011__1401 [arg1] r_0013_0012__as as r_0013_0012__as->r_0013_0008__that_r_0013_0009__direct [scope] r_0013_0014__solves solves r_0013_0012__as->r_0013_0014__solves [restriction] r_0013_0014__solves->r_0013_0010__the_r_0013_0011__1401 [arg0] r_0013_0015__an_r_0013_0016__application an application r_0013_0014__solves->r_0013_0015__an_r_0013_0016__application [arg1] 
arc(r_0013_0003__is, r_0013_0001__A_r_0013_0002__program, arg0).
arc(r_0013_0003__is, r_0013_0004__a_r_0013_0005__series, prd).
arc(r_0013_0004__a_r_0013_0005__series, r_0013_0007__instructions, r_0013_0006__of).
arc(r_0013_0008__that_r_0013_0009__direct, r_0013_0007__instructions, arg0).
arc(r_0013_0008__that_r_0013_0009__direct, r_0013_0010__the_r_0013_0011__1401, arg1).
arc(r_0013_0012__as, r_0013_0008__that_r_0013_0009__direct, scope).
arc(r_0013_0012__as, r_0013_0014__solves, restriction).
arc(r_0013_0014__solves, r_0013_0010__the_r_0013_0011__1401, arg0).
arc(r_0013_0014__solves, r_0013_0015__an_r_0013_0016__application, arg1).


%3 r_0013_0003__is is r_0013_0001__A_r_0013_0002__program A program r_0013_0003__is->r_0013_0001__A_r_0013_0002__program [arg0] r_0013_0004__a_r_0013_0005__series a series r_0013_0003__is->r_0013_0004__a_r_0013_0005__series [prd] r_0013_0007__instructions instructions r_0013_0004__a_r_0013_0005__series->r_0013_0007__instructions of r_0013_0008__that_r_0013_0009__direct that direct r_0013_0008__that_r_0013_0009__direct->r_0013_0007__instructions [arg0] r_0013_0010__the_r_0013_0011__1401 the 1401 r_0013_0008__that_r_0013_0009__direct->r_0013_0010__the_r_0013_0011__1401 [arg1] r_0013_0012__as as r_0013_0012__as->r_0013_0008__that_r_0013_0009__direct [conj2] r_0013_0014__solves solves r_0013_0012__as->r_0013_0014__solves [conj1] r_0013_0014__solves->r_0013_0010__the_r_0013_0011__1401 [arg0] r_0013_0015__an_r_0013_0016__application an application r_0013_0014__solves->r_0013_0015__an_r_0013_0016__application [arg1] 
fof(formula,axiom,
    ? [R_13_3_IS,R_13_1_A_PROGRAM,R_13_4_A_SERIES,R_13_12_AS,R_13_14_SOLVES,R_13_15_AN_APPLICATION,R_13_8_THAT_DIRECT,R_13_7_INSTRUCTIONS,R_13_10_THE_1401] :
      ( a_program(R_13_1_A_PROGRAM)
      & an_application(R_13_15_AN_APPLICATION)
      & instructions(R_13_7_INSTRUCTIONS)
      & the_1401(R_13_10_THE_1401)
      & is(R_13_3_IS,R_13_1_A_PROGRAM,R_13_4_A_SERIES)
      & a_series(R_13_4_A_SERIES)
      & of(R_13_4_A_SERIES,R_13_7_INSTRUCTIONS)
      & as(R_13_12_AS)
      & conj1(R_13_12_AS,R_13_14_SOLVES)
      & solves(R_13_14_SOLVES,R_13_10_THE_1401,R_13_15_AN_APPLICATION)
      & conj2(R_13_12_AS,R_13_8_THAT_DIRECT)
      & that_direct(R_13_8_THAT_DIRECT,R_13_7_INSTRUCTIONS,R_13_10_THE_1401) ) ).


n13_a_ibm_1401 n13_a_ibm_1401_4 A n13_a_ibm_1401_6 program n13_a_ibm_1401_8 is n13_a_ibm_1401_11 a n13_a_ibm_1401_13 series n13_a_ibm_1401_16 of n13_a_ibm_1401_19 instructions n13_a_ibm_1401_22 that n13_a_ibm_1401_24 *T* n13_a_ibm_1401_26 direct n13_a_ibm_1401_29 the n13_a_ibm_1401_31 1401 n13_a_ibm_1401_34 as n13_a_ibm_1401_38 it n13_a_ibm_1401_40 solves n13_a_ibm_1401_43 an n13_a_ibm_1401_45 application n13_a_ibm_1401_47 . n13_a_ibm_1401_1 IP-MAT n13_a_ibm_1401_2 NP-SBJ n13_a_ibm_1401_1->n13_a_ibm_1401_2 n13_a_ibm_1401_7 BEP;_Ln_ n13_a_ibm_1401_1->n13_a_ibm_1401_7 n13_a_ibm_1401_9 NP-PRD n13_a_ibm_1401_1->n13_a_ibm_1401_9 n13_a_ibm_1401_46 PUNC n13_a_ibm_1401_1->n13_a_ibm_1401_46 n13_a_ibm_1401_3 D n13_a_ibm_1401_2->n13_a_ibm_1401_3 n13_a_ibm_1401_5 N n13_a_ibm_1401_2->n13_a_ibm_1401_5 n13_a_ibm_1401_3->n13_a_ibm_1401_4 n13_a_ibm_1401_5->n13_a_ibm_1401_6 n13_a_ibm_1401_7->n13_a_ibm_1401_8 n13_a_ibm_1401_10 D n13_a_ibm_1401_9->n13_a_ibm_1401_10 n13_a_ibm_1401_12 N n13_a_ibm_1401_9->n13_a_ibm_1401_12 n13_a_ibm_1401_14 PP n13_a_ibm_1401_9->n13_a_ibm_1401_14 n13_a_ibm_1401_10->n13_a_ibm_1401_11 n13_a_ibm_1401_12->n13_a_ibm_1401_13 n13_a_ibm_1401_15 P-ROLE n13_a_ibm_1401_14->n13_a_ibm_1401_15 n13_a_ibm_1401_17 NP n13_a_ibm_1401_14->n13_a_ibm_1401_17 n13_a_ibm_1401_15->n13_a_ibm_1401_16 n13_a_ibm_1401_18 NS n13_a_ibm_1401_17->n13_a_ibm_1401_18 n13_a_ibm_1401_20 IP-REL n13_a_ibm_1401_17->n13_a_ibm_1401_20 n13_a_ibm_1401_18->n13_a_ibm_1401_19 n13_a_ibm_1401_21 C n13_a_ibm_1401_20->n13_a_ibm_1401_21 n13_a_ibm_1401_23 NP-SBJ n13_a_ibm_1401_20->n13_a_ibm_1401_23 n13_a_ibm_1401_25 VBP;_Tn_ n13_a_ibm_1401_20->n13_a_ibm_1401_25 n13_a_ibm_1401_27 NP-OB1 n13_a_ibm_1401_20->n13_a_ibm_1401_27 n13_a_ibm_1401_32 PP-SCON n13_a_ibm_1401_20->n13_a_ibm_1401_32 n13_a_ibm_1401_21->n13_a_ibm_1401_22 n13_a_ibm_1401_23->n13_a_ibm_1401_24 n13_a_ibm_1401_25->n13_a_ibm_1401_26 n13_a_ibm_1401_28 D n13_a_ibm_1401_27->n13_a_ibm_1401_28 n13_a_ibm_1401_30 NPR n13_a_ibm_1401_27->n13_a_ibm_1401_30 n13_a_ibm_1401_28->n13_a_ibm_1401_29 n13_a_ibm_1401_30->n13_a_ibm_1401_31 n13_a_ibm_1401_33 P-CONN n13_a_ibm_1401_32->n13_a_ibm_1401_33 n13_a_ibm_1401_35 IP-ADV n13_a_ibm_1401_32->n13_a_ibm_1401_35 n13_a_ibm_1401_33->n13_a_ibm_1401_34 n13_a_ibm_1401_36 NP-SBJ n13_a_ibm_1401_35->n13_a_ibm_1401_36 n13_a_ibm_1401_39 VBP;_Tn_ n13_a_ibm_1401_35->n13_a_ibm_1401_39 n13_a_ibm_1401_41 NP-OB1 n13_a_ibm_1401_35->n13_a_ibm_1401_41 n13_a_ibm_1401_37 PRO n13_a_ibm_1401_36->n13_a_ibm_1401_37 n13_a_ibm_1401_37->n13_a_ibm_1401_38 n13_a_ibm_1401_39->n13_a_ibm_1401_40 n13_a_ibm_1401_42 D n13_a_ibm_1401_41->n13_a_ibm_1401_42 n13_a_ibm_1401_44 N n13_a_ibm_1401_41->n13_a_ibm_1401_44 n13_a_ibm_1401_42->n13_a_ibm_1401_43 n13_a_ibm_1401_44->n13_a_ibm_1401_45 n13_a_ibm_1401_46->n13_a_ibm_1401_47 
( (IP-MAT (NP-SBJ (D A;{a})
                  (N program;{program}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D a;{a})
                  (N series;{series})
                  (PP (P-ROLE of;{of})
                      (NP (NS instructions;{instruction})
                          (IP-REL (C that;{that})
                                  (NP-SBJ *T*)
                                  (VBP;_Tn_ direct;{direct})
                                  (NP-OB1;{T1401} (D the;{the})
                                                  (NPR 1401))
                                  (PP-SCON (P-CONN as;{as})
                                           (IP-ADV (NP-SBJ;{T1401} (PRO it;{it}))
                                                   (VBP;_Tn_ solves;{solve})
                                                   (NP-OB1 (D an;{an})
                                                           (N application;{application}))))))))
          (PUNC .))
  (ID 13_a_ibm_1401))