Context                Previous, Next                Top


8_a_stick
Its <excl>Run file's essential command is stick <lt>Obey<dollar>dir<gt> which creates the application and puts its icon on the iconbar.

%3 r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s !Run file 's r_0008_0001__Its Its r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s->r_0008_0001__Its [gen] r_0008_0006__command command r_0008_0006__command->r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s [gen] r_0008_0005__essential essential r_0008_0006__command->r_0008_0005__essential [attrib] r_0008_0007__is is r_0008_0007__is->r_0008_0006__command [arg0] r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ stick  lt Obey dollar dir gt r_0008_0007__is->r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ [prd] r_0008_0011__creates creates r_0008_0011__creates->r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ [arg0] r_0008_0012__the_r_0008_0013__application the application r_0008_0011__creates->r_0008_0012__the_r_0008_0013__application [arg1] r_0008_0014__and and r_0008_0014__and->r_0008_0011__creates [conj1] r_0008_0015__puts puts r_0008_0014__and->r_0008_0015__puts [conj2] r_0008_0015__puts->r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ [arg0] r_0008_0017__icon icon r_0008_0015__puts->r_0008_0017__icon [arg1] r_0008_0019__the_r_0008_0020__iconbar the iconbar r_0008_0015__puts->r_0008_0019__the_r_0008_0020__iconbar on [nim] r_0008_0016__its its r_0008_0017__icon->r_0008_0016__its [gen] 
arc(r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s, r_0008_0001__Its, gen).
arc(r_0008_0006__command, r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s, gen).
arc(r_0008_0006__command, r_0008_0005__essential, attrib13).
arc(r_0008_0007__is, r_0008_0006__command, arg0).
arc(r_0008_0007__is, r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_, prd).
arc(r_0008_0011__creates, r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_, arg0).
arc(r_0008_0011__creates, r_0008_0012__the_r_0008_0013__application, arg1).
arc(r_0008_0014__and, r_0008_0011__creates, conj1).
arc(r_0008_0014__and, r_0008_0015__puts, conj2).
arc(r_0008_0015__puts, r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_, arg0).
arc(r_0008_0015__puts, r_0008_0017__icon, arg1).
arc(r_0008_0015__puts, r_0008_0019__the_r_0008_0020__iconbar, r_0008_0018__on_nim53).
arc(r_0008_0017__icon, r_0008_0016__its, gen).


