9_a_stick
Every sticky application of this kind must have a template file called Templates, with a window - template called info in 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))
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,attrib).
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__nim).
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_0009_5007___star_,arg0).
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_0009_5010___star_,arg0).
fof(formula,axiom,
! [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_attrib(R_0009_0003__APPLICATION,R_0009_0002__STICKY) )
=> ? [R_0009_0013__TEMPLATES,Z_0009_5007___STAR_,R_0009_0012__CALLED,R_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE,R_0009_0021__INFO,Z_0009_5010___STAR_,R_0009_0020__CALLED,R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE,R_0009_0007__MUST_R_0009_0008__HAVE] :
( r_0009_0013__Templates(R_0009_0013__TEMPLATES)
& r_0009_0021__info(R_0009_0021__INFO)
& z_0009_5007___star_(Z_0009_5007___STAR_)
& z_0009_5010___star_(Z_0009_5010___STAR_)
& r_0009_0007__must_r_0009_0008__have(R_0009_0007__MUST_R_0009_0008__HAVE)
& has_r_0009_0015__with__nim(R_0009_0007__MUST_R_0009_0008__HAVE,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_inv_arg1(R_0009_0016__A_R_0009_0017__WINDOW_R_0009_0019__TEMPLATE,R_0009_0020__CALLED)
& r_0009_0020__called(R_0009_0020__CALLED)
& has_arg0(R_0009_0020__CALLED,Z_0009_5010___STAR_)
& has_prd(R_0009_0020__CALLED,R_0009_0021__INFO)
& has_r_0009_0022__in(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_0009__a_r_0009_0010__template_r_0009_0011__file(R_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE)
& has_inv_arg1(R_0009_0009__A_R_0009_0010__TEMPLATE_R_0009_0011__FILE,R_0009_0012__CALLED)
& r_0009_0012__called(R_0009_0012__CALLED)
& has_arg0(R_0009_0012__CALLED,Z_0009_5007___STAR_)
& has_prd(R_0009_0012__CALLED,R_0009_0013__TEMPLATES)
& 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) ) ) ).