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_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_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_4 The n16_a_ibm_1401_6 1401 n16_a_ibm_1401_8 uses n16_a_ibm_1401_11 a n16_a_ibm_1401_14 stored n16_a_ibm_1401_16 program n16_a_ibm_1401_18 . n16_a_ibm_1401_1 IP-MAT n16_a_ibm_1401_2 NP-SBJ n16_a_ibm_1401_1->n16_a_ibm_1401_2 n16_a_ibm_1401_7 VBP;_Tn_ n16_a_ibm_1401_1->n16_a_ibm_1401_7 n16_a_ibm_1401_9 NP-OB1 n16_a_ibm_1401_1->n16_a_ibm_1401_9 n16_a_ibm_1401_17 PUNC n16_a_ibm_1401_1->n16_a_ibm_1401_17 n16_a_ibm_1401_3 D n16_a_ibm_1401_2->n16_a_ibm_1401_3 n16_a_ibm_1401_5 NPR n16_a_ibm_1401_2->n16_a_ibm_1401_5 n16_a_ibm_1401_3->n16_a_ibm_1401_4 n16_a_ibm_1401_5->n16_a_ibm_1401_6 n16_a_ibm_1401_7->n16_a_ibm_1401_8 n16_a_ibm_1401_10 D n16_a_ibm_1401_9->n16_a_ibm_1401_10 n16_a_ibm_1401_12 ADJP n16_a_ibm_1401_9->n16_a_ibm_1401_12 n16_a_ibm_1401_15 N n16_a_ibm_1401_9->n16_a_ibm_1401_15 n16_a_ibm_1401_10->n16_a_ibm_1401_11 n16_a_ibm_1401_13 ADJ n16_a_ibm_1401_12->n16_a_ibm_1401_13 n16_a_ibm_1401_13->n16_a_ibm_1401_14 n16_a_ibm_1401_15->n16_a_ibm_1401_16 n16_a_ibm_1401_17->n16_a_ibm_1401_18 
( (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))