Context                Previous, Next                Top


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

%3 r_0009_0001__Every_quant Every [quant] r_0009_0003__application application r_0009_0001__Every_quant->r_0009_0003__application [restriction] r_0009_0007__must must r_0009_0001__Every_quant->r_0009_0007__must [scope] r_0009_0002__sticky sticky r_0009_0003__application->r_0009_0002__sticky [attrib] r_0009_0005__this_r_0009_0006__kind this kind r_0009_0003__application->r_0009_0005__this_r_0009_0006__kind of r_0009_0015__with with r_0009_0007__must->r_0009_0015__with [scope] r_0009_0008__have have r_0009_0015__with->r_0009_0008__have [scope] z_000_9_a_stick_43 r_0009_0015__with->z_000_9_a_stick_43 [restriction] r_0009_0008__have->r_0009_0003__application [arg0] r_0009_0009__a_r_0009_0010__template_r_0009_0011__file a template file r_0009_0008__have->r_0009_0009__a_r_0009_0010__template_r_0009_0011__file [arg1] r_0009_0012__called called r_0009_0012__called->r_0009_0009__a_r_0009_0010__template_r_0009_0011__file [inv] [arg1] r_0009_0013__Templates Templates r_0009_0012__called->r_0009_0013__Templates [prd] z_000_9_a_stick_31 r_0009_0012__called->z_000_9_a_stick_31 [arg0] r_0009_0016__a_r_0009_0017__window_r_0009_0019__template a window template z_000_9_a_stick_43->r_0009_0016__a_r_0009_0017__window_r_0009_0019__template [arg0] r_0009_0016__a_r_0009_0017__window_r_0009_0019__template->r_0009_0009__a_r_0009_0010__template_r_0009_0011__file in r_0009_0020__called called r_0009_0020__called->r_0009_0016__a_r_0009_0017__window_r_0009_0019__template [inv] [arg1] r_0009_0021__info info r_0009_0020__called->r_0009_0021__info [prd] z_000_9_a_stick_54 r_0009_0020__called->z_000_9_a_stick_54 [arg0] 
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).


%3 r_0009_0001__Every_quant Every [quant] r_0009_0003__application application r_0009_0001__Every_quant->r_0009_0003__application [restriction] r_0009_0007__must must r_0009_0001__Every_quant->r_0009_0007__must [scope] r_0009_0002__sticky sticky r_0009_0003__application->r_0009_0002__sticky [attrib] r_0009_0005__this_r_0009_0006__kind this kind r_0009_0003__application->r_0009_0005__this_r_0009_0006__kind of r_0009_0015__with with r_0009_0007__must->r_0009_0015__with [keep_scope] r_0009_0008__have have r_0009_0015__with->r_0009_0008__have [conj2] z_000_9_a_stick_43 r_0009_0015__with->z_000_9_a_stick_43 [conj1] r_0009_0008__have->r_0009_0003__application [arg0] r_0009_0009__a_r_0009_0010__template_r_0009_0011__file a template file r_0009_0008__have->r_0009_0009__a_r_0009_0010__template_r_0009_0011__file [arg1] r_0009_0012__called called r_0009_0009__a_r_0009_0010__template_r_0009_0011__file->r_0009_0012__called [inv] [arg1] r_0009_0013__Templates Templates r_0009_0012__called->r_0009_0013__Templates [prd] z_000_9_a_stick_31 r_0009_0012__called->z_000_9_a_stick_31 [arg0] r_0009_0016__a_r_0009_0017__window_r_0009_0019__template a window template z_000_9_a_stick_43->r_0009_0016__a_r_0009_0017__window_r_0009_0019__template [arg0] r_0009_0016__a_r_0009_0017__window_r_0009_0019__template->r_0009_0009__a_r_0009_0010__template_r_0009_0011__file in r_0009_0020__called called r_0009_0016__a_r_0009_0017__window_r_0009_0019__template->r_0009_0020__called [inv] [arg1] r_0009_0021__info info r_0009_0020__called->r_0009_0021__info [prd] z_000_9_a_stick_54 r_0009_0020__called->z_000_9_a_stick_54 [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) ) ) ).


