blitzen

Another good murder (spree) ballad is Black River Killer by Blitzen Trapper.

I try christmas themed ones like rudolph and blitzen during christmas season.

Implicitly, I suppose that makes the lights on the windward side blitzen.

Dancer should be behind Donder, Blitzen and Rudolph.

% Blitzen should be behind Cupid % but in front of Dancer, Vixen % and Donder.

(assert (and; lower bound for readability (1 is front) (> blitzen 0) (> comet 0)...

; upper bound for readability (9 is rear) (< blitzen 10) (< comet 10)...

It was a lot of typing, and I wonder if there's a more succinct way to do this than the following: (declare-const blitzen Int) (declare-const comet Int)...

% Dancer should be behind Donder, % Blitzen and Rudolph.

L = [prancer, cupid, rudolph, dasher, blitzen, vixen, comet, donder, dancer].

Rs = [prancer, cupid, rudolph, dasher, blitzen, vixen, comet, donder, dancer]; false.

M = [blitzen, comet, cupid, dancer, dasher, donder, prancer, rudolph, vixen], N = 9, L = [prancer, cupid, rudolph, dasher, blitzen, vixen, comet, donder, dancer].

Finally, Dasher should be behind Prancer but in front of Blitzen, Dancer and Vixen.").

There's a "Jumpoff Joe creek" in Oregon, in addition to a "whorehouse meadow", a town called Boring, and a Donner and Blitzen river.

For example, the reindeer which pull Santa’s sleigh are called Donner and Blitzen-‘thunder and lightning’ from the Old Dutch ‘Dunder and Blixem’.

Blitzen should be behind Cupid but in front of Dancer, Vixen and Donder.

Cupid should be in front of Comet, Blitzen, Vixen, Dancer and Rudolph.