( (IP-MAT (NP-SBJ (Q;_nphd_ All;{all}))
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ revealed;{reveal}))
          (PUNC .))
  (ID 20_a_lob_a01))

arc(r_0020_0001__All__quant,z_0020_5003,restriction).
arc(r_0020_0001__All__quant,z_0020_5007,scope).
arc(r_0020_0002__revealed,z_0020_5003,arg1).
arc(r_0020_0002__revealed,z_0020_5005___star_,arg0).
arc(z_0020_5007,r_0020_0002__revealed,scope).

fof(formula,axiom,
    ! [Z_0020_5003] :
      ( z_0020_5003(Z_0020_5003)
     => ? [Z_0020_5005___STAR_,Z_0020_5007_R_0020_0002__REVEALED] :
          ( z_0020_5005___star_(Z_0020_5005___STAR_)
          & z_0020_5007_r_0020_0002__revealed(Z_0020_5007_R_0020_0002__REVEALED)
          & has_arg0(Z_0020_5007_R_0020_0002__REVEALED,Z_0020_5005___STAR_)
          & has_arg1(Z_0020_5007_R_0020_0002__REVEALED,Z_0020_5003) ) ) ).