Lifted Logic Y