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_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 
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_4 Everybody n16_a_fce_0102_2000_12_6 wants n16_a_fce_0102_2000_12_9 to n16_a_fce_0102_2000_12_11 earn n16_a_fce_0102_2000_12_14 a n16_a_fce_0102_2000_12_16 bit n16_a_fce_0102_2000_12_19 of n16_a_fce_0102_2000_12_22 money n16_a_fce_0102_2000_12_24 . n16_a_fce_0102_2000_12_1 IP-MAT n16_a_fce_0102_2000_12_2 NP-SBJ n16_a_fce_0102_2000_12_1->n16_a_fce_0102_2000_12_2 n16_a_fce_0102_2000_12_5 VBP;_Tt_ n16_a_fce_0102_2000_12_1->n16_a_fce_0102_2000_12_5 n16_a_fce_0102_2000_12_7 IP-INF-OB1 n16_a_fce_0102_2000_12_1->n16_a_fce_0102_2000_12_7 n16_a_fce_0102_2000_12_23 PUNC n16_a_fce_0102_2000_12_1->n16_a_fce_0102_2000_12_23 n16_a_fce_0102_2000_12_3 Q;_nphd_ n16_a_fce_0102_2000_12_2->n16_a_fce_0102_2000_12_3 n16_a_fce_0102_2000_12_3->n16_a_fce_0102_2000_12_4 n16_a_fce_0102_2000_12_5->n16_a_fce_0102_2000_12_6 n16_a_fce_0102_2000_12_8 TO n16_a_fce_0102_2000_12_7->n16_a_fce_0102_2000_12_8 n16_a_fce_0102_2000_12_10 VB;_Tn_ n16_a_fce_0102_2000_12_7->n16_a_fce_0102_2000_12_10 n16_a_fce_0102_2000_12_12 NP-OB1 n16_a_fce_0102_2000_12_7->n16_a_fce_0102_2000_12_12 n16_a_fce_0102_2000_12_8->n16_a_fce_0102_2000_12_9 n16_a_fce_0102_2000_12_10->n16_a_fce_0102_2000_12_11 n16_a_fce_0102_2000_12_13 D n16_a_fce_0102_2000_12_12->n16_a_fce_0102_2000_12_13 n16_a_fce_0102_2000_12_15 N n16_a_fce_0102_2000_12_12->n16_a_fce_0102_2000_12_15 n16_a_fce_0102_2000_12_17 PP n16_a_fce_0102_2000_12_12->n16_a_fce_0102_2000_12_17 n16_a_fce_0102_2000_12_13->n16_a_fce_0102_2000_12_14 n16_a_fce_0102_2000_12_15->n16_a_fce_0102_2000_12_16 n16_a_fce_0102_2000_12_18 P-ROLE n16_a_fce_0102_2000_12_17->n16_a_fce_0102_2000_12_18 n16_a_fce_0102_2000_12_20 NP n16_a_fce_0102_2000_12_17->n16_a_fce_0102_2000_12_20 n16_a_fce_0102_2000_12_18->n16_a_fce_0102_2000_12_19 n16_a_fce_0102_2000_12_21 N n16_a_fce_0102_2000_12_20->n16_a_fce_0102_2000_12_21 n16_a_fce_0102_2000_12_21->n16_a_fce_0102_2000_12_22 n16_a_fce_0102_2000_12_23->n16_a_fce_0102_2000_12_24 
( (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))