Context                Previous, Next                Top


17_a_ibm_1401
What Are 1401 Programming Systems?

n17_a_ibm_1401 n17_a_ibm_1401__1_1_1_1_1 What n17_a_ibm_1401__1_1_2_1 Are n17_a_ibm_1401__1_1_3_1_1 1401 n17_a_ibm_1401__1_1_3_2_1 Programming n17_a_ibm_1401__1_1_3_3_1 Systems n17_a_ibm_1401__1_2_1 ? n17_a_ibm_1401__1 CP-QUE-MAT n17_a_ibm_1401__1_1 IP-SUB n17_a_ibm_1401__1->n17_a_ibm_1401__1_1 n17_a_ibm_1401__1_2 PUNC n17_a_ibm_1401__1->n17_a_ibm_1401__1_2 n17_a_ibm_1401__1_1_1 NP-PRD n17_a_ibm_1401__1_1->n17_a_ibm_1401__1_1_1 n17_a_ibm_1401__1_1_2 BEP;_Ln_ n17_a_ibm_1401__1_1->n17_a_ibm_1401__1_1_2 n17_a_ibm_1401__1_1_3 NP-SBJ n17_a_ibm_1401__1_1->n17_a_ibm_1401__1_1_3 n17_a_ibm_1401__1_1_1_1 WPRO n17_a_ibm_1401__1_1_1->n17_a_ibm_1401__1_1_1_1 n17_a_ibm_1401__1_1_1_1->n17_a_ibm_1401__1_1_1_1_1 n17_a_ibm_1401__1_1_2->n17_a_ibm_1401__1_1_2_1 n17_a_ibm_1401__1_1_3_1 NPR n17_a_ibm_1401__1_1_3->n17_a_ibm_1401__1_1_3_1 n17_a_ibm_1401__1_1_3_2 N n17_a_ibm_1401__1_1_3->n17_a_ibm_1401__1_1_3_2 n17_a_ibm_1401__1_1_3_3 NS n17_a_ibm_1401__1_1_3->n17_a_ibm_1401__1_1_3_3 n17_a_ibm_1401__1_1_3_1->n17_a_ibm_1401__1_1_3_1_1 n17_a_ibm_1401__1_1_3_2->n17_a_ibm_1401__1_1_3_2_1 n17_a_ibm_1401__1_1_3_3->n17_a_ibm_1401__1_1_3_3_1 n17_a_ibm_1401__1_2->n17_a_ibm_1401__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-PRD (WPRO What;{what}))
                      (BEP;_Ln_ Are;{be})
                      (NP-SBJ (NPR 1401)
                              (N Programming;{programming})
                              (NS Systems;{system})))
              (PUNC ?))
  (ID 17_a_ibm_1401))


%3 r_0017_0002__Are Are r_0017_0003__1401_r_0017_0004__Programming_r_0017_0005__Systems 1401 Programming Systems r_0017_0002__Are->r_0017_0003__1401_r_0017_0004__Programming_r_0017_0005__Systems [arg0] r_0017_0001__What What r_0017_0002__Are->r_0017_0001__What [prd] 
arc(r_0017_0002__Are,r_0017_0001__What,prd).
arc(r_0017_0002__Are,r_0017_0003__1401_r_0017_0004__Programming_r_0017_0005__Systems,arg0).


%3 r_0017_0002__Are Are r_0017_0001__What What r_0017_0002__Are->r_0017_0001__What [prd] r_0017_0003__1401_r_0017_0004__Programming_r_0017_0005__Systems 1401 Programming Systems r_0017_0002__Are->r_0017_0003__1401_r_0017_0004__Programming_r_0017_0005__Systems [arg0] 
fof(formula,axiom,
    ? [R_0017_0001__WHAT,R_0017_0003__1401_R_0017_0004__PROGRAMMING_R_0017_0005__SYSTEMS,R_0017_0002__ARE] :
      ( r_0017_0001__What(R_0017_0001__WHAT)
      & r_0017_0003__1401_r_0017_0004__Programming_r_0017_0005__Systems(R_0017_0003__1401_R_0017_0004__PROGRAMMING_R_0017_0005__SYSTEMS)
      & r_0017_0002__Are(R_0017_0002__ARE)
      & has_arg0(R_0017_0002__ARE,R_0017_0003__1401_R_0017_0004__PROGRAMMING_R_0017_0005__SYSTEMS)
      & has_prd(R_0017_0002__ARE,R_0017_0001__WHAT) ) ).