Context                Previous, Next                Top


25_a_fce_0100_2001_06
IMPORTANT INVENTIONS

n25_a_fce_0100_2001_06 n25_a_fce_0100_2001_06__1_1_1_1 IMPORTANT n25_a_fce_0100_2001_06__1_2_1 INVENTIONS n25_a_fce_0100_2001_06__1 NP n25_a_fce_0100_2001_06__1_1 ADJP n25_a_fce_0100_2001_06__1->n25_a_fce_0100_2001_06__1_1 n25_a_fce_0100_2001_06__1_2 NS n25_a_fce_0100_2001_06__1->n25_a_fce_0100_2001_06__1_2 n25_a_fce_0100_2001_06__1_1_1 ADJ n25_a_fce_0100_2001_06__1_1->n25_a_fce_0100_2001_06__1_1_1 n25_a_fce_0100_2001_06__1_1_1->n25_a_fce_0100_2001_06__1_1_1_1 n25_a_fce_0100_2001_06__1_2->n25_a_fce_0100_2001_06__1_2_1 
( (NP (ADJP (ADJ IMPORTANT;{important}))
      (NS INVENTIONS;{invention}))
  (ID 25_a_fce_0100_2001_06))


%3 z_0025_5005 r_0025_0002__INVENTIONS INVENTIONS z_0025_5005->r_0025_0002__INVENTIONS r_0025_0001__IMPORTANT IMPORTANT r_0025_0002__INVENTIONS->r_0025_0001__IMPORTANT [attrib] 
arc(r_0025_0002__INVENTIONS,r_0025_0001__IMPORTANT,attrib).
arc(z_0025_5005,r_0025_0002__INVENTIONS,z_0025_5002).


%3 r_0025_0002__INVENTIONS INVENTIONS r_0025_0001__IMPORTANT IMPORTANT r_0025_0002__INVENTIONS->r_0025_0001__IMPORTANT [attrib] z_0025_5005 z_0025_5005->r_0025_0002__INVENTIONS 
fof(formula,axiom,
    ? [R_0025_0001__IMPORTANT,R_0025_0002__INVENTIONS,Z_0025_5005] :
      ( r_0025_0001__IMPORTANT(R_0025_0001__IMPORTANT)
      & z_0025_5005(Z_0025_5005)
      & has_z_0025_5002(Z_0025_5005,R_0025_0002__INVENTIONS)
      & r_0025_0002__INVENTIONS(R_0025_0002__INVENTIONS)
      & has_attrib(R_0025_0002__INVENTIONS,R_0025_0001__IMPORTANT) ) ).