Lifted Logic nn