Lifted Logic 54