Lifted Logic SKOL