Lifted Logic J