arc(r_0009_0001__Every_quant, r_0009_0003__application, restriction).
arc(r_0009_0001__Every_quant, r_0009_0007__must, scope).
arc(r_0009_0003__application, r_0009_0002__sticky, attrib5).
arc(r_0009_0003__application, r_0009_0005__this_r_0009_0006__kind, r_0009_0004__of).
arc(r_0009_0007__must, r_0009_0015__with, scope).
arc(r_0009_0008__have, r_0009_0003__application, arg0).
arc(r_0009_0008__have, r_0009_0009__a_r_0009_0010__template_r_0009_0011__file, arg1).
arc(r_0009_0012__called, r_0009_0009__a_r_0009_0010__template_r_0009_0011__file, inv_arg1).
arc(r_0009_0012__called, r_0009_0013__Templates, prd).
arc(r_0009_0012__called, z_000_9_a_stick_31, arg0).
arc(r_0009_0015__with, r_0009_0008__have, scope).
arc(r_0009_0015__with, z_000_9_a_stick_43, restriction).
arc(r_0009_0016__a_r_0009_0017__window_r_0009_0019__template, r_0009_0009__a_r_0009_0010__template_r_0009_0011__file, r_0009_0022__in).
arc(r_0009_0020__called, r_0009_0016__a_r_0009_0017__window_r_0009_0019__template, inv_arg1).
arc(r_0009_0020__called, r_0009_0021__info, prd).
arc(r_0009_0020__called, z_000_9_a_stick_54, arg0).
arc(z_000_9_a_stick_43, r_0009_0016__a_r_0009_0017__window_r_0009_0019__template, arg0).

fof(formula,axiom,
    ! [R_9_3_APPLICATION,R_9_2_STICKY,R_9_5_THIS_KIND] :
      ( ( sticky(R_9_2_STICKY)
        & this_kind(R_9_5_THIS_KIND)
        & application(R_9_3_APPLICATION)
        & attrib5(R_9_3_APPLICATION,R_9_2_STICKY)
        & of(R_9_3_APPLICATION,R_9_5_THIS_KIND) )
     => ~ ? [R_9_15_WITH,Z_9_A_STICK_43,R_9_16_A_WINDOW_TEMPLATE,R_9_20_CALLED,Z_9_A_STICK_54,R_9_21_INFO,R_9_8_HAVE,R_9_9_A_TEMPLATE_FILE,R_9_12_CALLED,Z_9_A_STICK_31,R_9_13_TEMPLATES] :
            ( info(R_9_21_INFO)
            & templates(R_9_13_TEMPLATES)
            & with(R_9_15_WITH)
            & conj1(R_9_15_WITH,Z_9_A_STICK_43)
            & z_9_a_stick_43(Z_9_A_STICK_43,R_9_16_A_WINDOW_TEMPLATE)
            & a_window_template(R_9_16_A_WINDOW_TEMPLATE)
            & inv_arg1(R_9_16_A_WINDOW_TEMPLATE,R_9_20_CALLED)
            & called(R_9_20_CALLED,Z_9_A_STICK_54,R_9_21_INFO)
            & in(R_9_16_A_WINDOW_TEMPLATE,R_9_9_A_TEMPLATE_FILE)
            & a_template_file(R_9_9_A_TEMPLATE_FILE)
            & inv_arg1(R_9_9_A_TEMPLATE_FILE,R_9_12_CALLED)
            & called(R_9_12_CALLED,Z_9_A_STICK_31,R_9_13_TEMPLATES)
            & conj2(R_9_15_WITH,R_9_8_HAVE)
            & have(R_9_8_HAVE,R_9_3_APPLICATION,R_9_9_A_TEMPLATE_FILE) ) ) ).

( (IP-MAT (NP-SBJ (Q Every;{every})
                  (ADJP (ADJ sticky;{sticky}))
                  (N application;{application})
                  (PP (P-ROLE of;{of})
                      (NP (D this;{this})
                          (N kind;{kind}))))
          (MD;_cat_Vi_ must;{must})
          (IP-INF-CAT (HV;_Tn_ have;{have})
                      (NP-OB1;{TEMPLATE_FILE} (D a;{a})
                                              (N template;{template})
                                              (N file;{file})
                                              (IP-PPL (NP-LGS *)
                                                      (VVN;_Cn.n_ called;_arg1_;{call})
                                                      (NP-PRD (NPRS Templates;{Templates}))))
                      (PUNC ,)
                      (PP-SCON (P-CONN with;{with})
                               (IP-ADV (NP-ESBJ (D a;{a})
                                                (N window;{window})
                                                (PUNC <hyphen>)
                                                (N template;{template})
                                                (IP-PPL (NP-LGS *)
                                                        (VVN;_Cn.n_ called;_arg1_;{call})
                                                        (NP-PRD (NPR info;{info})))
                                                (PP (P-ROLE in;{in})
                                                    (NP;{TEMPLATE_FILE} (PRO it;{it})))))))
          (PUNC .))
  (ID 9_a_stick))