In our very recent fair division paper, we prove that PROP1 allocations exist and can be computed efficiently on instances with (not necessarily monotone) submodular and subadditive valuations. Among other results, we show that maximum Nash welfare allocations are PPOP1 on submodular instances.
