( (FRAG (PULB -LRB-)
        (NP (N Exclusion;{exclusion})
            (PP (P-ROLE from;{from})
                (NP (N Application;{application}))))
        (PURB -RRB-))
  (ID 277_a_law_h15a119;218_5))

arc(r_0277_0002__Exclusion,r_0277_0004__Application,r_0277_0003__from).
arc(z_0277_5005,r_0277_0002__Exclusion,z_0277_5002).

fof(formula,axiom,
    ? [R_0277_0004__APPLICATION,R_0277_0002__EXCLUSION,Z_0277_5005] :
      ( r_0277_0004__Application(R_0277_0004__APPLICATION)
      & z_0277_5005(Z_0277_5005)
      & has_z_0277_5002(Z_0277_5005,R_0277_0002__EXCLUSION)
      & r_0277_0002__Exclusion(R_0277_0002__EXCLUSION)
      & has_r_0277_0003__from(R_0277_0002__EXCLUSION,R_0277_0004__APPLICATION) ) ).