Context                Previous, Next                Top


49_a_history_of_qed
search for “sam editor” on 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))


%3 r_0049_0001__search search z_0049_5002 r_0049_0001__search->z_0049_5002 [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] 
arc(r_0049_0001__search,r_0049_0004__sam_r_0049_0005__editor,r_0049_0002__for__clr).
arc(r_0049_0001__search,r_0049_0008__netlib,r_0049_0007__on__nim).
arc(r_0049_0001__search,z_0049_5002,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_0049_5002 r_0049_0001__search->z_0049_5002 [arg0] 
fof(formula,axiom,
    ? [R_0049_0004__SAM_R_0049_0005__EDITOR,R_0049_0008__NETLIB,Z_0049_5002,R_0049_0001__SEARCH] :
      ( r_0049_0004__sam_r_0049_0005__editor(R_0049_0004__SAM_R_0049_0005__EDITOR)
      & r_0049_0008__netlib(R_0049_0008__NETLIB)
      & z_0049_5002(Z_0049_5002)
      & r_0049_0001__search(R_0049_0001__SEARCH)
      & has_arg0(R_0049_0001__SEARCH,Z_0049_5002)
      & has_r_0049_0007__on__nim(R_0049_0001__SEARCH,R_0049_0008__NETLIB)
      & has_r_0049_0002__for__clr(R_0049_0001__SEARCH,R_0049_0004__SAM_R_0049_0005__EDITOR) ) ).