%3 r_0008_0017__icon icon r_0008_0016__its its r_0008_0017__icon->r_0008_0016__its [gen] r_0008_0015__puts puts r_0008_0015__puts->r_0008_0017__icon [arg1] r_0008_0019__the_r_0008_0020__iconbar the iconbar r_0008_0015__puts->r_0008_0019__the_r_0008_0020__iconbar on [nim] r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ stick  lt Obey dollar dir gt r_0008_0015__puts->r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ [arg0] r_0008_0014__and and r_0008_0014__and->r_0008_0015__puts [conj2] r_0008_0011__creates creates r_0008_0014__and->r_0008_0011__creates [conj1] r_0008_0011__creates->r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ [arg0] r_0008_0012__the_r_0008_0013__application the application r_0008_0011__creates->r_0008_0012__the_r_0008_0013__application [arg1] r_0008_0007__is is r_0008_0007__is->r_0008_0008__stick_r_0008_0009___lt_Obey_dollar_dir_gt_ [prd] r_0008_0006__command command r_0008_0007__is->r_0008_0006__command [arg0] r_0008_0005__essential essential r_0008_0006__command->r_0008_0005__essential [attrib] r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s !Run file 's r_0008_0006__command->r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s [gen] r_0008_0001__Its Its r_0008_0002___excl_Run_r_0008_0003__file_r_0008_0004___apos_s->r_0008_0001__Its [gen] 
fof(formula,axiom,
    ? [R_8_7_IS,R_8_6_COMMAND,R_8_5_ESSENTIAL,R_8_2__EXCL_RUN_FILE_APOS_S,R_8_1_ITS,R_8_14_AND,R_8_11_CREATES,R_8_12_THE_APPLICATION,R_8_15_PUTS,R_8_8_STICK_LT_OBEY_DOLLAR_DIR_GT_,R_8_17_ICON,R_8_16_ITS,R_8_19_THE_ICONBAR] :
      ( essential(R_8_5_ESSENTIAL)
      & its(R_8_1_ITS)
      & the_application(R_8_12_THE_APPLICATION)
      & stick_lt_Obey_dollar_dir_gt_(R_8_8_STICK_LT_OBEY_DOLLAR_DIR_GT_)
      & its(R_8_16_ITS)
      & the_iconbar(R_8_19_THE_ICONBAR)
      & is(R_8_7_IS,R_8_6_COMMAND,R_8_8_STICK_LT_OBEY_DOLLAR_DIR_GT_)
      & command(R_8_6_COMMAND)
      & attrib13(R_8_6_COMMAND,R_8_5_ESSENTIAL)
      & gen(R_8_6_COMMAND,R_8_2__EXCL_RUN_FILE_APOS_S)
      & _excl_Run_file_apos_s(R_8_2__EXCL_RUN_FILE_APOS_S)
      & gen(R_8_2__EXCL_RUN_FILE_APOS_S,R_8_1_ITS)
      & and(R_8_14_AND)
      & conj1(R_8_14_AND,R_8_11_CREATES)
      & creates(R_8_11_CREATES,R_8_8_STICK_LT_OBEY_DOLLAR_DIR_GT_,R_8_12_THE_APPLICATION)
      & conj2(R_8_14_AND,R_8_15_PUTS)
      & puts(R_8_15_PUTS,R_8_8_STICK_LT_OBEY_DOLLAR_DIR_GT_,R_8_17_ICON)
      & icon(R_8_17_ICON)
      & gen(R_8_17_ICON,R_8_16_ITS)
      & on_nim53(R_8_15_PUTS,R_8_19_THE_ICONBAR) ) ).


