Context                Previous, Next                Top


17_a_ibm_1401
What Are 1401 Programming Systems?

%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] 
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_17_2_ARE,R_17_3_1401_PROGRAMMING_SYSTEMS,R_17_1_WHAT] :
      ( 1401_Programming_Systems(R_17_3_1401_PROGRAMMING_SYSTEMS)
      & what(R_17_1_WHAT)
      & are(R_17_2_ARE,R_17_3_1401_PROGRAMMING_SYSTEMS,R_17_1_WHAT) ) ).


n17_a_ibm_1401 n17_a_ibm_1401_5 What n17_a_ibm_1401_7 Are n17_a_ibm_1401_10 1401 n17_a_ibm_1401_12 Programming n17_a_ibm_1401_14 Systems n17_a_ibm_1401_16 ? n17_a_ibm_1401_1 CP-QUE-MAT n17_a_ibm_1401_2 IP-SUB n17_a_ibm_1401_1->n17_a_ibm_1401_2 n17_a_ibm_1401_15 PUNC n17_a_ibm_1401_1->n17_a_ibm_1401_15 n17_a_ibm_1401_3 NP-PRD n17_a_ibm_1401_2->n17_a_ibm_1401_3 n17_a_ibm_1401_6 BEP;_Ln_ n17_a_ibm_1401_2->n17_a_ibm_1401_6 n17_a_ibm_1401_8 NP-SBJ n17_a_ibm_1401_2->n17_a_ibm_1401_8 n17_a_ibm_1401_4 WPRO n17_a_ibm_1401_3->n17_a_ibm_1401_4 n17_a_ibm_1401_4->n17_a_ibm_1401_5 n17_a_ibm_1401_6->n17_a_ibm_1401_7 n17_a_ibm_1401_9 NPR n17_a_ibm_1401_8->n17_a_ibm_1401_9 n17_a_ibm_1401_11 N n17_a_ibm_1401_8->n17_a_ibm_1401_11 n17_a_ibm_1401_13 NS n17_a_ibm_1401_8->n17_a_ibm_1401_13 n17_a_ibm_1401_9->n17_a_ibm_1401_10 n17_a_ibm_1401_11->n17_a_ibm_1401_12 n17_a_ibm_1401_13->n17_a_ibm_1401_14 n17_a_ibm_1401_15->n17_a_ibm_1401_16 
( (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))