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_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_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_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_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_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_4 A n29_a_history_of_qed_6 collection n29_a_history_of_qed_9 of n29_a_history_of_qed_12 macros n29_a_history_of_qed_15 *T* n29_a_history_of_qed_17 to n29_a_history_of_qed_19 do n29_a_history_of_qed_23 various n29_a_history_of_qed_26 useful n29_a_history_of_qed_28 tasks n29_a_history_of_qed_30 was n29_a_history_of_qed_33 * n29_a_history_of_qed_35 put n29_a_history_of_qed_38 in n29_a_history_of_qed_41 a n29_a_history_of_qed_45 commonly n29_a_history_of_qed_47 available n29_a_history_of_qed_49 place n29_a_history_of_qed_51 . n29_a_history_of_qed_1 IP-MAT n29_a_history_of_qed_2 NP-SBJ n29_a_history_of_qed_1->n29_a_history_of_qed_2 n29_a_history_of_qed_29 BED;_cat_VePASS_ n29_a_history_of_qed_1->n29_a_history_of_qed_29 n29_a_history_of_qed_31 IP-PPL-CAT n29_a_history_of_qed_1->n29_a_history_of_qed_31 n29_a_history_of_qed_50 PUNC n29_a_history_of_qed_1->n29_a_history_of_qed_50 n29_a_history_of_qed_3 D n29_a_history_of_qed_2->n29_a_history_of_qed_3 n29_a_history_of_qed_5 N n29_a_history_of_qed_2->n29_a_history_of_qed_5 n29_a_history_of_qed_7 PP n29_a_history_of_qed_2->n29_a_history_of_qed_7 n29_a_history_of_qed_3->n29_a_history_of_qed_4 n29_a_history_of_qed_5->n29_a_history_of_qed_6 n29_a_history_of_qed_8 P-ROLE n29_a_history_of_qed_7->n29_a_history_of_qed_8 n29_a_history_of_qed_10 NP n29_a_history_of_qed_7->n29_a_history_of_qed_10 n29_a_history_of_qed_8->n29_a_history_of_qed_9 n29_a_history_of_qed_11 NS n29_a_history_of_qed_10->n29_a_history_of_qed_11 n29_a_history_of_qed_13 IP-INF-REL n29_a_history_of_qed_10->n29_a_history_of_qed_13 n29_a_history_of_qed_11->n29_a_history_of_qed_12 n29_a_history_of_qed_14 NP-SBJ n29_a_history_of_qed_13->n29_a_history_of_qed_14 n29_a_history_of_qed_16 TO n29_a_history_of_qed_13->n29_a_history_of_qed_16 n29_a_history_of_qed_18 DO;_Tn_ n29_a_history_of_qed_13->n29_a_history_of_qed_18 n29_a_history_of_qed_20 NP-OB1 n29_a_history_of_qed_13->n29_a_history_of_qed_20 n29_a_history_of_qed_14->n29_a_history_of_qed_15 n29_a_history_of_qed_16->n29_a_history_of_qed_17 n29_a_history_of_qed_18->n29_a_history_of_qed_19 n29_a_history_of_qed_21 ADJP n29_a_history_of_qed_20->n29_a_history_of_qed_21 n29_a_history_of_qed_24 ADJP n29_a_history_of_qed_20->n29_a_history_of_qed_24 n29_a_history_of_qed_27 NS n29_a_history_of_qed_20->n29_a_history_of_qed_27 n29_a_history_of_qed_22 ADJ n29_a_history_of_qed_21->n29_a_history_of_qed_22 n29_a_history_of_qed_22->n29_a_history_of_qed_23 n29_a_history_of_qed_25 ADJ n29_a_history_of_qed_24->n29_a_history_of_qed_25 n29_a_history_of_qed_25->n29_a_history_of_qed_26 n29_a_history_of_qed_27->n29_a_history_of_qed_28 n29_a_history_of_qed_29->n29_a_history_of_qed_30 n29_a_history_of_qed_32 NP-LGS n29_a_history_of_qed_31->n29_a_history_of_qed_32 n29_a_history_of_qed_34 VVN;__ n29_a_history_of_qed_31->n29_a_history_of_qed_34 n29_a_history_of_qed_36 PP-NIM n29_a_history_of_qed_31->n29_a_history_of_qed_36 n29_a_history_of_qed_32->n29_a_history_of_qed_33 n29_a_history_of_qed_34->n29_a_history_of_qed_35 n29_a_history_of_qed_37 P-ROLE n29_a_history_of_qed_36->n29_a_history_of_qed_37 n29_a_history_of_qed_39 NP n29_a_history_of_qed_36->n29_a_history_of_qed_39 n29_a_history_of_qed_37->n29_a_history_of_qed_38 n29_a_history_of_qed_40 D n29_a_history_of_qed_39->n29_a_history_of_qed_40 n29_a_history_of_qed_42 ADJP n29_a_history_of_qed_39->n29_a_history_of_qed_42 n29_a_history_of_qed_48 N n29_a_history_of_qed_39->n29_a_history_of_qed_48 n29_a_history_of_qed_40->n29_a_history_of_qed_41 n29_a_history_of_qed_43 ADVP n29_a_history_of_qed_42->n29_a_history_of_qed_43 n29_a_history_of_qed_46 ADJ n29_a_history_of_qed_42->n29_a_history_of_qed_46 n29_a_history_of_qed_44 ADV n29_a_history_of_qed_43->n29_a_history_of_qed_44 n29_a_history_of_qed_44->n29_a_history_of_qed_45 n29_a_history_of_qed_46->n29_a_history_of_qed_47 n29_a_history_of_qed_48->n29_a_history_of_qed_49 n29_a_history_of_qed_50->n29_a_history_of_qed_51 
( (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))