Context                Previous, Next                Top


15_a_fce_0102_2000_12
MONEY -- MONEY -- MONEY

n15_a_fce_0102_2000_12 n15_a_fce_0102_2000_12__1_1_1 MONEY n15_a_fce_0102_2000_12__1_2_1 -- n15_a_fce_0102_2000_12__1_3_1 MONEY n15_a_fce_0102_2000_12__1_4_1 -- n15_a_fce_0102_2000_12__1_5_1 MONEY n15_a_fce_0102_2000_12__1 NP n15_a_fce_0102_2000_12__1_1 N n15_a_fce_0102_2000_12__1->n15_a_fce_0102_2000_12__1_1 n15_a_fce_0102_2000_12__1_2 PUNC n15_a_fce_0102_2000_12__1->n15_a_fce_0102_2000_12__1_2 n15_a_fce_0102_2000_12__1_3 N n15_a_fce_0102_2000_12__1->n15_a_fce_0102_2000_12__1_3 n15_a_fce_0102_2000_12__1_4 PUNC n15_a_fce_0102_2000_12__1->n15_a_fce_0102_2000_12__1_4 n15_a_fce_0102_2000_12__1_5 N n15_a_fce_0102_2000_12__1->n15_a_fce_0102_2000_12__1_5 n15_a_fce_0102_2000_12__1_1->n15_a_fce_0102_2000_12__1_1_1 n15_a_fce_0102_2000_12__1_2->n15_a_fce_0102_2000_12__1_2_1 n15_a_fce_0102_2000_12__1_3->n15_a_fce_0102_2000_12__1_3_1 n15_a_fce_0102_2000_12__1_4->n15_a_fce_0102_2000_12__1_4_1 n15_a_fce_0102_2000_12__1_5->n15_a_fce_0102_2000_12__1_5_1 
( (NP (N MONEY;{money})
      (PUNC --)
      (N MONEY;{money})
      (PUNC --)
      (N MONEY;{money}))
  (ID 15_a_fce_0102_2000_12))


%3 z_0015_5004 r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY MONEY MONEY MONEY z_0015_5004->r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY 
arc(z_0015_5004,r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY,z_0015_5002).


%3 z_0015_5004 r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY MONEY MONEY MONEY z_0015_5004->r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY 
fof(formula,axiom,
    ? [R_0015_0001__MONEY_R_0015_0003__MONEY_R_0015_0005__MONEY,Z_0015_5004] :
      ( r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY(R_0015_0001__MONEY_R_0015_0003__MONEY_R_0015_0005__MONEY)
      & z_0015_5004(Z_0015_5004)
      & has_z_0015_5002(Z_0015_5004,R_0015_0001__MONEY_R_0015_0003__MONEY_R_0015_0005__MONEY) ) ).