Context                Previous, Next                Top


15_a_fce_0102_2000_12
MONEY -- MONEY -- MONEY

%3 z_000_15_a_fce_0102_2000_12_1 r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY MONEY MONEY MONEY z_000_15_a_fce_0102_2000_12_1->r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY [nim] 
arc(z_000_15_a_fce_0102_2000_12_1, r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY, nim2).


%3 z_000_15_a_fce_0102_2000_12_1 r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY MONEY MONEY MONEY z_000_15_a_fce_0102_2000_12_1->r_0015_0001__MONEY_r_0015_0003__MONEY_r_0015_0005__MONEY [nim] 
fof(formula,axiom,
    ? [R_0015_0001__MONEY_R_0015_0003__MONEY_R_0015_0005__MONEY,Z_000_15_A_FCE_0102_2000_12_1] :
      ( 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_000_15_a_fce_0102_2000_12_1(Z_000_15_A_FCE_0102_2000_12_1)
      & has_nim2(Z_000_15_A_FCE_0102_2000_12_1,R_0015_0001__MONEY_R_0015_0003__MONEY_R_0015_0005__MONEY) ) ).


n15_a_fce_0102_2000_12 n15_a_fce_0102_2000_12__1_1_1_1 MONEY n15_a_fce_0102_2000_12__1_1_2_1 -- n15_a_fce_0102_2000_12__1_1_3_1 MONEY n15_a_fce_0102_2000_12__1_1_4_1 -- n15_a_fce_0102_2000_12__1_1_5_1 MONEY n15_a_fce_0102_2000_12__1 FRAG n15_a_fce_0102_2000_12__1_1 NP n15_a_fce_0102_2000_12__1->n15_a_fce_0102_2000_12__1_1 n15_a_fce_0102_2000_12__1_1_1 N n15_a_fce_0102_2000_12__1_1->n15_a_fce_0102_2000_12__1_1_1 n15_a_fce_0102_2000_12__1_1_2 PUNC n15_a_fce_0102_2000_12__1_1->n15_a_fce_0102_2000_12__1_1_2 n15_a_fce_0102_2000_12__1_1_3 N n15_a_fce_0102_2000_12__1_1->n15_a_fce_0102_2000_12__1_1_3 n15_a_fce_0102_2000_12__1_1_4 PUNC n15_a_fce_0102_2000_12__1_1->n15_a_fce_0102_2000_12__1_1_4 n15_a_fce_0102_2000_12__1_1_5 N n15_a_fce_0102_2000_12__1_1->n15_a_fce_0102_2000_12__1_1_5 n15_a_fce_0102_2000_12__1_1_1->n15_a_fce_0102_2000_12__1_1_1_1 n15_a_fce_0102_2000_12__1_1_2->n15_a_fce_0102_2000_12__1_1_2_1 n15_a_fce_0102_2000_12__1_1_3->n15_a_fce_0102_2000_12__1_1_3_1 n15_a_fce_0102_2000_12__1_1_4->n15_a_fce_0102_2000_12__1_1_4_1 n15_a_fce_0102_2000_12__1_1_5->n15_a_fce_0102_2000_12__1_1_5_1 
( (FRAG (NP (N MONEY;{money})
            (PUNC --)
            (N MONEY;{money})
            (PUNC --)
            (N MONEY;{money})))
  (ID 15_a_fce_0102_2000_12))