Lifted Logic DB2