( (IP-MAT (ADVP-NIM (ADV Of_course;{of_course}))
          (NP-SBJ;{DORLE+NASHA+TANCE} (PRO we;{we}))
          (BEP;_Ipr_ <apos>re;{be[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP (NP-GEN;{GUN} (PRO;_genm_ its;{its}))
                      (N mercy;{mercy})))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N air;{air})))
          (PUNC :))
  (ID 543_a_dick_1952))

arc(r_0543_0003___apos_re_r_0543_0004__at,r_0543_0001__Of_course,nim).
arc(r_0543_0003___apos_re_r_0543_0004__at,r_0543_0002__we,arg0).
arc(r_0543_0003___apos_re_r_0543_0004__at,r_0543_0006__mercy,arg1).
arc(r_0543_0003___apos_re_r_0543_0004__at,r_0543_0008__the_r_0543_0009__air,r_0543_0007__in__nim).
arc(r_0543_0006__mercy,r_0543_0005__its,gen).

fof(formula,axiom,
    ? [R_0543_0001__OF_COURSE,R_0543_0002__WE,R_0543_0005__ITS,R_0543_0006__MERCY,R_0543_0008__THE_R_0543_0009__AIR,R_0543_0003___APOS_RE_R_0543_0004__AT] :
      ( r_0543_0001__Of_course(R_0543_0001__OF_COURSE)
      & r_0543_0002__we(R_0543_0002__WE)
      & r_0543_0005__its(R_0543_0005__ITS)
      & r_0543_0008__the_r_0543_0009__air(R_0543_0008__THE_R_0543_0009__AIR)
      & r_0543_0003___apos_re_r_0543_0004__at(R_0543_0003___APOS_RE_R_0543_0004__AT)
      & has_r_0543_0007__in__nim(R_0543_0003___APOS_RE_R_0543_0004__AT,R_0543_0008__THE_R_0543_0009__AIR)
      & has_arg1(R_0543_0003___APOS_RE_R_0543_0004__AT,R_0543_0006__MERCY)
      & r_0543_0006__mercy(R_0543_0006__MERCY)
      & has_gen(R_0543_0006__MERCY,R_0543_0005__ITS)
      & has_arg0(R_0543_0003___APOS_RE_R_0543_0004__AT,R_0543_0002__WE)
      & has_nim(R_0543_0003___APOS_RE_R_0543_0004__AT,R_0543_0001__OF_COURSE) ) ).