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_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE,R_0009_0013__TEMPLATES,Z_000_9_A_STICK_31,R_0009_0012__CALLED,R_0009_0023__IT,R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE,R_0009_0021__INFO,Z_000_9_A_STICK_53,R_0009_0020__CALLED] :
( r_0009_0009__a_r_0009_0010__template_r_0009_0011__file(R_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE)
& r_0009_0013__Templates(R_0009_0013__TEMPLATES)
& r_0009_0021__info(R_0009_0021__INFO)
& r_0009_0023__it(R_0009_0023__IT)
& z_000_9_a_stick_31(Z_000_9_A_STICK_31)
& z_000_9_a_stick_53(Z_000_9_A_STICK_53)
& r_0009_0020__called(R_0009_0020__CALLED)
& has_arg0(R_0009_0020__CALLED,Z_000_9_A_STICK_53)
& has_prd(R_0009_0020__CALLED,R_0009_0021__INFO)
& has_arg1(R_0009_0020__CALLED,R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE)
& r_0009_0016__a_r_0009_0017__window_r_0009_0019__template(R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE)
& has_r_0009_0022__in(R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE,R_0009_0023__IT)
& r_0009_0012__called(R_0009_0012__CALLED)
& has_arg0(R_0009_0012__CALLED,Z_000_9_A_STICK_31)
& has_prd(R_0009_0012__CALLED,R_0009_0013__TEMPLATES)
& has_arg1(R_0009_0012__CALLED,R_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE)
& ! [R_0009_0003__APPLICATION,R_0009_0002__STICKY,R_0009_0005__THIS_R_0009_0006__KIND] :
( ( r_0009_0002__sticky(R_0009_0002__STICKY)
& r_0009_0005__this_r_0009_0006__kind(R_0009_0005__THIS_R_0009_0006__KIND)
& r_0009_0003__application(R_0009_0003__APPLICATION)
& has_r_0009_0004__of(R_0009_0003__APPLICATION,R_0009_0005__THIS_R_0009_0006__KIND)
& has_attrib5(R_0009_0003__APPLICATION,R_0009_0002__STICKY) )
=> ? [R_0009_0007__MUST_R_0009_0008__HAVE] :
( r_0009_0007__must_r_0009_0008__have(R_0009_0007__MUST_R_0009_0008__HAVE)
& has_r_0009_0015__with_nim43(R_0009_0007__MUST_R_0009_0008__HAVE,R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE)
& has_arg1(R_0009_0007__MUST_R_0009_0008__HAVE,R_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE)
& has_arg0(R_0009_0007__MUST_R_0009_0008__HAVE,R_0009_0003__APPLICATION) ) ) ) ).
( (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))