( (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))

arc(r_0016_0001__Everybody__quant,r_0016_0002__wants,scope).
arc(r_0016_0001__Everybody__quant,z_0016_5003,restriction).
arc(r_0016_0002__wants,r_0016_0004__earn,arg1).
arc(r_0016_0002__wants,z_0016_5003,arg0).
arc(r_0016_0004__earn,r_0016_0005__a_r_0016_0006__bit,arg1).
arc(r_0016_0004__earn,z_0016_5003,arg0).
arc(r_0016_0005__a_r_0016_0006__bit,r_0016_0008__money,r_0016_0007__of).

fof(formula,axiom,
    ! [Z_0016_5003] :
      ( z_0016_5003(Z_0016_5003)
     => ? [R_0016_0008__MONEY,R_0016_0005__A_R_0016_0006__BIT,R_0016_0004__EARN,R_0016_0002__WANTS] :
          ( r_0016_0008__money(R_0016_0008__MONEY)
          & r_0016_0002__wants(R_0016_0002__WANTS)
          & has_arg0(R_0016_0002__WANTS,Z_0016_5003)
          & has_arg1(R_0016_0002__WANTS,R_0016_0004__EARN)
          & r_0016_0004__earn(R_0016_0004__EARN)
          & has_arg0(R_0016_0004__EARN,Z_0016_5003)
          & has_arg1(R_0016_0004__EARN,R_0016_0005__A_R_0016_0006__BIT)
          & r_0016_0005__a_r_0016_0006__bit(R_0016_0005__A_R_0016_0006__BIT)
          & has_r_0016_0007__of(R_0016_0005__A_R_0016_0006__BIT,R_0016_0008__MONEY) ) ) ).