( (IP-MAT (NP-SBJ;{RESISTANCE} (D The;{the})
                               (NPR Resistance;{Resistance}))
          (BEP;_Ip_ is;{be[about]})
          (ADVP-CLR (ADV;_cat_ about;{about})
                    (IP-INF (TO to;{to})
                            (VB;_Tn.pr_ launch;{launch[against]})
                            (NP-OB1;{OFFENSIVE} (D a;{a})
                                                (ADJP (ADJ major;{major}))
                                                (N offensive;{offensive}))
                            (PP-CLR (P-ROLE against;{against})
                                    (NP (D the;{the})
                                        (NPR Empire;{Empire})))))
          (PUNC .))
  (ID 2_a_thrust))

arc(r_0002_0003__is,r_0002_0004__about,scope).
arc(r_0002_0004__about,r_0002_0006__launch_r_0002_0010__against,scope).
arc(r_0002_0006__launch_r_0002_0010__against,r_0002_0001__The_r_0002_0002__Resistance,arg0).
arc(r_0002_0006__launch_r_0002_0010__against,r_0002_0007__a_r_0002_0009__offensive,arg1).
arc(r_0002_0006__launch_r_0002_0010__against,r_0002_0011__the_r_0002_0012__Empire,arg2).
arc(r_0002_0007__a_r_0002_0009__offensive,r_0002_0008__major,attrib).

fof(formula,axiom,
    ? [R_0002_0001__THE_R_0002_0002__RESISTANCE,R_0002_0008__MAJOR,R_0002_0007__A_R_0002_0009__OFFENSIVE,R_0002_0011__THE_R_0002_0012__EMPIRE,R_0002_0003__IS_R_0002_0004__ABOUT_R_0002_0006__LAUNCH_R_0002_0010__AGAINST] :
      ( r_0002_0001__The_r_0002_0002__Resistance(R_0002_0001__THE_R_0002_0002__RESISTANCE)
      & r_0002_0008__major(R_0002_0008__MAJOR)
      & r_0002_0011__the_r_0002_0012__Empire(R_0002_0011__THE_R_0002_0012__EMPIRE)
      & r_0002_0003__is_r_0002_0004__about_r_0002_0006__launch_r_0002_0010__against(R_0002_0003__IS_R_0002_0004__ABOUT_R_0002_0006__LAUNCH_R_0002_0010__AGAINST)
      & has_arg2(R_0002_0003__IS_R_0002_0004__ABOUT_R_0002_0006__LAUNCH_R_0002_0010__AGAINST,R_0002_0011__THE_R_0002_0012__EMPIRE)
      & has_arg1(R_0002_0003__IS_R_0002_0004__ABOUT_R_0002_0006__LAUNCH_R_0002_0010__AGAINST,R_0002_0007__A_R_0002_0009__OFFENSIVE)
      & r_0002_0007__a_r_0002_0009__offensive(R_0002_0007__A_R_0002_0009__OFFENSIVE)
      & has_attrib(R_0002_0007__A_R_0002_0009__OFFENSIVE,R_0002_0008__MAJOR)
      & has_arg0(R_0002_0003__IS_R_0002_0004__ABOUT_R_0002_0006__LAUNCH_R_0002_0010__AGAINST,R_0002_0001__THE_R_0002_0002__RESISTANCE) ) ).