10_a_stick
This is to give the application an iconbar menu that behaves properly.
( (IP-MAT (NP-SBJ;{TEMPLATE_FILE} (D;_nphd_ This;{this}))
(BEP;_equ_Vt_ is;{be})
(IP-INF-PRD (TO to;{to})
(VB;_Dn.n_ give;{give})
(NP-OB2 (D the;{the})
(N application;{application}))
(NP-OB1 (D an;{an})
(N iconbar;{iconbar})
(N menu;{menu})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(VBP;_I_ behaves;{behave})
(ADVP-NIM (ADV properly;{properly})))))
(PUNC .))
(ID 10_a_stick))
arc(r_0010_0002__is,r_0010_0001__This,arg0).
arc(r_0010_0002__is,r_0010_0004__give,prd).
arc(r_0010_0004__give,r_0010_0005__the_r_0010_0006__application,arg2).
arc(r_0010_0004__give,r_0010_0007__an_r_0010_0008__iconbar_r_0010_0009__menu,arg1).
arc(r_0010_0004__give,z_0010_5003,arg0).
arc(r_0010_0011__behaves,r_0010_0007__an_r_0010_0008__iconbar_r_0010_0009__menu,inv_arg0).
arc(r_0010_0011__behaves,r_0010_0012__properly,nim).
fof(formula,axiom,
? [R_0010_0001__THIS,R_0010_0005__THE_R_0010_0006__APPLICATION,R_0010_0012__PROPERLY,R_0010_0011__BEHAVES,R_0010_0007__AN_R_0010_0008__ICONBAR_R_0010_0009__MENU,Z_0010_5003,R_0010_0004__GIVE,R_0010_0002__IS] :
( r_0010_0001__This(R_0010_0001__THIS)
& r_0010_0005__the_r_0010_0006__application(R_0010_0005__THE_R_0010_0006__APPLICATION)
& r_0010_0012__properly(R_0010_0012__PROPERLY)
& z_0010_5003(Z_0010_5003)
& r_0010_0002__is(R_0010_0002__IS)
& has_prd(R_0010_0002__IS,R_0010_0004__GIVE)
& r_0010_0004__give(R_0010_0004__GIVE)
& has_arg0(R_0010_0004__GIVE,Z_0010_5003)
& has_arg1(R_0010_0004__GIVE,R_0010_0007__AN_R_0010_0008__ICONBAR_R_0010_0009__MENU)
& r_0010_0007__an_r_0010_0008__iconbar_r_0010_0009__menu(R_0010_0007__AN_R_0010_0008__ICONBAR_R_0010_0009__MENU)
& has_inv_arg0(R_0010_0007__AN_R_0010_0008__ICONBAR_R_0010_0009__MENU,R_0010_0011__BEHAVES)
& r_0010_0011__behaves(R_0010_0011__BEHAVES)
& has_nim(R_0010_0011__BEHAVES,R_0010_0012__PROPERLY)
& has_arg2(R_0010_0004__GIVE,R_0010_0005__THE_R_0010_0006__APPLICATION)
& has_arg0(R_0010_0002__IS,R_0010_0001__THIS) ) ).