Context                Previous, Next                Top


22_a_genieus
And - WHOOSH!

%3 r_0022_0001__And_r_0022_0003__WHOOSH And WHOOSH 
arc(r_0022_0001__And_r_0022_0003__WHOOSH, z_0000_0000, z_0000_0000).


%3 r_0022_0001__And_r_0022_0003__WHOOSH And WHOOSH 
fof(formula,axiom,
    ? [R_22_1_AND_WHOOSH,Z_] :
      ( and_WHOOSH(R_22_1_AND_WHOOSH)
      & z_(R_22_1_AND_WHOOSH,Z_) ) ).


n22_a_genieus n22_a_genieus__1_1_1 And n22_a_genieus__1_2_1 - n22_a_genieus__1_3_1 WHOOSH n22_a_genieus__1_4_1 ! n22_a_genieus__1 FRAG n22_a_genieus__1_1 CONJ n22_a_genieus__1->n22_a_genieus__1_1 n22_a_genieus__1_2 PUNC n22_a_genieus__1->n22_a_genieus__1_2 n22_a_genieus__1_3 FW n22_a_genieus__1->n22_a_genieus__1_3 n22_a_genieus__1_4 PUNC n22_a_genieus__1->n22_a_genieus__1_4 n22_a_genieus__1_1->n22_a_genieus__1_1_1 n22_a_genieus__1_2->n22_a_genieus__1_2_1 n22_a_genieus__1_3->n22_a_genieus__1_3_1 n22_a_genieus__1_4->n22_a_genieus__1_4_1 
( (FRAG (CONJ And;{and})
        (PUNC <hyphen>)
        (FW WHOOSH;{whoosh})
        (PUNC !))
  (ID 22_a_genieus))