Context                Previous, Next                Top


49_a_history_of_qed
search for “sam editor” on netlib.

%3 r_0049_0001__search search r_0049_0004__sam_r_0049_0005__editor sam editor r_0049_0001__search->r_0049_0004__sam_r_0049_0005__editor for [clr] r_0049_0008__netlib netlib r_0049_0001__search->r_0049_0008__netlib on [nim] z_000_49_a_history_of_qed_1 r_0049_0001__search->z_000_49_a_history_of_qed_1 [arg0] 
arc(r_0049_0001__search, r_0049_0004__sam_r_0049_0005__editor, r_0049_0002__for_clr7).
arc(r_0049_0001__search, r_0049_0008__netlib, r_0049_0007__on_nim19).
arc(r_0049_0001__search, z_000_49_a_history_of_qed_1, arg0).


%3 r_0049_0001__search search r_0049_0004__sam_r_0049_0005__editor sam editor r_0049_0001__search->r_0049_0004__sam_r_0049_0005__editor for [clr] r_0049_0008__netlib netlib r_0049_0001__search->r_0049_0008__netlib on [nim] z_000_49_a_history_of_qed_1 r_0049_0001__search->z_000_49_a_history_of_qed_1 [arg0] 
fof(formula,axiom,
    ? [R_49_1_SEARCH,Z_49_A_HISTORY_OF_QED_1,R_49_4_SAM_EDITOR,R_49_8_NETLIB] :
      ( sam_editor(R_49_4_SAM_EDITOR)
      & netlib(R_49_8_NETLIB)
      & search(R_49_1_SEARCH,Z_49_A_HISTORY_OF_QED_1)
      & for_clr7(R_49_1_SEARCH,R_49_4_SAM_EDITOR)
      & on_nim19(R_49_1_SEARCH,R_49_8_NETLIB) ) ).


n49_a_history_of_qed n49_a_history_of_qed_3 search n49_a_history_of_qed_6 for n49_a_history_of_qed_9 <ldquo> n49_a_history_of_qed_11 sam n49_a_history_of_qed_13 editor n49_a_history_of_qed_15 <rdquo> n49_a_history_of_qed_18 on n49_a_history_of_qed_21 netlib n49_a_history_of_qed_23 . n49_a_history_of_qed_1 IP-IMP n49_a_history_of_qed_2 VB;__ n49_a_history_of_qed_1->n49_a_history_of_qed_2 n49_a_history_of_qed_4 PP-CLR n49_a_history_of_qed_1->n49_a_history_of_qed_4 n49_a_history_of_qed_16 PP-NIM n49_a_history_of_qed_1->n49_a_history_of_qed_16 n49_a_history_of_qed_22 PUNC n49_a_history_of_qed_1->n49_a_history_of_qed_22 n49_a_history_of_qed_2->n49_a_history_of_qed_3 n49_a_history_of_qed_5 P-ROLE n49_a_history_of_qed_4->n49_a_history_of_qed_5 n49_a_history_of_qed_7 NP n49_a_history_of_qed_4->n49_a_history_of_qed_7 n49_a_history_of_qed_5->n49_a_history_of_qed_6 n49_a_history_of_qed_8 PULQ n49_a_history_of_qed_7->n49_a_history_of_qed_8 n49_a_history_of_qed_10 NPR n49_a_history_of_qed_7->n49_a_history_of_qed_10 n49_a_history_of_qed_12 N n49_a_history_of_qed_7->n49_a_history_of_qed_12 n49_a_history_of_qed_14 PURQ n49_a_history_of_qed_7->n49_a_history_of_qed_14 n49_a_history_of_qed_8->n49_a_history_of_qed_9 n49_a_history_of_qed_10->n49_a_history_of_qed_11 n49_a_history_of_qed_12->n49_a_history_of_qed_13 n49_a_history_of_qed_14->n49_a_history_of_qed_15 n49_a_history_of_qed_17 P-ROLE n49_a_history_of_qed_16->n49_a_history_of_qed_17 n49_a_history_of_qed_19 NP n49_a_history_of_qed_16->n49_a_history_of_qed_19 n49_a_history_of_qed_17->n49_a_history_of_qed_18 n49_a_history_of_qed_20 NPR n49_a_history_of_qed_19->n49_a_history_of_qed_20 n49_a_history_of_qed_20->n49_a_history_of_qed_21 n49_a_history_of_qed_22->n49_a_history_of_qed_23 
( (IP-IMP (VB;__ search;{search})
          (PP-CLR (P-ROLE for;{for})
                  (NP (PULQ <ldquo>)
                      (NPR sam;{sam})
                      (N editor;{editor})
                      (PURQ <rdquo>)))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NPR netlib;{netlib})))
          (PUNC .))
  (ID 49_a_history_of_qed))