Context                Previous, Next                Top


21_a_genieus
And - WHOOSH!

n21_a_genieus n21_a_genieus__1_1_1 And n21_a_genieus__1_2_1 - n21_a_genieus__1_3_1 WHOOSH n21_a_genieus__1_4_1 ! n21_a_genieus__1 FRAG n21_a_genieus__1_1 CONJ n21_a_genieus__1->n21_a_genieus__1_1 n21_a_genieus__1_2 PUNC n21_a_genieus__1->n21_a_genieus__1_2 n21_a_genieus__1_3 FW n21_a_genieus__1->n21_a_genieus__1_3 n21_a_genieus__1_4 PUNC n21_a_genieus__1->n21_a_genieus__1_4 n21_a_genieus__1_1->n21_a_genieus__1_1_1 n21_a_genieus__1_2->n21_a_genieus__1_2_1 n21_a_genieus__1_3->n21_a_genieus__1_3_1 n21_a_genieus__1_4->n21_a_genieus__1_4_1 
( (FRAG (CONJ And;{and})
        (PUNC <hyphen>)
        (FW WHOOSH;{whoosh})
        (PUNC !))
  (ID 21_a_genieus))


%3 






%3




fof(formula,axiom,
    true ).