arc(r_0014_0001__Everyone_quant, r_0014_0002__wears, scope).
arc(r_0014_0001__Everyone_quant, z_000_14_a_sunglasses_story_2, restriction).
arc(r_0014_0002__wears, r_0014_0003__them, arg1).
arc(r_0014_0002__wears, z_000_14_a_sunglasses_story_2, arg0).

fof(formula,axiom,
    ! [Z_14_A_SUNGLASSES_STORY_2] :
      ( true
     => ? [R_14_2_WEARS,R_14_3_THEM] :
          ( them(R_14_3_THEM)
          & wears(R_14_2_WEARS,Z_14_A_SUNGLASSES_STORY_2,R_14_3_THEM) ) ) ).

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