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.

%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_0005__to_r_0029_0006__do to do r_0029_0005__to_r_0029_0006__do->r_0029_0004__macros [arg0] r_0029_0009__tasks tasks r_0029_0005__to_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 was r_0029_0011__put put r_0029_0010__was->r_0029_0011__put [scope] 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_0011__put->r_0029_0013__a_r_0029_0016__place in [nim] z_000_29_a_history_of_qed_32 r_0029_0011__put->z_000_29_a_history_of_qed_32 [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] 
arc(r_0029_0001__A_r_0029_0002__collection, r_0029_0004__macros, r_0029_0003__of).
arc(r_0029_0005__to_r_0029_0006__do, r_0029_0004__macros, arg0).
arc(r_0029_0005__to_r_0029_0006__do, r_0029_0009__tasks, arg1).
arc(r_0029_0009__tasks, r_0029_0007__various, attrib21).
arc(r_0029_0009__tasks, r_0029_0008__useful, attrib24).
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_nim39).
arc(r_0029_0011__put, z_000_29_a_history_of_qed_32, arg0).
arc(r_0029_0013__a_r_0029_0016__place, r_0029_0015__available, attrib42).
arc(r_0029_0015__available, r_0029_0014__commonly, qual43).


%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_0010__was_r_0029_0011__put was put r_0029_0010__was_r_0029_0011__put->r_0029_0013__a_r_0029_0016__place in [nim] z_000_29_a_history_of_qed_32 r_0029_0010__was_r_0029_0011__put->z_000_29_a_history_of_qed_32 [arg0] r_0029_0001__A_r_0029_0002__collection A collection r_0029_0010__was_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_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_0005__to_r_0029_0006__do to do r_0029_0005__to_r_0029_0006__do->r_0029_0009__tasks [arg1] r_0029_0005__to_r_0029_0006__do->r_0029_0004__macros [arg0] 
fof(formula,axiom,
    ? [R_29_5_TO_DO,R_29_9_TASKS,R_29_7_VARIOUS,R_29_8_USEFUL,R_29_10_WAS_PUT,Z_29_A_HISTORY_OF_QED_32,R_29_1_A_COLLECTION,R_29_4_MACROS,R_29_13_A_PLACE,R_29_15_AVAILABLE,R_29_14_COMMONLY] :
      ( various(R_29_7_VARIOUS)
      & useful(R_29_8_USEFUL)
      & macros(R_29_4_MACROS)
      & commonly(R_29_14_COMMONLY)
      & to_do(R_29_5_TO_DO,R_29_4_MACROS,R_29_9_TASKS)
      & tasks(R_29_9_TASKS)
      & attrib21(R_29_9_TASKS,R_29_7_VARIOUS)
      & attrib24(R_29_9_TASKS,R_29_8_USEFUL)
      & was_put(R_29_10_WAS_PUT,Z_29_A_HISTORY_OF_QED_32,R_29_1_A_COLLECTION)
      & a_collection(R_29_1_A_COLLECTION)
      & of(R_29_1_A_COLLECTION,R_29_4_MACROS)
      & in_nim39(R_29_10_WAS_PUT,R_29_13_A_PLACE)
      & a_place(R_29_13_A_PLACE)
      & attrib42(R_29_13_A_PLACE,R_29_15_AVAILABLE)
      & available(R_29_15_AVAILABLE)
      & qual43(R_29_15_AVAILABLE,R_29_14_COMMONLY) ) ).


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))