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_3 And n22_a_genieus_5 - n22_a_genieus_7 WHOOSH n22_a_genieus_9 ! n22_a_genieus_1 FRAG n22_a_genieus_2 CONJ n22_a_genieus_1->n22_a_genieus_2 n22_a_genieus_4 PUNC n22_a_genieus_1->n22_a_genieus_4 n22_a_genieus_6 FW n22_a_genieus_1->n22_a_genieus_6 n22_a_genieus_8 PUNC n22_a_genieus_1->n22_a_genieus_8 n22_a_genieus_2->n22_a_genieus_3 n22_a_genieus_4->n22_a_genieus_5 n22_a_genieus_6->n22_a_genieus_7 n22_a_genieus_8->n22_a_genieus_9 
( (FRAG (CONJ And;{and})
        (PUNC <hyphen>)
        (FW WHOOSH;{whoosh})
        (PUNC !))
  (ID 22_a_genieus))