Agora is one of the longest-running Nomic games.

Nomic is a game created in 1982 by philosopher Peter Suber in which the rules of the game include mechanisms for the players to change those rules, usually beginning through a system of democratic voting.

I wonder: this may actually be a great way to test how a democratic system works in the long term. It's a like a microcosm version of democratic government, with players exploiting the boundaries of law (for profit?).

"The semantic web is a machine for creating Syllogisms"

E.g. Using "This ice is cold. (or: All ice I have ever touched was cold.)" to infer "All ice is cold". See also: God does not exist.