Context                Previous, Next                Top


16_a_fce_0102_2000_12
Everybody wants to earn a bit of money.

%3 r_0016_0001__Everybody_quant Everybody [quant] r_0016_0002__wants wants r_0016_0001__Everybody_quant->r_0016_0002__wants [scope] z_000_16_a_fce_0102_2000_12_2 r_0016_0001__Everybody_quant->z_000_16_a_fce_0102_2000_12_2 [restriction] r_0016_0002__wants->z_000_16_a_fce_0102_2000_12_2 [arg0] r_0016_0003__to_r_0016_0004__earn to earn r_0016_0002__wants->r_0016_0003__to_r_0016_0004__earn [arg1] r_0016_0003__to_r_0016_0004__earn->z_000_16_a_fce_0102_2000_12_2 [arg0] r_0016_0005__a_r_0016_0006__bit a bit r_0016_0003__to_r_0016_0004__earn->r_0016_0005__a_r_0016_0006__bit [arg1] r_0016_0008__money money r_0016_0005__a_r_0016_0006__bit->r_0016_0008__money of 
arc(r_0016_0001__Everybody_quant, r_0016_0002__wants, scope).
arc(r_0016_0001__Everybody_quant, z_000_16_a_fce_0102_2000_12_2, restriction).
arc(r_0016_0002__wants, r_0016_0003__to_r_0016_0004__earn, arg1).
arc(r_0016_0002__wants, z_000_16_a_fce_0102_2000_12_2, arg0).
arc(r_0016_0003__to_r_0016_0004__earn, r_0016_0005__a_r_0016_0006__bit, arg1).
arc(r_0016_0003__to_r_0016_0004__earn, z_000_16_a_fce_0102_2000_12_2, arg0).
arc(r_0016_0005__a_r_0016_0006__bit, r_0016_0008__money, r_0016_0007__of).


%3 r_0016_0005__a_r_0016_0006__bit a bit r_0016_0008__money money r_0016_0005__a_r_0016_0006__bit->r_0016_0008__money of r_0016_0003__to_r_0016_0004__earn to earn r_0016_0003__to_r_0016_0004__earn->r_0016_0005__a_r_0016_0006__bit [arg1] z_000_16_a_fce_0102_2000_12_2 r_0016_0003__to_r_0016_0004__earn->z_000_16_a_fce_0102_2000_12_2 [arg0] r_0016_0002__wants wants r_0016_0002__wants->r_0016_0003__to_r_0016_0004__earn [arg1] r_0016_0002__wants->z_000_16_a_fce_0102_2000_12_2 [arg0] r_0016_0001__Everybody_quant Everybody [quant] r_0016_0001__Everybody_quant->z_000_16_a_fce_0102_2000_12_2 [restriction] r_0016_0001__Everybody_quant->r_0016_0002__wants [scope] 
fof(formula,axiom,
    ! [Z_16_A_FCE_102_2000_12_2] :
      ( true
     => ? [R_16_2_WANTS,R_16_3_TO_EARN,R_16_5_A_BIT,R_16_8_MONEY] :
          ( money(R_16_8_MONEY)
          & wants(R_16_2_WANTS,Z_16_A_FCE_102_2000_12_2,R_16_3_TO_EARN)
          & to_earn(R_16_3_TO_EARN,Z_16_A_FCE_102_2000_12_2,R_16_5_A_BIT)
          & a_bit(R_16_5_A_BIT)
          & of(R_16_5_A_BIT,R_16_8_MONEY) ) ) ).


