Context                Previous, Next                Top


16_a_ibm_1401
The 1401 uses a stored program.

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))


%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] 
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,attrib).


%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] 
fof(formula,axiom,
    ? [R_0016_0001__THE_R_0016_0002__1401,R_0016_0005__STORED,R_0016_0004__A_R_0016_0006__PROGRAM,R_0016_0003__USES] :
      ( r_0016_0001__The_r_0016_0002__1401(R_0016_0001__THE_R_0016_0002__1401)
      & r_0016_0005__stored(R_0016_0005__STORED)
      & r_0016_0003__uses(R_0016_0003__USES)
      & has_arg1(R_0016_0003__USES,R_0016_0004__A_R_0016_0006__PROGRAM)
      & r_0016_0004__a_r_0016_0006__program(R_0016_0004__A_R_0016_0006__PROGRAM)
      & has_attrib(R_0016_0004__A_R_0016_0006__PROGRAM,R_0016_0005__STORED)
      & has_arg0(R_0016_0003__USES,R_0016_0001__THE_R_0016_0002__1401) ) ).