Lifted Logic CAR