Context                Previous, Next                Top


29_a_history_of_qed
A collection of macros to do various useful tasks was put in a commonly available place.

n29_a_history_of_qed n29_a_history_of_qed__1_1_1_1 A n29_a_history_of_qed__1_1_2_1 collection n29_a_history_of_qed__1_1_3_1_1 of n29_a_history_of_qed__1_1_3_2_1_1 macros n29_a_history_of_qed__1_1_3_2_2_1_1 *T* n29_a_history_of_qed__1_1_3_2_2_2_1 to n29_a_history_of_qed__1_1_3_2_2_3_1 do n29_a_history_of_qed__1_1_3_2_2_4_1_1_1 various n29_a_history_of_qed__1_1_3_2_2_4_2_1_1 useful n29_a_history_of_qed__1_1_3_2_2_4_3_1 tasks n29_a_history_of_qed__1_2_1 was n29_a_history_of_qed__1_3_1_1 * n29_a_history_of_qed__1_3_2_1 put n29_a_history_of_qed__1_3_3_1_1 in n29_a_history_of_qed__1_3_3_2_1_1 a n29_a_history_of_qed__1_3_3_2_2_1_1_1 commonly n29_a_history_of_qed__1_3_3_2_2_2_1 available n29_a_history_of_qed__1_3_3_2_3_1 place n29_a_history_of_qed__1_4_1 . n29_a_history_of_qed__1 IP-MAT n29_a_history_of_qed__1_1 NP-SBJ n29_a_history_of_qed__1->n29_a_history_of_qed__1_1 n29_a_history_of_qed__1_2 BED;_cat_VePASS_ n29_a_history_of_qed__1->n29_a_history_of_qed__1_2 n29_a_history_of_qed__1_3 IP-PPL-CAT n29_a_history_of_qed__1->n29_a_history_of_qed__1_3 n29_a_history_of_qed__1_4 PUNC n29_a_history_of_qed__1->n29_a_history_of_qed__1_4 n29_a_history_of_qed__1_1_1 D n29_a_history_of_qed__1_1->n29_a_history_of_qed__1_1_1 n29_a_history_of_qed__1_1_2 N n29_a_history_of_qed__1_1->n29_a_history_of_qed__1_1_2 n29_a_history_of_qed__1_1_3 PP n29_a_history_of_qed__1_1->n29_a_history_of_qed__1_1_3 n29_a_history_of_qed__1_1_1->n29_a_history_of_qed__1_1_1_1 n29_a_history_of_qed__1_1_2->n29_a_history_of_qed__1_1_2_1 n29_a_history_of_qed__1_1_3_1 P-ROLE n29_a_history_of_qed__1_1_3->n29_a_history_of_qed__1_1_3_1 n29_a_history_of_qed__1_1_3_2 NP n29_a_history_of_qed__1_1_3->n29_a_history_of_qed__1_1_3_2 n29_a_history_of_qed__1_1_3_1->n29_a_history_of_qed__1_1_3_1_1 n29_a_history_of_qed__1_1_3_2_1 NS n29_a_history_of_qed__1_1_3_2->n29_a_history_of_qed__1_1_3_2_1 n29_a_history_of_qed__1_1_3_2_2 IP-INF-REL n29_a_history_of_qed__1_1_3_2->n29_a_history_of_qed__1_1_3_2_2 n29_a_history_of_qed__1_1_3_2_1->n29_a_history_of_qed__1_1_3_2_1_1 n29_a_history_of_qed__1_1_3_2_2_1 NP-SBJ n29_a_history_of_qed__1_1_3_2_2->n29_a_history_of_qed__1_1_3_2_2_1 n29_a_history_of_qed__1_1_3_2_2_2 TO n29_a_history_of_qed__1_1_3_2_2->n29_a_history_of_qed__1_1_3_2_2_2 n29_a_history_of_qed__1_1_3_2_2_3 DO;_Tn_ n29_a_history_of_qed__1_1_3_2_2->n29_a_history_of_qed__1_1_3_2_2_3 n29_a_history_of_qed__1_1_3_2_2_4 NP-OB1 n29_a_history_of_qed__1_1_3_2_2->n29_a_history_of_qed__1_1_3_2_2_4 n29_a_history_of_qed__1_1_3_2_2_1->n29_a_history_of_qed__1_1_3_2_2_1_1 n29_a_history_of_qed__1_1_3_2_2_2->n29_a_history_of_qed__1_1_3_2_2_2_1 n29_a_history_of_qed__1_1_3_2_2_3->n29_a_history_of_qed__1_1_3_2_2_3_1 n29_a_history_of_qed__1_1_3_2_2_4_1 ADJP n29_a_history_of_qed__1_1_3_2_2_4->n29_a_history_of_qed__1_1_3_2_2_4_1 n29_a_history_of_qed__1_1_3_2_2_4_2 ADJP n29_a_history_of_qed__1_1_3_2_2_4->n29_a_history_of_qed__1_1_3_2_2_4_2 n29_a_history_of_qed__1_1_3_2_2_4_3 NS n29_a_history_of_qed__1_1_3_2_2_4->n29_a_history_of_qed__1_1_3_2_2_4_3 n29_a_history_of_qed__1_1_3_2_2_4_1_1 ADJ n29_a_history_of_qed__1_1_3_2_2_4_1->n29_a_history_of_qed__1_1_3_2_2_4_1_1 n29_a_history_of_qed__1_1_3_2_2_4_1_1->n29_a_history_of_qed__1_1_3_2_2_4_1_1_1 n29_a_history_of_qed__1_1_3_2_2_4_2_1 ADJ n29_a_history_of_qed__1_1_3_2_2_4_2->n29_a_history_of_qed__1_1_3_2_2_4_2_1 n29_a_history_of_qed__1_1_3_2_2_4_2_1->n29_a_history_of_qed__1_1_3_2_2_4_2_1_1 n29_a_history_of_qed__1_1_3_2_2_4_3->n29_a_history_of_qed__1_1_3_2_2_4_3_1 n29_a_history_of_qed__1_2->n29_a_history_of_qed__1_2_1 n29_a_history_of_qed__1_3_1 NP-LGS n29_a_history_of_qed__1_3->n29_a_history_of_qed__1_3_1 n29_a_history_of_qed__1_3_2 VVN;__ n29_a_history_of_qed__1_3->n29_a_history_of_qed__1_3_2 n29_a_history_of_qed__1_3_3 PP-NIM n29_a_history_of_qed__1_3->n29_a_history_of_qed__1_3_3 n29_a_history_of_qed__1_3_1->n29_a_history_of_qed__1_3_1_1 n29_a_history_of_qed__1_3_2->n29_a_history_of_qed__1_3_2_1 n29_a_history_of_qed__1_3_3_1 P-ROLE n29_a_history_of_qed__1_3_3->n29_a_history_of_qed__1_3_3_1 n29_a_history_of_qed__1_3_3_2 NP n29_a_history_of_qed__1_3_3->n29_a_history_of_qed__1_3_3_2 n29_a_history_of_qed__1_3_3_1->n29_a_history_of_qed__1_3_3_1_1 n29_a_history_of_qed__1_3_3_2_1 D n29_a_history_of_qed__1_3_3_2->n29_a_history_of_qed__1_3_3_2_1 n29_a_history_of_qed__1_3_3_2_2 ADJP n29_a_history_of_qed__1_3_3_2->n29_a_history_of_qed__1_3_3_2_2 n29_a_history_of_qed__1_3_3_2_3 N n29_a_history_of_qed__1_3_3_2->n29_a_history_of_qed__1_3_3_2_3 n29_a_history_of_qed__1_3_3_2_1->n29_a_history_of_qed__1_3_3_2_1_1 n29_a_history_of_qed__1_3_3_2_2_1 ADVP n29_a_history_of_qed__1_3_3_2_2->n29_a_history_of_qed__1_3_3_2_2_1 n29_a_history_of_qed__1_3_3_2_2_2 ADJ n29_a_history_of_qed__1_3_3_2_2->n29_a_history_of_qed__1_3_3_2_2_2 n29_a_history_of_qed__1_3_3_2_2_1_1 ADV n29_a_history_of_qed__1_3_3_2_2_1->n29_a_history_of_qed__1_3_3_2_2_1_1 n29_a_history_of_qed__1_3_3_2_2_1_1->n29_a_history_of_qed__1_3_3_2_2_1_1_1 n29_a_history_of_qed__1_3_3_2_2_2->n29_a_history_of_qed__1_3_3_2_2_2_1 n29_a_history_of_qed__1_3_3_2_3->n29_a_history_of_qed__1_3_3_2_3_1 n29_a_history_of_qed__1_4->n29_a_history_of_qed__1_4_1 
( (IP-MAT (NP-SBJ (D A;{a})
                  (N collection;{collection})
                  (PP (P-ROLE of;{of})
                      (NP (NS macros;{macro})
                          (IP-INF-REL (NP-SBJ *T*)
                                      (TO to;{to})
                                      (DO;_Tn_ do;{do})
                                      (NP-OB1 (ADJP (ADJ various;{various}))
                                              (ADJP (ADJ useful;{useful}))
                                              (NS tasks;{task}))))))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ put;{put})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D a;{a})
                                  (ADJP (ADVP (ADV commonly;{commonly}))
                                        (ADJ available;{available}))
                                  (N place;{place}))))
          (PUNC .))
  (ID 29_a_history_of_qed))