n8_a_stick n8_a_stick__1_1_1_1_1_1 Its n8_a_stick__1_1_1_2_1 <excl>Run n8_a_stick__1_1_1_3_1 file n8_a_stick__1_1_1_4_1 's n8_a_stick__1_1_2_1_1 essential n8_a_stick__1_1_3_1 command n8_a_stick__1_2_1 is n8_a_stick__1_3_1_1 stick n8_a_stick__1_3_2_1 <lt>Obey<dollar>dir<gt> n8_a_stick__1_3_3_1_1_1 which n8_a_stick__1_3_3_2_1_1_1 creates n8_a_stick__1_3_3_2_1_2_1_1 the n8_a_stick__1_3_3_2_1_2_2_1 application n8_a_stick__1_3_3_2_2_1_1 and n8_a_stick__1_3_3_2_2_2_1_1 puts n8_a_stick__1_3_3_2_2_2_2_1_1_1 its n8_a_stick__1_3_3_2_2_2_2_2_1 icon n8_a_stick__1_3_3_2_2_2_3_1_1 on n8_a_stick__1_3_3_2_2_2_3_2_1_1 the n8_a_stick__1_3_3_2_2_2_3_2_2_1 iconbar n8_a_stick__1_4_1 . n8_a_stick__1 IP-MAT n8_a_stick__1_1 NP-SBJ n8_a_stick__1->n8_a_stick__1_1 n8_a_stick__1_2 BEP;_Ln_ n8_a_stick__1->n8_a_stick__1_2 n8_a_stick__1_3 NP-PRD n8_a_stick__1->n8_a_stick__1_3 n8_a_stick__1_4 PUNC n8_a_stick__1->n8_a_stick__1_4 n8_a_stick__1_1_1 NP-GEN n8_a_stick__1_1->n8_a_stick__1_1_1 n8_a_stick__1_1_2 ADJP n8_a_stick__1_1->n8_a_stick__1_1_2 n8_a_stick__1_1_3 N n8_a_stick__1_1->n8_a_stick__1_1_3 n8_a_stick__1_1_1_1 NP-GEN n8_a_stick__1_1_1->n8_a_stick__1_1_1_1 n8_a_stick__1_1_1_2 NPR n8_a_stick__1_1_1->n8_a_stick__1_1_1_2 n8_a_stick__1_1_1_3 N n8_a_stick__1_1_1->n8_a_stick__1_1_1_3 n8_a_stick__1_1_1_4 GENM n8_a_stick__1_1_1->n8_a_stick__1_1_1_4 n8_a_stick__1_1_1_1_1 PRO;_genm_ n8_a_stick__1_1_1_1->n8_a_stick__1_1_1_1_1 n8_a_stick__1_1_1_1_1->n8_a_stick__1_1_1_1_1_1 n8_a_stick__1_1_1_2->n8_a_stick__1_1_1_2_1 n8_a_stick__1_1_1_3->n8_a_stick__1_1_1_3_1 n8_a_stick__1_1_1_4->n8_a_stick__1_1_1_4_1 n8_a_stick__1_1_2_1 ADJ n8_a_stick__1_1_2->n8_a_stick__1_1_2_1 n8_a_stick__1_1_2_1->n8_a_stick__1_1_2_1_1 n8_a_stick__1_1_3->n8_a_stick__1_1_3_1 n8_a_stick__1_2->n8_a_stick__1_2_1 n8_a_stick__1_3_1 N n8_a_stick__1_3->n8_a_stick__1_3_1 n8_a_stick__1_3_2 NPR n8_a_stick__1_3->n8_a_stick__1_3_2 n8_a_stick__1_3_3 IP-REL n8_a_stick__1_3->n8_a_stick__1_3_3 n8_a_stick__1_3_1->n8_a_stick__1_3_1_1 n8_a_stick__1_3_2->n8_a_stick__1_3_2_1 n8_a_stick__1_3_3_1 NP-SBJ n8_a_stick__1_3_3->n8_a_stick__1_3_3_1 n8_a_stick__1_3_3_2 ILYR n8_a_stick__1_3_3->n8_a_stick__1_3_3_2 n8_a_stick__1_3_3_1_1 RPRO n8_a_stick__1_3_3_1->n8_a_stick__1_3_3_1_1 n8_a_stick__1_3_3_1_1->n8_a_stick__1_3_3_1_1_1 n8_a_stick__1_3_3_2_1 ILYR n8_a_stick__1_3_3_2->n8_a_stick__1_3_3_2_1 n8_a_stick__1_3_3_2_2 CONJP n8_a_stick__1_3_3_2->n8_a_stick__1_3_3_2_2 n8_a_stick__1_3_3_2_1_1 VBP;_Tn_ n8_a_stick__1_3_3_2_1->n8_a_stick__1_3_3_2_1_1 n8_a_stick__1_3_3_2_1_2 NP-OB1 n8_a_stick__1_3_3_2_1->n8_a_stick__1_3_3_2_1_2 n8_a_stick__1_3_3_2_1_1->n8_a_stick__1_3_3_2_1_1_1 n8_a_stick__1_3_3_2_1_2_1 D n8_a_stick__1_3_3_2_1_2->n8_a_stick__1_3_3_2_1_2_1 n8_a_stick__1_3_3_2_1_2_2 N n8_a_stick__1_3_3_2_1_2->n8_a_stick__1_3_3_2_1_2_2 n8_a_stick__1_3_3_2_1_2_1->n8_a_stick__1_3_3_2_1_2_1_1 n8_a_stick__1_3_3_2_1_2_2->n8_a_stick__1_3_3_2_1_2_2_1 n8_a_stick__1_3_3_2_2_1 CONJ n8_a_stick__1_3_3_2_2->n8_a_stick__1_3_3_2_2_1 n8_a_stick__1_3_3_2_2_2 ILYR n8_a_stick__1_3_3_2_2->n8_a_stick__1_3_3_2_2_2 n8_a_stick__1_3_3_2_2_1->n8_a_stick__1_3_3_2_2_1_1 n8_a_stick__1_3_3_2_2_2_1 VBP;_Tn.pr_ n8_a_stick__1_3_3_2_2_2->n8_a_stick__1_3_3_2_2_2_1 n8_a_stick__1_3_3_2_2_2_2 NP-OB1 n8_a_stick__1_3_3_2_2_2->n8_a_stick__1_3_3_2_2_2_2 n8_a_stick__1_3_3_2_2_2_3 PP-NIM n8_a_stick__1_3_3_2_2_2->n8_a_stick__1_3_3_2_2_2_3 n8_a_stick__1_3_3_2_2_2_1->n8_a_stick__1_3_3_2_2_2_1_1 n8_a_stick__1_3_3_2_2_2_2_1 NP-GEN n8_a_stick__1_3_3_2_2_2_2->n8_a_stick__1_3_3_2_2_2_2_1 n8_a_stick__1_3_3_2_2_2_2_2 N n8_a_stick__1_3_3_2_2_2_2->n8_a_stick__1_3_3_2_2_2_2_2 n8_a_stick__1_3_3_2_2_2_2_1_1 PRO;_genm_ n8_a_stick__1_3_3_2_2_2_2_1->n8_a_stick__1_3_3_2_2_2_2_1_1 n8_a_stick__1_3_3_2_2_2_2_1_1->n8_a_stick__1_3_3_2_2_2_2_1_1_1 n8_a_stick__1_3_3_2_2_2_2_2->n8_a_stick__1_3_3_2_2_2_2_2_1 n8_a_stick__1_3_3_2_2_2_3_1 P-ROLE n8_a_stick__1_3_3_2_2_2_3->n8_a_stick__1_3_3_2_2_2_3_1 n8_a_stick__1_3_3_2_2_2_3_2 NP n8_a_stick__1_3_3_2_2_2_3->n8_a_stick__1_3_3_2_2_2_3_2 n8_a_stick__1_3_3_2_2_2_3_1->n8_a_stick__1_3_3_2_2_2_3_1_1 n8_a_stick__1_3_3_2_2_2_3_2_1 D n8_a_stick__1_3_3_2_2_2_3_2->n8_a_stick__1_3_3_2_2_2_3_2_1 n8_a_stick__1_3_3_2_2_2_3_2_2 N n8_a_stick__1_3_3_2_2_2_3_2->n8_a_stick__1_3_3_2_2_2_3_2_2 n8_a_stick__1_3_3_2_2_2_3_2_1->n8_a_stick__1_3_3_2_2_2_3_2_1_1 n8_a_stick__1_3_3_2_2_2_3_2_2->n8_a_stick__1_3_3_2_2_2_3_2_2_1 n8_a_stick__1_4->n8_a_stick__1_4_1 
( (IP-MAT (NP-SBJ (NP-GEN (NP-GEN;{TASKW} (PRO;_genm_ Its;{its}))
                          (NPR <excl>Run)
                          (N file;{file})
                          (GENM <apos>s))
                  (ADJP (ADJ essential;{essential}))
                  (N command;{command}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (N stick;{stick})
                  (NPR <lt>Obey<dollar>dir<gt>)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (ILYR (ILYR (VBP;_Tn_ creates;{create})
                                      (NP-OB1 (D the;{the})
                                              (N application;{application})))
                                (CONJP (CONJ and;{and})
                                       (ILYR (VBP;_Tn.pr_ puts;{put})
                                             (NP-OB1 (NP-GEN;{TASKW} (PRO;_genm_ its;{its}))
                                                     (N icon;{icon}))
                                             (PP-NIM (P-ROLE on;{on})
                                                     (NP (D the;{the})
                                                         (N iconbar;{iconbar}))))))))
          (PUNC .))
  (ID 8_a_stick))