predicate logic Minecraft Servers

predicate logic