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 z_000_49_a_history_of_qed_1 r_0049_0001__search->z_000_49_a_history_of_qed_1 [arg0] r_0049_0008__netlib netlib r_0049_0001__search->r_0049_0008__netlib on [nim] r_0049_0004__sam_r_0049_0005__editor sam editor r_0049_0001__search->r_0049_0004__sam_r_0049_0005__editor for [clr] 
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__1_1_1 search n49_a_history_of_qed__1_2_1_1 for n49_a_history_of_qed__1_2_2_1_1 <ldquo> n49_a_history_of_qed__1_2_2_2_1 sam n49_a_history_of_qed__1_2_2_3_1 editor n49_a_history_of_qed__1_2_2_4_1 <rdquo> n49_a_history_of_qed__1_3_1_1 on n49_a_history_of_qed__1_3_2_1_1 netlib n49_a_history_of_qed__1_4_1 . n49_a_history_of_qed__1 IP-IMP n49_a_history_of_qed__1_1 VB;__ n49_a_history_of_qed__1->n49_a_history_of_qed__1_1 n49_a_history_of_qed__1_2 PP-CLR n49_a_history_of_qed__1->n49_a_history_of_qed__1_2 n49_a_history_of_qed__1_3 PP-NIM n49_a_history_of_qed__1->n49_a_history_of_qed__1_3 n49_a_history_of_qed__1_4 PUNC n49_a_history_of_qed__1->n49_a_history_of_qed__1_4 n49_a_history_of_qed__1_1->n49_a_history_of_qed__1_1_1 n49_a_history_of_qed__1_2_1 P-ROLE n49_a_history_of_qed__1_2->n49_a_history_of_qed__1_2_1 n49_a_history_of_qed__1_2_2 NP n49_a_history_of_qed__1_2->n49_a_history_of_qed__1_2_2 n49_a_history_of_qed__1_2_1->n49_a_history_of_qed__1_2_1_1 n49_a_history_of_qed__1_2_2_1 PULQ n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_1 n49_a_history_of_qed__1_2_2_2 NPR n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_2 n49_a_history_of_qed__1_2_2_3 N n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_3 n49_a_history_of_qed__1_2_2_4 PURQ n49_a_history_of_qed__1_2_2->n49_a_history_of_qed__1_2_2_4 n49_a_history_of_qed__1_2_2_1->n49_a_history_of_qed__1_2_2_1_1 n49_a_history_of_qed__1_2_2_2->n49_a_history_of_qed__1_2_2_2_1 n49_a_history_of_qed__1_2_2_3->n49_a_history_of_qed__1_2_2_3_1 n49_a_history_of_qed__1_2_2_4->n49_a_history_of_qed__1_2_2_4_1 n49_a_history_of_qed__1_3_1 P-ROLE n49_a_history_of_qed__1_3->n49_a_history_of_qed__1_3_1 n49_a_history_of_qed__1_3_2 NP n49_a_history_of_qed__1_3->n49_a_history_of_qed__1_3_2 n49_a_history_of_qed__1_3_1->n49_a_history_of_qed__1_3_1_1 n49_a_history_of_qed__1_3_2_1 NPR n49_a_history_of_qed__1_3_2->n49_a_history_of_qed__1_3_2_1 n49_a_history_of_qed__1_3_2_1->n49_a_history_of_qed__1_3_2_1_1 n49_a_history_of_qed__1_4->n49_a_history_of_qed__1_4_1 
( (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))