Context                Previous, Next                Top


54_a_history_of_qed
In the end simple and solid seems best.

%3 r_0054_0005__and and r_0054_0004__simple simple r_0054_0005__and->r_0054_0004__simple [conj1] r_0054_0006__solid solid r_0054_0005__and->r_0054_0006__solid [conj2] r_0054_0007__seems seems r_0054_0002__the_r_0054_0003__end the end r_0054_0007__seems->r_0054_0002__the_r_0054_0003__end In [nim] r_0054_0008__best best r_0054_0007__seems->r_0054_0008__best [prd] z_000_54_a_history_of_qed_10 r_0054_0007__seems->z_000_54_a_history_of_qed_10 [arg0] z_000_54_a_history_of_qed_10->r_0054_0005__and [attrib] 
arc(r_0054_0005__and, r_0054_0004__simple, conj1).
arc(r_0054_0005__and, r_0054_0006__solid, conj2).
arc(r_0054_0007__seems, r_0054_0002__the_r_0054_0003__end, r_0054_0001__In_nim5).
arc(r_0054_0007__seems, r_0054_0008__best, prd).
arc(r_0054_0007__seems, z_000_54_a_history_of_qed_10, arg0).
arc(z_000_54_a_history_of_qed_10, r_0054_0005__and, attrib11).


%3 z_000_54_a_history_of_qed_10 r_0054_0005__and and z_000_54_a_history_of_qed_10->r_0054_0005__and [attrib] r_0054_0006__solid solid r_0054_0005__and->r_0054_0006__solid [conj2] r_0054_0004__simple simple r_0054_0005__and->r_0054_0004__simple [conj1] r_0054_0007__seems seems r_0054_0007__seems->z_000_54_a_history_of_qed_10 [arg0] r_0054_0008__best best r_0054_0007__seems->r_0054_0008__best [prd] r_0054_0002__the_r_0054_0003__end the end r_0054_0007__seems->r_0054_0002__the_r_0054_0003__end In [nim] 
fof(formula,axiom,
    ? [R_54_7_SEEMS,Z_54_A_HISTORY_OF_QED_10,R_54_5_AND,R_54_4_SIMPLE,R_54_6_SOLID,R_54_8_BEST,R_54_2_THE_END] :
      ( simple(R_54_4_SIMPLE)
      & solid(R_54_6_SOLID)
      & best(R_54_8_BEST)
      & the_end(R_54_2_THE_END)
      & seems(R_54_7_SEEMS,Z_54_A_HISTORY_OF_QED_10,R_54_8_BEST)
      & z_54_a_history_of_qed_10(Z_54_A_HISTORY_OF_QED_10)
      & attrib11(Z_54_A_HISTORY_OF_QED_10,R_54_5_AND)
      & and(R_54_5_AND)
      & conj1(R_54_5_AND,R_54_4_SIMPLE)
      & conj2(R_54_5_AND,R_54_6_SOLID)
      & in_nim5(R_54_7_SEEMS,R_54_2_THE_END) ) ).


n54_a_history_of_qed n54_a_history_of_qed__1_1_1_1 In n54_a_history_of_qed__1_1_2_1_1 the n54_a_history_of_qed__1_1_2_2_1 end n54_a_history_of_qed__1_2_1_1_1_1_1 simple n54_a_history_of_qed__1_2_1_1_2_1_1 and n54_a_history_of_qed__1_2_1_1_2_2_1_1 solid n54_a_history_of_qed__1_3_1 seems n54_a_history_of_qed__1_4_1_1 best n54_a_history_of_qed__1_5_1 . n54_a_history_of_qed__1 IP-MAT n54_a_history_of_qed__1_1 PP-NIM n54_a_history_of_qed__1->n54_a_history_of_qed__1_1 n54_a_history_of_qed__1_2 NP-SBJ n54_a_history_of_qed__1->n54_a_history_of_qed__1_2 n54_a_history_of_qed__1_3 VBP;__ n54_a_history_of_qed__1->n54_a_history_of_qed__1_3 n54_a_history_of_qed__1_4 ADJP-PRD n54_a_history_of_qed__1->n54_a_history_of_qed__1_4 n54_a_history_of_qed__1_5 PUNC n54_a_history_of_qed__1->n54_a_history_of_qed__1_5 n54_a_history_of_qed__1_1_1 P-ROLE n54_a_history_of_qed__1_1->n54_a_history_of_qed__1_1_1 n54_a_history_of_qed__1_1_2 NP n54_a_history_of_qed__1_1->n54_a_history_of_qed__1_1_2 n54_a_history_of_qed__1_1_1->n54_a_history_of_qed__1_1_1_1 n54_a_history_of_qed__1_1_2_1 D n54_a_history_of_qed__1_1_2->n54_a_history_of_qed__1_1_2_1 n54_a_history_of_qed__1_1_2_2 N n54_a_history_of_qed__1_1_2->n54_a_history_of_qed__1_1_2_2 n54_a_history_of_qed__1_1_2_1->n54_a_history_of_qed__1_1_2_1_1 n54_a_history_of_qed__1_1_2_2->n54_a_history_of_qed__1_1_2_2_1 n54_a_history_of_qed__1_2_1 ADJP n54_a_history_of_qed__1_2->n54_a_history_of_qed__1_2_1 n54_a_history_of_qed__1_2_1_1 AJLYR n54_a_history_of_qed__1_2_1->n54_a_history_of_qed__1_2_1_1 n54_a_history_of_qed__1_2_1_1_1 AJLYR n54_a_history_of_qed__1_2_1_1->n54_a_history_of_qed__1_2_1_1_1 n54_a_history_of_qed__1_2_1_1_2 CONJP n54_a_history_of_qed__1_2_1_1->n54_a_history_of_qed__1_2_1_1_2 n54_a_history_of_qed__1_2_1_1_1_1 ADJ n54_a_history_of_qed__1_2_1_1_1->n54_a_history_of_qed__1_2_1_1_1_1 n54_a_history_of_qed__1_2_1_1_1_1->n54_a_history_of_qed__1_2_1_1_1_1_1 n54_a_history_of_qed__1_2_1_1_2_1 CONJ n54_a_history_of_qed__1_2_1_1_2->n54_a_history_of_qed__1_2_1_1_2_1 n54_a_history_of_qed__1_2_1_1_2_2 AJLYR n54_a_history_of_qed__1_2_1_1_2->n54_a_history_of_qed__1_2_1_1_2_2 n54_a_history_of_qed__1_2_1_1_2_1->n54_a_history_of_qed__1_2_1_1_2_1_1 n54_a_history_of_qed__1_2_1_1_2_2_1 ADJ n54_a_history_of_qed__1_2_1_1_2_2->n54_a_history_of_qed__1_2_1_1_2_2_1 n54_a_history_of_qed__1_2_1_1_2_2_1->n54_a_history_of_qed__1_2_1_1_2_2_1_1 n54_a_history_of_qed__1_3->n54_a_history_of_qed__1_3_1 n54_a_history_of_qed__1_4_1 ADJS n54_a_history_of_qed__1_4->n54_a_history_of_qed__1_4_1 n54_a_history_of_qed__1_4_1->n54_a_history_of_qed__1_4_1_1 n54_a_history_of_qed__1_5->n54_a_history_of_qed__1_5_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N end;{end})))
          (NP-SBJ (ADJP (AJLYR (AJLYR (ADJ simple;{simple}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJ solid;{solid}))))))
          (VBP;__ seems;{seem})
          (ADJP-PRD (ADJS best;{good}))
          (PUNC .))
  (ID 54_a_history_of_qed))