( (IP-MAT (NP-SBJ;{DORLE} (NPR Dorle;{Dorle}))
          (VBD;_Ip_ peered;{peer[out]})
          (ADVP-CLR (RP out;{out}))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_I_ frowning;{frown})))
          (PUNC .))
  (ID 95_a_dick_1952))

arc(r_0095_0002__peered_r_0095_0003__out,r_0095_0001__Dorle,arg0).
arc(r_0095_0005__frowning,r_0095_0001__Dorle,arg0).
arc(z_0095_5001,r_0095_0002__peered_r_0095_0003__out,scope).
arc(z_0095_5001,r_0095_0005__frowning,restriction).

fof(formula,axiom,
    ? [R_0095_0001__DORLE,R_0095_0002__PEERED_R_0095_0003__OUT,R_0095_0005__FROWNING,Z_0095_5001] :
      ( r_0095_0001__Dorle(R_0095_0001__DORLE)
      & z_0095_5001(Z_0095_5001)
      & has_conj1(Z_0095_5001,R_0095_0005__FROWNING)
      & r_0095_0005__frowning(R_0095_0005__FROWNING)
      & has_arg0(R_0095_0005__FROWNING,R_0095_0001__DORLE)
      & has_conj2(Z_0095_5001,R_0095_0002__PEERED_R_0095_0003__OUT)
      & r_0095_0002__peered_r_0095_0003__out(R_0095_0002__PEERED_R_0095_0003__OUT)
      & has_arg0(R_0095_0002__PEERED_R_0095_0003__OUT,R_0095_0001__DORLE) ) ).