Context                Previous, Next                Top


30_a_ibm_1401
EASIER TO UNDERSTAND PROGRAMS

%3 r_0030_0001__EASIER EASIER r_0030_0002__TO_r_0030_0003__UNDERSTAND TO UNDERSTAND r_0030_0001__EASIER->r_0030_0002__TO_r_0030_0003__UNDERSTAND [emb] r_0030_0004__PROGRAMS PROGRAMS r_0030_0002__TO_r_0030_0003__UNDERSTAND->r_0030_0004__PROGRAMS [arg1] z_000_30_a_ibm_1401_5 r_0030_0002__TO_r_0030_0003__UNDERSTAND->z_000_30_a_ibm_1401_5 [arg0] z_000_30_a_ibm_1401_1 z_000_30_a_ibm_1401_1->r_0030_0001__EASIER [attrib] 
arc(r_0030_0001__EASIER, r_0030_0002__TO_r_0030_0003__UNDERSTAND, emb5).
arc(r_0030_0002__TO_r_0030_0003__UNDERSTAND, r_0030_0004__PROGRAMS, arg1).
arc(r_0030_0002__TO_r_0030_0003__UNDERSTAND, z_000_30_a_ibm_1401_5, arg0).
arc(z_000_30_a_ibm_1401_1, r_0030_0001__EASIER, attrib2).


%3 z_000_30_a_ibm_1401_1 r_0030_0001__EASIER EASIER z_000_30_a_ibm_1401_1->r_0030_0001__EASIER [attrib] r_0030_0002__TO_r_0030_0003__UNDERSTAND TO UNDERSTAND r_0030_0001__EASIER->r_0030_0002__TO_r_0030_0003__UNDERSTAND [emb] z_000_30_a_ibm_1401_5 r_0030_0002__TO_r_0030_0003__UNDERSTAND->z_000_30_a_ibm_1401_5 [arg0] r_0030_0004__PROGRAMS PROGRAMS r_0030_0002__TO_r_0030_0003__UNDERSTAND->r_0030_0004__PROGRAMS [arg1] 
fof(formula,axiom,
    ? [R_0030_0004__PROGRAMS,Z_000_30_A_IBM_1401_5,R_0030_0002__TO_R_0030_0003__UNDERSTAND,R_0030_0001__EASIER,Z_000_30_A_IBM_1401_1] :
      ( r_0030_0004__PROGRAMS(R_0030_0004__PROGRAMS)
      & z_000_30_a_ibm_1401_5(Z_000_30_A_IBM_1401_5)
      & z_000_30_a_ibm_1401_1(Z_000_30_A_IBM_1401_1)
      & has_attrib2(Z_000_30_A_IBM_1401_1,R_0030_0001__EASIER)
      & r_0030_0001__EASIER(R_0030_0001__EASIER)
      & has_emb5(R_0030_0001__EASIER,R_0030_0002__TO_R_0030_0003__UNDERSTAND)
      & r_0030_0002__TO_r_0030_0003__UNDERSTAND(R_0030_0002__TO_R_0030_0003__UNDERSTAND)
      & has_arg0(R_0030_0002__TO_R_0030_0003__UNDERSTAND,Z_000_30_A_IBM_1401_5)
      & has_arg1(R_0030_0002__TO_R_0030_0003__UNDERSTAND,R_0030_0004__PROGRAMS) ) ).


n30_a_ibm_1401 n30_a_ibm_1401__1_1_1_1 EASIER n30_a_ibm_1401__1_1_2_1_1 TO n30_a_ibm_1401__1_1_2_2_1 UNDERSTAND n30_a_ibm_1401__1_1_2_3_1_1 PROGRAMS n30_a_ibm_1401__1 FRAG n30_a_ibm_1401__1_1 ADJP n30_a_ibm_1401__1->n30_a_ibm_1401__1_1 n30_a_ibm_1401__1_1_1 ADJR n30_a_ibm_1401__1_1->n30_a_ibm_1401__1_1_1 n30_a_ibm_1401__1_1_2 IP-INF n30_a_ibm_1401__1_1->n30_a_ibm_1401__1_1_2 n30_a_ibm_1401__1_1_1->n30_a_ibm_1401__1_1_1_1 n30_a_ibm_1401__1_1_2_1 TO n30_a_ibm_1401__1_1_2->n30_a_ibm_1401__1_1_2_1 n30_a_ibm_1401__1_1_2_2 VB;_Tn_ n30_a_ibm_1401__1_1_2->n30_a_ibm_1401__1_1_2_2 n30_a_ibm_1401__1_1_2_3 NP-OB1 n30_a_ibm_1401__1_1_2->n30_a_ibm_1401__1_1_2_3 n30_a_ibm_1401__1_1_2_1->n30_a_ibm_1401__1_1_2_1_1 n30_a_ibm_1401__1_1_2_2->n30_a_ibm_1401__1_1_2_2_1 n30_a_ibm_1401__1_1_2_3_1 NS n30_a_ibm_1401__1_1_2_3->n30_a_ibm_1401__1_1_2_3_1 n30_a_ibm_1401__1_1_2_3_1->n30_a_ibm_1401__1_1_2_3_1_1 
( (FRAG (ADJP (ADJR EASIER;{easy})
              (IP-INF (TO TO;{to})
                      (VB;_Tn_ UNDERSTAND;{understand})
                      (NP-OB1 (NS PROGRAMS;{program})))))
  (ID 30_a_ibm_1401))