( (IP-MAT (NP-SBJ (Q;_nphd_ Everyone;{everyone}))
          (VBP;_Tn_ wears;{wear})
          (NP-OB1;{SUNGLASSES} (PRO them;{they}))
          (PUNC .))
  (ID 14_a_sunglasses_story))

arc(r_0014_0001__Everyone__quant,r_0014_0002__wears,scope).
arc(r_0014_0001__Everyone__quant,z_0014_5003,restriction).
arc(r_0014_0002__wears,r_0014_0003__them,arg1).
arc(r_0014_0002__wears,z_0014_5003,arg0).

fof(formula,axiom,
    ! [Z_0014_5003] :
      ( z_0014_5003(Z_0014_5003)
     => ? [R_0014_0003__THEM,R_0014_0002__WEARS] :
          ( r_0014_0003__them(R_0014_0003__THEM)
          & r_0014_0002__wears(R_0014_0002__WEARS)
          & has_arg0(R_0014_0002__WEARS,Z_0014_5003)
          & has_arg1(R_0014_0002__WEARS,R_0014_0003__THEM) ) ) ).