Lifted Logic J1