Context                Previous, Next                Top


16_a_ibm_1401
The 1401 uses a stored program.

%3 r_0016_0003__uses uses r_0016_0001__The_r_0016_0002__1401 The 1401 r_0016_0003__uses->r_0016_0001__The_r_0016_0002__1401 [arg0] r_0016_0004__a_r_0016_0006__program a program r_0016_0003__uses->r_0016_0004__a_r_0016_0006__program [arg1] r_0016_0005__stored stored r_0016_0004__a_r_0016_0006__program->r_0016_0005__stored [attrib] 
arc(r_0016_0003__uses, r_0016_0001__The_r_0016_0002__1401, arg0).
arc(r_0016_0003__uses, r_0016_0004__a_r_0016_0006__program, arg1).
arc(r_0016_0004__a_r_0016_0006__program, r_0016_0005__stored, attrib12).


%3 r_0016_0004__a_r_0016_0006__program a program r_0016_0005__stored stored r_0016_0004__a_r_0016_0006__program->r_0016_0005__stored [attrib] r_0016_0003__uses uses r_0016_0003__uses->r_0016_0004__a_r_0016_0006__program [arg1] r_0016_0001__The_r_0016_0002__1401 The 1401 r_0016_0003__uses->r_0016_0001__The_r_0016_0002__1401 [arg0] 
fof(formula,axiom,
    ? [R_16_3_USES,R_16_1_THE_1401,R_16_4_A_PROGRAM,R_16_5_STORED] :
      ( the_1401(R_16_1_THE_1401)
      & stored(R_16_5_STORED)
      & uses(R_16_3_USES,R_16_1_THE_1401,R_16_4_A_PROGRAM)
      & a_program(R_16_4_A_PROGRAM)
      & attrib12(R_16_4_A_PROGRAM,R_16_5_STORED) ) ).


n16_a_ibm_1401 n16_a_ibm_1401__1_1_1_1 The n16_a_ibm_1401__1_1_2_1 1401 n16_a_ibm_1401__1_2_1 uses n16_a_ibm_1401__1_3_1_1 a n16_a_ibm_1401__1_3_2_1_1 stored n16_a_ibm_1401__1_3_3_1 program n16_a_ibm_1401__1_4_1 . n16_a_ibm_1401__1 IP-MAT n16_a_ibm_1401__1_1 NP-SBJ n16_a_ibm_1401__1->n16_a_ibm_1401__1_1 n16_a_ibm_1401__1_2 VBP;_Tn_ n16_a_ibm_1401__1->n16_a_ibm_1401__1_2 n16_a_ibm_1401__1_3 NP-OB1 n16_a_ibm_1401__1->n16_a_ibm_1401__1_3 n16_a_ibm_1401__1_4 PUNC n16_a_ibm_1401__1->n16_a_ibm_1401__1_4 n16_a_ibm_1401__1_1_1 D n16_a_ibm_1401__1_1->n16_a_ibm_1401__1_1_1 n16_a_ibm_1401__1_1_2 NPR n16_a_ibm_1401__1_1->n16_a_ibm_1401__1_1_2 n16_a_ibm_1401__1_1_1->n16_a_ibm_1401__1_1_1_1 n16_a_ibm_1401__1_1_2->n16_a_ibm_1401__1_1_2_1 n16_a_ibm_1401__1_2->n16_a_ibm_1401__1_2_1 n16_a_ibm_1401__1_3_1 D n16_a_ibm_1401__1_3->n16_a_ibm_1401__1_3_1 n16_a_ibm_1401__1_3_2 ADJP n16_a_ibm_1401__1_3->n16_a_ibm_1401__1_3_2 n16_a_ibm_1401__1_3_3 N n16_a_ibm_1401__1_3->n16_a_ibm_1401__1_3_3 n16_a_ibm_1401__1_3_1->n16_a_ibm_1401__1_3_1_1 n16_a_ibm_1401__1_3_2_1 ADJ n16_a_ibm_1401__1_3_2->n16_a_ibm_1401__1_3_2_1 n16_a_ibm_1401__1_3_2_1->n16_a_ibm_1401__1_3_2_1_1 n16_a_ibm_1401__1_3_3->n16_a_ibm_1401__1_3_3_1 n16_a_ibm_1401__1_4->n16_a_ibm_1401__1_4_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR 1401))
          (VBP;_Tn_ uses;{use})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ stored;{stored}))
                  (N program;{program}))
          (PUNC .))
  (ID 16_a_ibm_1401))