„(Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^) (Y) :-$ (F) |:o) (^)“