1.0 foal0(star).
0.0 foal1(star).