%3 r_0029_0015__available available r_0029_0014__commonly commonly r_0029_0015__available->r_0029_0014__commonly [qual] r_0029_0013__a_r_0029_0016__place a place r_0029_0013__a_r_0029_0016__place->r_0029_0015__available [attrib] r_0029_0011__put put r_0029_0011__put->r_0029_0013__a_r_0029_0016__place in [nim] z_0029_5011___star_ * r_0029_0011__put->z_0029_5011___star_ [arg0] r_0029_0001__A_r_0029_0002__collection A collection r_0029_0011__put->r_0029_0001__A_r_0029_0002__collection [arg1] r_0029_0004__macros macros r_0029_0001__A_r_0029_0002__collection->r_0029_0004__macros of r_0029_0010__was was r_0029_0010__was->r_0029_0011__put [scope] r_0029_0009__tasks tasks r_0029_0008__useful useful r_0029_0009__tasks->r_0029_0008__useful [attrib] r_0029_0007__various various r_0029_0009__tasks->r_0029_0007__various [attrib] r_0029_0006__do do r_0029_0006__do->r_0029_0009__tasks [arg1] r_0029_0006__do->r_0029_0004__macros [inv_arg0] 
arc(r_0029_0001__A_r_0029_0002__collection,r_0029_0004__macros,r_0029_0003__of).
arc(r_0029_0006__do,r_0029_0004__macros,inv_arg0).
arc(r_0029_0006__do,r_0029_0009__tasks,arg1).
arc(r_0029_0009__tasks,r_0029_0007__various,attrib).
arc(r_0029_0009__tasks,r_0029_0008__useful,attrib).
arc(r_0029_0010__was,r_0029_0011__put,scope).
arc(r_0029_0011__put,r_0029_0001__A_r_0029_0002__collection,arg1).
arc(r_0029_0011__put,r_0029_0013__a_r_0029_0016__place,r_0029_0012__in__nim).
arc(r_0029_0011__put,z_0029_5011___star_,arg0).
arc(r_0029_0013__a_r_0029_0016__place,r_0029_0015__available,attrib).
arc(r_0029_0015__available,r_0029_0014__commonly,qual).


