Context                Previous, Next                Top


14_a_ibm_1401
What Is A Stored Program Machine?

n14_a_ibm_1401 n14_a_ibm_1401__1_1_1_1_1 What n14_a_ibm_1401__1_1_2_1 Is n14_a_ibm_1401__1_1_3_1_1 A n14_a_ibm_1401__1_1_3_2_1_1 Stored n14_a_ibm_1401__1_1_3_3_1 Program n14_a_ibm_1401__1_1_3_4_1 Machine n14_a_ibm_1401__1_2_1 ? n14_a_ibm_1401__1 CP-QUE-MAT n14_a_ibm_1401__1_1 IP-SUB n14_a_ibm_1401__1->n14_a_ibm_1401__1_1 n14_a_ibm_1401__1_2 PUNC n14_a_ibm_1401__1->n14_a_ibm_1401__1_2 n14_a_ibm_1401__1_1_1 NP-PRD n14_a_ibm_1401__1_1->n14_a_ibm_1401__1_1_1 n14_a_ibm_1401__1_1_2 BEP;_Ln_ n14_a_ibm_1401__1_1->n14_a_ibm_1401__1_1_2 n14_a_ibm_1401__1_1_3 NP-SBJ n14_a_ibm_1401__1_1->n14_a_ibm_1401__1_1_3 n14_a_ibm_1401__1_1_1_1 WPRO n14_a_ibm_1401__1_1_1->n14_a_ibm_1401__1_1_1_1 n14_a_ibm_1401__1_1_1_1->n14_a_ibm_1401__1_1_1_1_1 n14_a_ibm_1401__1_1_2->n14_a_ibm_1401__1_1_2_1 n14_a_ibm_1401__1_1_3_1 D n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_1 n14_a_ibm_1401__1_1_3_2 ADJP n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_2 n14_a_ibm_1401__1_1_3_3 N n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_3 n14_a_ibm_1401__1_1_3_4 N n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_4 n14_a_ibm_1401__1_1_3_1->n14_a_ibm_1401__1_1_3_1_1 n14_a_ibm_1401__1_1_3_2_1 ADJ n14_a_ibm_1401__1_1_3_2->n14_a_ibm_1401__1_1_3_2_1 n14_a_ibm_1401__1_1_3_2_1->n14_a_ibm_1401__1_1_3_2_1_1 n14_a_ibm_1401__1_1_3_3->n14_a_ibm_1401__1_1_3_3_1 n14_a_ibm_1401__1_1_3_4->n14_a_ibm_1401__1_1_3_4_1 n14_a_ibm_1401__1_2->n14_a_ibm_1401__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-PRD (WPRO What;{what}))
                      (BEP;_Ln_ Is;{be})
                      (NP-SBJ (D A;{a})
                              (ADJP (ADJ Stored;{stored}))
                              (N Program;{program})
                              (N Machine;{machine})))
              (PUNC ?))
  (ID 14_a_ibm_1401))


%3 r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine A Program Machine r_0014_0004__Stored Stored r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine->r_0014_0004__Stored [attrib] r_0014_0002__Is Is r_0014_0002__Is->r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine [arg0] r_0014_0001__What What r_0014_0002__Is->r_0014_0001__What [prd] 
arc(r_0014_0002__Is,r_0014_0001__What,prd).
arc(r_0014_0002__Is,r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine,arg0).
arc(r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine,r_0014_0004__Stored,attrib).


%3 r_0014_0002__Is Is r_0014_0001__What What r_0014_0002__Is->r_0014_0001__What [prd] r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine A Program Machine r_0014_0002__Is->r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine [arg0] r_0014_0004__Stored Stored r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine->r_0014_0004__Stored [attrib] 
fof(formula,axiom,
    ? [R_0014_0001__WHAT,R_0014_0004__STORED,R_0014_0003__A_R_0014_0005__PROGRAM_R_0014_0006__MACHINE,R_0014_0002__IS] :
      ( r_0014_0001__What(R_0014_0001__WHAT)
      & r_0014_0004__Stored(R_0014_0004__STORED)
      & r_0014_0002__Is(R_0014_0002__IS)
      & has_arg0(R_0014_0002__IS,R_0014_0003__A_R_0014_0005__PROGRAM_R_0014_0006__MACHINE)
      & r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine(R_0014_0003__A_R_0014_0005__PROGRAM_R_0014_0006__MACHINE)
      & has_attrib(R_0014_0003__A_R_0014_0005__PROGRAM_R_0014_0006__MACHINE,R_0014_0004__STORED)
      & has_prd(R_0014_0002__IS,R_0014_0001__WHAT) ) ).