n9_a_stick n9_a_stick_4 Every n9_a_stick_7 sticky n9_a_stick_9 application n9_a_stick_12 of n9_a_stick_15 this n9_a_stick_17 kind n9_a_stick_19 must n9_a_stick_22 have n9_a_stick_25 a n9_a_stick_27 template n9_a_stick_29 file n9_a_stick_32 * n9_a_stick_34 called;_arg1_ n9_a_stick_37 Templates n9_a_stick_39 , n9_a_stick_42 with n9_a_stick_46 a n9_a_stick_48 window n9_a_stick_50 - n9_a_stick_52 template n9_a_stick_55 * n9_a_stick_57 called;_arg1_ n9_a_stick_60 info n9_a_stick_63 in n9_a_stick_66 it n9_a_stick_68 . n9_a_stick_1 IP-MAT n9_a_stick_2 NP-SBJ n9_a_stick_1->n9_a_stick_2 n9_a_stick_18 MD;_cat_Vi_ n9_a_stick_1->n9_a_stick_18 n9_a_stick_20 IP-INF-CAT n9_a_stick_1->n9_a_stick_20 n9_a_stick_67 PUNC n9_a_stick_1->n9_a_stick_67 n9_a_stick_3 Q n9_a_stick_2->n9_a_stick_3 n9_a_stick_5 ADJP n9_a_stick_2->n9_a_stick_5 n9_a_stick_8 N n9_a_stick_2->n9_a_stick_8 n9_a_stick_10 PP n9_a_stick_2->n9_a_stick_10 n9_a_stick_3->n9_a_stick_4 n9_a_stick_6 ADJ n9_a_stick_5->n9_a_stick_6 n9_a_stick_6->n9_a_stick_7 n9_a_stick_8->n9_a_stick_9 n9_a_stick_11 P-ROLE n9_a_stick_10->n9_a_stick_11 n9_a_stick_13 NP n9_a_stick_10->n9_a_stick_13 n9_a_stick_11->n9_a_stick_12 n9_a_stick_14 D n9_a_stick_13->n9_a_stick_14 n9_a_stick_16 N n9_a_stick_13->n9_a_stick_16 n9_a_stick_14->n9_a_stick_15 n9_a_stick_16->n9_a_stick_17 n9_a_stick_18->n9_a_stick_19 n9_a_stick_21 HV;_Tn_ n9_a_stick_20->n9_a_stick_21 n9_a_stick_23 NP-OB1 n9_a_stick_20->n9_a_stick_23 n9_a_stick_38 PUNC n9_a_stick_20->n9_a_stick_38 n9_a_stick_40 PP-SCON n9_a_stick_20->n9_a_stick_40 n9_a_stick_21->n9_a_stick_22 n9_a_stick_24 D n9_a_stick_23->n9_a_stick_24 n9_a_stick_26 N n9_a_stick_23->n9_a_stick_26 n9_a_stick_28 N n9_a_stick_23->n9_a_stick_28 n9_a_stick_30 IP-PPL n9_a_stick_23->n9_a_stick_30 n9_a_stick_24->n9_a_stick_25 n9_a_stick_26->n9_a_stick_27 n9_a_stick_28->n9_a_stick_29 n9_a_stick_31 NP-LGS n9_a_stick_30->n9_a_stick_31 n9_a_stick_33 VVN;_Cn.n_ n9_a_stick_30->n9_a_stick_33 n9_a_stick_35 NP-PRD n9_a_stick_30->n9_a_stick_35 n9_a_stick_31->n9_a_stick_32 n9_a_stick_33->n9_a_stick_34 n9_a_stick_36 NPRS n9_a_stick_35->n9_a_stick_36 n9_a_stick_36->n9_a_stick_37 n9_a_stick_38->n9_a_stick_39 n9_a_stick_41 P-CONN n9_a_stick_40->n9_a_stick_41 n9_a_stick_43 IP-ADV n9_a_stick_40->n9_a_stick_43 n9_a_stick_41->n9_a_stick_42 n9_a_stick_44 NP-ESBJ n9_a_stick_43->n9_a_stick_44 n9_a_stick_45 D n9_a_stick_44->n9_a_stick_45 n9_a_stick_47 N n9_a_stick_44->n9_a_stick_47 n9_a_stick_49 PUNC n9_a_stick_44->n9_a_stick_49 n9_a_stick_51 N n9_a_stick_44->n9_a_stick_51 n9_a_stick_53 IP-PPL n9_a_stick_44->n9_a_stick_53 n9_a_stick_61 PP n9_a_stick_44->n9_a_stick_61 n9_a_stick_45->n9_a_stick_46 n9_a_stick_47->n9_a_stick_48 n9_a_stick_49->n9_a_stick_50 n9_a_stick_51->n9_a_stick_52 n9_a_stick_54 NP-LGS n9_a_stick_53->n9_a_stick_54 n9_a_stick_56 VVN;_Cn.n_ n9_a_stick_53->n9_a_stick_56 n9_a_stick_58 NP-PRD n9_a_stick_53->n9_a_stick_58 n9_a_stick_54->n9_a_stick_55 n9_a_stick_56->n9_a_stick_57 n9_a_stick_59 NPR n9_a_stick_58->n9_a_stick_59 n9_a_stick_59->n9_a_stick_60 n9_a_stick_62 P-ROLE n9_a_stick_61->n9_a_stick_62 n9_a_stick_64 NP n9_a_stick_61->n9_a_stick_64 n9_a_stick_62->n9_a_stick_63 n9_a_stick_65 PRO n9_a_stick_64->n9_a_stick_65 n9_a_stick_65->n9_a_stick_66 n9_a_stick_67->n9_a_stick_68 
( (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))