( (IP-MAT (NP-SBJ (PRO They;{they}))
          (MD;_cat_Vi_ might;{may})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                  (IP-PPL-CAT (VAG;_Tn_ arranging;{arrange})
                                              (NP-OB1 (D a;{a})
                                                      (N supper;{supper})
                                                      (N party;{party})))))
          (PUNC .))
  (ID 10_a_lob_n01))

arc(r_0010_0002__might,r_0010_0003__have,scope).
arc(r_0010_0003__have,r_0010_0004__been,scope).
arc(r_0010_0004__been,r_0010_0005__arranging,scope).
arc(r_0010_0005__arranging,r_0010_0001__They,arg0).
arc(r_0010_0005__arranging,r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party,arg1).

fof(formula,axiom,
    ? [R_0010_0001__THEY,R_0010_0006__A_R_0010_0007__SUPPER_R_0010_0008__PARTY,R_0010_0002__MIGHT_R_0010_0003__HAVE_R_0010_0004__BEEN_R_0010_0005__ARRANGING] :
      ( r_0010_0001__They(R_0010_0001__THEY)
      & r_0010_0006__a_r_0010_0007__supper_r_0010_0008__party(R_0010_0006__A_R_0010_0007__SUPPER_R_0010_0008__PARTY)
      & r_0010_0002__might_r_0010_0003__have_r_0010_0004__been_r_0010_0005__arranging(R_0010_0002__MIGHT_R_0010_0003__HAVE_R_0010_0004__BEEN_R_0010_0005__ARRANGING)
      & has_arg1(R_0010_0002__MIGHT_R_0010_0003__HAVE_R_0010_0004__BEEN_R_0010_0005__ARRANGING,R_0010_0006__A_R_0010_0007__SUPPER_R_0010_0008__PARTY)
      & has_arg0(R_0010_0002__MIGHT_R_0010_0003__HAVE_R_0010_0004__BEEN_R_0010_0005__ARRANGING,R_0010_0001__THEY) ) ).