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,
    ? [Z_0000_0000,R_0022_0001__AND_R_0022_0003__WHOOSH] :
      ( z_0000_0000(Z_0000_0000)
      & r_0022_0001__And_r_0022_0003__WHOOSH(R_0022_0001__AND_R_0022_0003__WHOOSH)
      & has_z_0000_0000(R_0022_0001__AND_R_0022_0003__WHOOSH,Z_0000_0000) ) ).


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))