mario.CoreModel.is_productiveΒΆ