Context                Previous, Next                Top


19_a_ibm_1401
What 1401 Programming Systems Mean To Management:

%3 r_0019_0005__Mean Mean r_0019_0001__What What r_0019_0005__Mean->r_0019_0001__What [arg1] r_0019_0002__1401_r_0019_0003__Programming_r_0019_0004__Systems 1401 Programming Systems r_0019_0005__Mean->r_0019_0002__1401_r_0019_0003__Programming_r_0019_0004__Systems [arg0] r_0019_0007__Management Management r_0019_0005__Mean->r_0019_0007__Management To [nim] 
arc(r_0019_0005__Mean, r_0019_0001__What, arg1).
arc(r_0019_0005__Mean, r_0019_0002__1401_r_0019_0003__Programming_r_0019_0004__Systems, arg0).
arc(r_0019_0005__Mean, r_0019_0007__Management, r_0019_0006__To_nim18).


%3 r_0019_0005__Mean Mean r_0019_0007__Management Management r_0019_0005__Mean->r_0019_0007__Management To [nim] r_0019_0002__1401_r_0019_0003__Programming_r_0019_0004__Systems 1401 Programming Systems r_0019_0005__Mean->r_0019_0002__1401_r_0019_0003__Programming_r_0019_0004__Systems [arg0] r_0019_0001__What What r_0019_0005__Mean->r_0019_0001__What [arg1] 
fof(formula,axiom,
    ? [R_19_5_MEAN,R_19_2_1401_PROGRAMMING_SYSTEMS,R_19_1_WHAT,R_19_7_MANAGEMENT] :
      ( 1401_Programming_Systems(R_19_2_1401_PROGRAMMING_SYSTEMS)
      & what(R_19_1_WHAT)
      & management(R_19_7_MANAGEMENT)
      & mean(R_19_5_MEAN,R_19_2_1401_PROGRAMMING_SYSTEMS,R_19_1_WHAT)
      & to_nim18(R_19_5_MEAN,R_19_7_MANAGEMENT) ) ).


n19_a_ibm_1401 n19_a_ibm_1401__1_1_1_1_1 What n19_a_ibm_1401__1_1_2_1_1 1401 n19_a_ibm_1401__1_1_2_2_1 Programming n19_a_ibm_1401__1_1_2_3_1 Systems n19_a_ibm_1401__1_1_3_1 Mean n19_a_ibm_1401__1_1_4_1_1 To n19_a_ibm_1401__1_1_4_2_1_1 Management n19_a_ibm_1401__1_2_1 : n19_a_ibm_1401__1 CP-QUE-MAT n19_a_ibm_1401__1_1 IP-SUB n19_a_ibm_1401__1->n19_a_ibm_1401__1_1 n19_a_ibm_1401__1_2 PUNC n19_a_ibm_1401__1->n19_a_ibm_1401__1_2 n19_a_ibm_1401__1_1_1 NP-OB1 n19_a_ibm_1401__1_1->n19_a_ibm_1401__1_1_1 n19_a_ibm_1401__1_1_2 NP-SBJ n19_a_ibm_1401__1_1->n19_a_ibm_1401__1_1_2 n19_a_ibm_1401__1_1_3 VBP;_Tn_ n19_a_ibm_1401__1_1->n19_a_ibm_1401__1_1_3 n19_a_ibm_1401__1_1_4 PP-NIM n19_a_ibm_1401__1_1->n19_a_ibm_1401__1_1_4 n19_a_ibm_1401__1_1_1_1 WPRO n19_a_ibm_1401__1_1_1->n19_a_ibm_1401__1_1_1_1 n19_a_ibm_1401__1_1_1_1->n19_a_ibm_1401__1_1_1_1_1 n19_a_ibm_1401__1_1_2_1 NPR n19_a_ibm_1401__1_1_2->n19_a_ibm_1401__1_1_2_1 n19_a_ibm_1401__1_1_2_2 N n19_a_ibm_1401__1_1_2->n19_a_ibm_1401__1_1_2_2 n19_a_ibm_1401__1_1_2_3 NS n19_a_ibm_1401__1_1_2->n19_a_ibm_1401__1_1_2_3 n19_a_ibm_1401__1_1_2_1->n19_a_ibm_1401__1_1_2_1_1 n19_a_ibm_1401__1_1_2_2->n19_a_ibm_1401__1_1_2_2_1 n19_a_ibm_1401__1_1_2_3->n19_a_ibm_1401__1_1_2_3_1 n19_a_ibm_1401__1_1_3->n19_a_ibm_1401__1_1_3_1 n19_a_ibm_1401__1_1_4_1 P-ROLE n19_a_ibm_1401__1_1_4->n19_a_ibm_1401__1_1_4_1 n19_a_ibm_1401__1_1_4_2 NP n19_a_ibm_1401__1_1_4->n19_a_ibm_1401__1_1_4_2 n19_a_ibm_1401__1_1_4_1->n19_a_ibm_1401__1_1_4_1_1 n19_a_ibm_1401__1_1_4_2_1 NPR n19_a_ibm_1401__1_1_4_2->n19_a_ibm_1401__1_1_4_2_1 n19_a_ibm_1401__1_1_4_2_1->n19_a_ibm_1401__1_1_4_2_1_1 n19_a_ibm_1401__1_2->n19_a_ibm_1401__1_2_1 
( (CP-QUE-MAT (IP-SUB (NP-OB1 (WPRO What;{what}))
                      (NP-SBJ (NPR 1401)
                              (N Programming;{programming})
                              (NS Systems;{system}))
                      (VBP;_Tn_ Mean;{mean})
                      (PP-NIM (P-ROLE To;{to})
                              (NP (NPR Management;{Management}))))
              (PUNC :))
  (ID 19_a_ibm_1401))