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

arc(r_0005_0001__Everyone__quant,r_0005_0002__wears,scope).
arc(r_0005_0001__Everyone__quant,z_0005_5003,restriction).
arc(r_0005_0002__wears,r_0005_0003__them,arg1).
arc(r_0005_0002__wears,z_0005_5003,arg0).

fof(formula,axiom,
    ! [Z_0005_5003] :
      ( z_0005_5003(Z_0005_5003)
     => ? [R_0005_0003__THEM,R_0005_0002__WEARS] :
          ( r_0005_0003__them(R_0005_0003__THEM)
          & r_0005_0002__wears(R_0005_0002__WEARS)
          & has_arg0(R_0005_0002__WEARS,Z_0005_5003)
          & has_arg1(R_0005_0002__WEARS,R_0005_0003__THEM) ) ) ).