n16_a_fce_0102_2000_12 n16_a_fce_0102_2000_12__1_1_1_1 Everybody n16_a_fce_0102_2000_12__1_2_1 wants n16_a_fce_0102_2000_12__1_3_1_1 to n16_a_fce_0102_2000_12__1_3_2_1 earn n16_a_fce_0102_2000_12__1_3_3_1_1 a n16_a_fce_0102_2000_12__1_3_3_2_1 bit n16_a_fce_0102_2000_12__1_3_3_3_1_1 of n16_a_fce_0102_2000_12__1_3_3_3_2_1_1 money n16_a_fce_0102_2000_12__1_4_1 . n16_a_fce_0102_2000_12__1 IP-MAT n16_a_fce_0102_2000_12__1_1 NP-SBJ n16_a_fce_0102_2000_12__1->n16_a_fce_0102_2000_12__1_1 n16_a_fce_0102_2000_12__1_2 VBP;_Tt_ n16_a_fce_0102_2000_12__1->n16_a_fce_0102_2000_12__1_2 n16_a_fce_0102_2000_12__1_3 IP-INF-OB1 n16_a_fce_0102_2000_12__1->n16_a_fce_0102_2000_12__1_3 n16_a_fce_0102_2000_12__1_4 PUNC n16_a_fce_0102_2000_12__1->n16_a_fce_0102_2000_12__1_4 n16_a_fce_0102_2000_12__1_1_1 Q;_nphd_ n16_a_fce_0102_2000_12__1_1->n16_a_fce_0102_2000_12__1_1_1 n16_a_fce_0102_2000_12__1_1_1->n16_a_fce_0102_2000_12__1_1_1_1 n16_a_fce_0102_2000_12__1_2->n16_a_fce_0102_2000_12__1_2_1 n16_a_fce_0102_2000_12__1_3_1 TO n16_a_fce_0102_2000_12__1_3->n16_a_fce_0102_2000_12__1_3_1 n16_a_fce_0102_2000_12__1_3_2 VB;_Tn_ n16_a_fce_0102_2000_12__1_3->n16_a_fce_0102_2000_12__1_3_2 n16_a_fce_0102_2000_12__1_3_3 NP-OB1 n16_a_fce_0102_2000_12__1_3->n16_a_fce_0102_2000_12__1_3_3 n16_a_fce_0102_2000_12__1_3_1->n16_a_fce_0102_2000_12__1_3_1_1 n16_a_fce_0102_2000_12__1_3_2->n16_a_fce_0102_2000_12__1_3_2_1 n16_a_fce_0102_2000_12__1_3_3_1 D n16_a_fce_0102_2000_12__1_3_3->n16_a_fce_0102_2000_12__1_3_3_1 n16_a_fce_0102_2000_12__1_3_3_2 N n16_a_fce_0102_2000_12__1_3_3->n16_a_fce_0102_2000_12__1_3_3_2 n16_a_fce_0102_2000_12__1_3_3_3 PP n16_a_fce_0102_2000_12__1_3_3->n16_a_fce_0102_2000_12__1_3_3_3 n16_a_fce_0102_2000_12__1_3_3_1->n16_a_fce_0102_2000_12__1_3_3_1_1 n16_a_fce_0102_2000_12__1_3_3_2->n16_a_fce_0102_2000_12__1_3_3_2_1 n16_a_fce_0102_2000_12__1_3_3_3_1 P-ROLE n16_a_fce_0102_2000_12__1_3_3_3->n16_a_fce_0102_2000_12__1_3_3_3_1 n16_a_fce_0102_2000_12__1_3_3_3_2 NP n16_a_fce_0102_2000_12__1_3_3_3->n16_a_fce_0102_2000_12__1_3_3_3_2 n16_a_fce_0102_2000_12__1_3_3_3_1->n16_a_fce_0102_2000_12__1_3_3_3_1_1 n16_a_fce_0102_2000_12__1_3_3_3_2_1 N n16_a_fce_0102_2000_12__1_3_3_3_2->n16_a_fce_0102_2000_12__1_3_3_3_2_1 n16_a_fce_0102_2000_12__1_3_3_3_2_1->n16_a_fce_0102_2000_12__1_3_3_3_2_1_1 n16_a_fce_0102_2000_12__1_4->n16_a_fce_0102_2000_12__1_4_1 
( (IP-MAT (NP-SBJ (Q;_nphd_ Everybody;{everybody}))
          (VBP;_Tt_ wants;{want})
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Tn_ earn;{earn})
                      (NP-OB1 (D a;{a})
                              (N bit;{bit})
                              (PP (P-ROLE of;{of})
                                  (NP (N money;{money})))))
          (PUNC .))
  (ID 16_a_fce_0102_2000_12))