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 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] 
fof(formula,axiom,
    ? [Z_30_A_IBM_1401_1,R_30_1_EASIER,R_30_2_TO_UNDERSTAND,Z_30_A_IBM_1401_5,R_30_4_PROGRAMS] :
      ( pROGRAMS(R_30_4_PROGRAMS)
      & z_30_a_ibm_1401_1(Z_30_A_IBM_1401_1)
      & attrib2(Z_30_A_IBM_1401_1,R_30_1_EASIER)
      & eASIER(R_30_1_EASIER)
      & emb5(R_30_1_EASIER,R_30_2_TO_UNDERSTAND)
      & tO_UNDERSTAND(R_30_2_TO_UNDERSTAND,Z_30_A_IBM_1401_5,R_30_4_PROGRAMS) ) ).


n30_a_ibm_1401 n30_a_ibm_1401_4 EASIER n30_a_ibm_1401_7 TO n30_a_ibm_1401_9 UNDERSTAND n30_a_ibm_1401_12 PROGRAMS n30_a_ibm_1401_1 FRAG n30_a_ibm_1401_2 ADJP n30_a_ibm_1401_1->n30_a_ibm_1401_2 n30_a_ibm_1401_3 ADJR n30_a_ibm_1401_2->n30_a_ibm_1401_3 n30_a_ibm_1401_5 IP-INF n30_a_ibm_1401_2->n30_a_ibm_1401_5 n30_a_ibm_1401_3->n30_a_ibm_1401_4 n30_a_ibm_1401_6 TO n30_a_ibm_1401_5->n30_a_ibm_1401_6 n30_a_ibm_1401_8 VB;_Tn_ n30_a_ibm_1401_5->n30_a_ibm_1401_8 n30_a_ibm_1401_10 NP-OB1 n30_a_ibm_1401_5->n30_a_ibm_1401_10 n30_a_ibm_1401_6->n30_a_ibm_1401_7 n30_a_ibm_1401_8->n30_a_ibm_1401_9 n30_a_ibm_1401_11 NS n30_a_ibm_1401_10->n30_a_ibm_1401_11 n30_a_ibm_1401_11->n30_a_ibm_1401_12 
( (FRAG (ADJP (ADJR EASIER;{easy})
              (IP-INF (TO TO;{to})
                      (VB;_Tn_ UNDERSTAND;{understand})
                      (NP-OB1 (NS PROGRAMS;{program})))))
  (ID 30_a_ibm_1401))