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_0014__solves solves r_0013_0015__an_r_0013_0016__application an application r_0013_0014__solves->r_0013_0015__an_r_0013_0016__application [arg1] r_0013_0010__the_r_0013_0011__1401 the 1401 r_0013_0014__solves->r_0013_0010__the_r_0013_0011__1401 [arg0] r_0013_0012__as as r_0013_0012__as->r_0013_0014__solves [conj1] r_0013_0008__that_r_0013_0009__direct that direct r_0013_0012__as->r_0013_0008__that_r_0013_0009__direct [conj2] r_0013_0008__that_r_0013_0009__direct->r_0013_0010__the_r_0013_0011__1401 [arg1] r_0013_0007__instructions instructions r_0013_0008__that_r_0013_0009__direct->r_0013_0007__instructions [arg0] r_0013_0004__a_r_0013_0005__series a series r_0013_0004__a_r_0013_0005__series->r_0013_0007__instructions of r_0013_0003__is is r_0013_0003__is->r_0013_0004__a_r_0013_0005__series [prd] r_0013_0001__A_r_0013_0002__program A program r_0013_0003__is->r_0013_0001__A_r_0013_0002__program [arg0] 
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__1_1_1_1 A n13_a_ibm_1401__1_1_2_1 program n13_a_ibm_1401__1_2_1 is n13_a_ibm_1401__1_3_1_1 a n13_a_ibm_1401__1_3_2_1 series n13_a_ibm_1401__1_3_3_1_1 of n13_a_ibm_1401__1_3_3_2_1_1 instructions n13_a_ibm_1401__1_3_3_2_2_1_1 that n13_a_ibm_1401__1_3_3_2_2_2_1 *T* n13_a_ibm_1401__1_3_3_2_2_3_1 direct n13_a_ibm_1401__1_3_3_2_2_4_1_1 the n13_a_ibm_1401__1_3_3_2_2_4_2_1 1401 n13_a_ibm_1401__1_3_3_2_2_5_1_1 as n13_a_ibm_1401__1_3_3_2_2_5_2_1_1_1 it n13_a_ibm_1401__1_3_3_2_2_5_2_2_1 solves n13_a_ibm_1401__1_3_3_2_2_5_2_3_1_1 an n13_a_ibm_1401__1_3_3_2_2_5_2_3_2_1 application n13_a_ibm_1401__1_4_1 . n13_a_ibm_1401__1 IP-MAT n13_a_ibm_1401__1_1 NP-SBJ n13_a_ibm_1401__1->n13_a_ibm_1401__1_1 n13_a_ibm_1401__1_2 BEP;_Ln_ n13_a_ibm_1401__1->n13_a_ibm_1401__1_2 n13_a_ibm_1401__1_3 NP-PRD n13_a_ibm_1401__1->n13_a_ibm_1401__1_3 n13_a_ibm_1401__1_4 PUNC n13_a_ibm_1401__1->n13_a_ibm_1401__1_4 n13_a_ibm_1401__1_1_1 D n13_a_ibm_1401__1_1->n13_a_ibm_1401__1_1_1 n13_a_ibm_1401__1_1_2 N n13_a_ibm_1401__1_1->n13_a_ibm_1401__1_1_2 n13_a_ibm_1401__1_1_1->n13_a_ibm_1401__1_1_1_1 n13_a_ibm_1401__1_1_2->n13_a_ibm_1401__1_1_2_1 n13_a_ibm_1401__1_2->n13_a_ibm_1401__1_2_1 n13_a_ibm_1401__1_3_1 D n13_a_ibm_1401__1_3->n13_a_ibm_1401__1_3_1 n13_a_ibm_1401__1_3_2 N n13_a_ibm_1401__1_3->n13_a_ibm_1401__1_3_2 n13_a_ibm_1401__1_3_3 PP n13_a_ibm_1401__1_3->n13_a_ibm_1401__1_3_3 n13_a_ibm_1401__1_3_1->n13_a_ibm_1401__1_3_1_1 n13_a_ibm_1401__1_3_2->n13_a_ibm_1401__1_3_2_1 n13_a_ibm_1401__1_3_3_1 P-ROLE n13_a_ibm_1401__1_3_3->n13_a_ibm_1401__1_3_3_1 n13_a_ibm_1401__1_3_3_2 NP n13_a_ibm_1401__1_3_3->n13_a_ibm_1401__1_3_3_2 n13_a_ibm_1401__1_3_3_1->n13_a_ibm_1401__1_3_3_1_1 n13_a_ibm_1401__1_3_3_2_1 NS n13_a_ibm_1401__1_3_3_2->n13_a_ibm_1401__1_3_3_2_1 n13_a_ibm_1401__1_3_3_2_2 IP-REL n13_a_ibm_1401__1_3_3_2->n13_a_ibm_1401__1_3_3_2_2 n13_a_ibm_1401__1_3_3_2_1->n13_a_ibm_1401__1_3_3_2_1_1 n13_a_ibm_1401__1_3_3_2_2_1 C n13_a_ibm_1401__1_3_3_2_2->n13_a_ibm_1401__1_3_3_2_2_1 n13_a_ibm_1401__1_3_3_2_2_2 NP-SBJ n13_a_ibm_1401__1_3_3_2_2->n13_a_ibm_1401__1_3_3_2_2_2 n13_a_ibm_1401__1_3_3_2_2_3 VBP;_Tn_ n13_a_ibm_1401__1_3_3_2_2->n13_a_ibm_1401__1_3_3_2_2_3 n13_a_ibm_1401__1_3_3_2_2_4 NP-OB1 n13_a_ibm_1401__1_3_3_2_2->n13_a_ibm_1401__1_3_3_2_2_4 n13_a_ibm_1401__1_3_3_2_2_5 PP-SCON n13_a_ibm_1401__1_3_3_2_2->n13_a_ibm_1401__1_3_3_2_2_5 n13_a_ibm_1401__1_3_3_2_2_1->n13_a_ibm_1401__1_3_3_2_2_1_1 n13_a_ibm_1401__1_3_3_2_2_2->n13_a_ibm_1401__1_3_3_2_2_2_1 n13_a_ibm_1401__1_3_3_2_2_3->n13_a_ibm_1401__1_3_3_2_2_3_1 n13_a_ibm_1401__1_3_3_2_2_4_1 D n13_a_ibm_1401__1_3_3_2_2_4->n13_a_ibm_1401__1_3_3_2_2_4_1 n13_a_ibm_1401__1_3_3_2_2_4_2 NPR n13_a_ibm_1401__1_3_3_2_2_4->n13_a_ibm_1401__1_3_3_2_2_4_2 n13_a_ibm_1401__1_3_3_2_2_4_1->n13_a_ibm_1401__1_3_3_2_2_4_1_1 n13_a_ibm_1401__1_3_3_2_2_4_2->n13_a_ibm_1401__1_3_3_2_2_4_2_1 n13_a_ibm_1401__1_3_3_2_2_5_1 P-CONN n13_a_ibm_1401__1_3_3_2_2_5->n13_a_ibm_1401__1_3_3_2_2_5_1 n13_a_ibm_1401__1_3_3_2_2_5_2 IP-ADV n13_a_ibm_1401__1_3_3_2_2_5->n13_a_ibm_1401__1_3_3_2_2_5_2 n13_a_ibm_1401__1_3_3_2_2_5_1->n13_a_ibm_1401__1_3_3_2_2_5_1_1 n13_a_ibm_1401__1_3_3_2_2_5_2_1 NP-SBJ n13_a_ibm_1401__1_3_3_2_2_5_2->n13_a_ibm_1401__1_3_3_2_2_5_2_1 n13_a_ibm_1401__1_3_3_2_2_5_2_2 VBP;_Tn_ n13_a_ibm_1401__1_3_3_2_2_5_2->n13_a_ibm_1401__1_3_3_2_2_5_2_2 n13_a_ibm_1401__1_3_3_2_2_5_2_3 NP-OB1 n13_a_ibm_1401__1_3_3_2_2_5_2->n13_a_ibm_1401__1_3_3_2_2_5_2_3 n13_a_ibm_1401__1_3_3_2_2_5_2_1_1 PRO n13_a_ibm_1401__1_3_3_2_2_5_2_1->n13_a_ibm_1401__1_3_3_2_2_5_2_1_1 n13_a_ibm_1401__1_3_3_2_2_5_2_1_1->n13_a_ibm_1401__1_3_3_2_2_5_2_1_1_1 n13_a_ibm_1401__1_3_3_2_2_5_2_2->n13_a_ibm_1401__1_3_3_2_2_5_2_2_1 n13_a_ibm_1401__1_3_3_2_2_5_2_3_1 D n13_a_ibm_1401__1_3_3_2_2_5_2_3->n13_a_ibm_1401__1_3_3_2_2_5_2_3_1 n13_a_ibm_1401__1_3_3_2_2_5_2_3_2 N n13_a_ibm_1401__1_3_3_2_2_5_2_3->n13_a_ibm_1401__1_3_3_2_2_5_2_3_2 n13_a_ibm_1401__1_3_3_2_2_5_2_3_1->n13_a_ibm_1401__1_3_3_2_2_5_2_3_1_1 n13_a_ibm_1401__1_3_3_2_2_5_2_3_2->n13_a_ibm_1401__1_3_3_2_2_5_2_3_2_1 n13_a_ibm_1401__1_4->n13_a_ibm_1401__1_4_1 
( (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))