%3 r_0029_0001__A_r_0029_0002__collection A collection r_0029_0004__macros macros r_0029_0001__A_r_0029_0002__collection->r_0029_0004__macros of r_0029_0006__do do r_0029_0004__macros->r_0029_0006__do [inv_arg0] r_0029_0009__tasks tasks r_0029_0006__do->r_0029_0009__tasks [arg1] r_0029_0007__various various r_0029_0009__tasks->r_0029_0007__various [attrib] r_0029_0008__useful useful r_0029_0009__tasks->r_0029_0008__useful [attrib] r_0029_0010__was_r_0029_0011__put was put r_0029_0010__was_r_0029_0011__put->r_0029_0001__A_r_0029_0002__collection [arg1] r_0029_0013__a_r_0029_0016__place a place r_0029_0010__was_r_0029_0011__put->r_0029_0013__a_r_0029_0016__place in [nim] z_0029_5011___star_ * r_0029_0010__was_r_0029_0011__put->z_0029_5011___star_ [arg0] r_0029_0015__available available r_0029_0013__a_r_0029_0016__place->r_0029_0015__available [attrib] r_0029_0014__commonly commonly r_0029_0015__available->r_0029_0014__commonly [qual] 
fof(formula,axiom,
    ? [R_0029_0007__VARIOUS,R_0029_0008__USEFUL,R_0029_0009__TASKS,R_0029_0006__DO,R_0029_0004__MACROS,R_0029_0001__A_R_0029_0002__COLLECTION,R_0029_0014__COMMONLY,R_0029_0015__AVAILABLE,R_0029_0013__A_R_0029_0016__PLACE,Z_0029_5011___STAR_,R_0029_0010__WAS_R_0029_0011__PUT] :
      ( r_0029_0007__various(R_0029_0007__VARIOUS)
      & r_0029_0008__useful(R_0029_0008__USEFUL)
      & r_0029_0014__commonly(R_0029_0014__COMMONLY)
      & z_0029_5011___star_(Z_0029_5011___STAR_)
      & r_0029_0010__was_r_0029_0011__put(R_0029_0010__WAS_R_0029_0011__PUT)
      & has_arg0(R_0029_0010__WAS_R_0029_0011__PUT,Z_0029_5011___STAR_)
      & has_r_0029_0012__in__nim(R_0029_0010__WAS_R_0029_0011__PUT,R_0029_0013__A_R_0029_0016__PLACE)
      & r_0029_0013__a_r_0029_0016__place(R_0029_0013__A_R_0029_0016__PLACE)
      & has_attrib(R_0029_0013__A_R_0029_0016__PLACE,R_0029_0015__AVAILABLE)
      & r_0029_0015__available(R_0029_0015__AVAILABLE)
      & has_qual(R_0029_0015__AVAILABLE,R_0029_0014__COMMONLY)
      & has_arg1(R_0029_0010__WAS_R_0029_0011__PUT,R_0029_0001__A_R_0029_0002__COLLECTION)
      & r_0029_0001__A_r_0029_0002__collection(R_0029_0001__A_R_0029_0002__COLLECTION)
      & has_r_0029_0003__of(R_0029_0001__A_R_0029_0002__COLLECTION,R_0029_0004__MACROS)
      & r_0029_0004__macros(R_0029_0004__MACROS)
      & has_inv_arg0(R_0029_0004__MACROS,R_0029_0006__DO)
      & r_0029_0006__do(R_0029_0006__DO)
      & has_arg1(R_0029_0006__DO,R_0029_0009__TASKS)
      & r_0029_0009__tasks(R_0029_0009__TASKS)
      & has_attrib(R_0029_0009__TASKS,R_0029_0008__USEFUL)
      & has_attrib(R_0029_0009__TASKS,R_0029_0007__VARIOUS) ) ).