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 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] 
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_4 In n54_a_history_of_qed_7 the n54_a_history_of_qed_9 end n54_a_history_of_qed_15 simple n54_a_history_of_qed_18 and n54_a_history_of_qed_21 solid n54_a_history_of_qed_23 seems n54_a_history_of_qed_26 best n54_a_history_of_qed_28 . n54_a_history_of_qed_1 IP-MAT n54_a_history_of_qed_2 PP-NIM n54_a_history_of_qed_1->n54_a_history_of_qed_2 n54_a_history_of_qed_10 NP-SBJ n54_a_history_of_qed_1->n54_a_history_of_qed_10 n54_a_history_of_qed_22 VBP;__ n54_a_history_of_qed_1->n54_a_history_of_qed_22 n54_a_history_of_qed_24 ADJP-PRD n54_a_history_of_qed_1->n54_a_history_of_qed_24 n54_a_history_of_qed_27 PUNC n54_a_history_of_qed_1->n54_a_history_of_qed_27 n54_a_history_of_qed_3 P-ROLE n54_a_history_of_qed_2->n54_a_history_of_qed_3 n54_a_history_of_qed_5 NP n54_a_history_of_qed_2->n54_a_history_of_qed_5 n54_a_history_of_qed_3->n54_a_history_of_qed_4 n54_a_history_of_qed_6 D n54_a_history_of_qed_5->n54_a_history_of_qed_6 n54_a_history_of_qed_8 N n54_a_history_of_qed_5->n54_a_history_of_qed_8 n54_a_history_of_qed_6->n54_a_history_of_qed_7 n54_a_history_of_qed_8->n54_a_history_of_qed_9 n54_a_history_of_qed_11 ADJP n54_a_history_of_qed_10->n54_a_history_of_qed_11 n54_a_history_of_qed_12 AJLYR n54_a_history_of_qed_11->n54_a_history_of_qed_12 n54_a_history_of_qed_13 AJLYR n54_a_history_of_qed_12->n54_a_history_of_qed_13 n54_a_history_of_qed_16 CONJP n54_a_history_of_qed_12->n54_a_history_of_qed_16 n54_a_history_of_qed_14 ADJ n54_a_history_of_qed_13->n54_a_history_of_qed_14 n54_a_history_of_qed_14->n54_a_history_of_qed_15 n54_a_history_of_qed_17 CONJ n54_a_history_of_qed_16->n54_a_history_of_qed_17 n54_a_history_of_qed_19 AJLYR n54_a_history_of_qed_16->n54_a_history_of_qed_19 n54_a_history_of_qed_17->n54_a_history_of_qed_18 n54_a_history_of_qed_20 ADJ n54_a_history_of_qed_19->n54_a_history_of_qed_20 n54_a_history_of_qed_20->n54_a_history_of_qed_21 n54_a_history_of_qed_22->n54_a_history_of_qed_23 n54_a_history_of_qed_25 ADJS n54_a_history_of_qed_24->n54_a_history_of_qed_25 n54_a_history_of_qed_25->n54_a_history_of_qed_26 n54_a_history_of_qed_27->n54_a_history_of_qed_28 
( (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))