Create predicate-logic.sand