TSPC 9_a_stick

9_a_stick
Every sticky application of this kind must have a template file called Templates, with a window - template called info in it.

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_0008__have, 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_0008__have, r_0009_0016__a_r_0009_0017__window_r_0009_0019__template, r_0009_0015__with_nim43).
arc(r_0009_0012__called, r_0009_0009__a_r_0009_0010__template_r_0009_0011__file, 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_0016__a_r_0009_0017__window_r_0009_0019__template, r_0009_0023__it, r_0009_0022__in).
arc(r_0009_0020__called, r_0009_0016__a_r_0009_0017__window_r_0009_0019__template, arg1).
arc(r_0009_0020__called, r_0009_0021__info, prd).
arc(r_0009_0020__called, z_000_9_a_stick_53, arg0).

fof(formula,axiom,
    ? [R_9_12_CALLED,Z_9_A_STICK_31,R_9_9_A_TEMPLATE_FILE,R_9_13_TEMPLATES,R_9_20_CALLED,Z_9_A_STICK_53,R_9_16_A_WINDOW_TEMPLATE,R_9_23_IT,R_9_21_INFO] :
      ( a_template_file(R_9_9_A_TEMPLATE_FILE)
      & templates(R_9_13_TEMPLATES)
      & it(R_9_23_IT)
      & info(R_9_21_INFO)
      & ! [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_7_MUST_HAVE] :
              ( must_have(R_9_7_MUST_HAVE,R_9_3_APPLICATION,R_9_9_A_TEMPLATE_FILE)
              & with_nim43(R_9_7_MUST_HAVE,R_9_16_A_WINDOW_TEMPLATE) ) )
      & called(R_9_12_CALLED,Z_9_A_STICK_31,R_9_9_A_TEMPLATE_FILE,R_9_13_TEMPLATES)
      & called(R_9_20_CALLED,Z_9_A_STICK_53,R_9_16_A_WINDOW_TEMPLATE,R_9_21_INFO)
      & a_window_template(R_9_16_A_WINDOW_TEMPLATE)
      & in(R_9_16_A_WINDOW_TEMPLATE,R_9_23_IT) ) ).

( (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;{call})
                                                      (NP-PRD (NPRS Templates;{Templates}))))
                      (PUNC ,)
                      (PP-NIM (P-ROLE with;{with})
                              (NP (D a;{a})
                                  (N window;{window})
                                  (PUNC <hyphen>)
                                  (N template;{template})
                                  (IP-PPL (NP-LGS *)
                                          (VVN;_Cn.n_ called;{call})
                                          (NP-PRD (NPR info;{info})))
                                  (PP (P-ROLE in;{in})
                                      (NP;{TEMPLATE_FILE} (PRO it;{it}))))))
          (PUNC .))
  (ID 9_a_stick))