arc(r_0005_0001__Everyone_quant, r_0005_0002__wears, scope).
arc(r_0005_0001__Everyone_quant, z_000_5_a_sunglasses_story_2, restriction).
arc(r_0005_0002__wears, r_0005_0003__them, arg1).
arc(r_0005_0002__wears, z_000_5_a_sunglasses_story_2, arg0).

fof(formula,axiom,
    ! [Z_5_A_SUNGLASSES_STORY_2] :
      ( true
     => ? [R_5_2_WEARS,R_5_3_THEM] :
          ( them(R_5_3_THEM)
          & wears(R_5_2_WEARS,Z_5_A_SUNGLASSES_STORY_2,R_5_3_THEM) ) ) ).

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