In Woodin's book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal" Remark 2.55 (5), it states SRP by Todorcevic (defined below) is consistent with the existence of a Suslin tree (hence it does not imply MM). Is there any reference about this? My guess is we could probably get a restricted version of MM for a Suslin tree, like the one for PFA. More precisely, $PFA(S)$ is the forcing axioms for the class of forcings that preserve $S$. Then maybe we can derive SRP from $MM(S)$.
Definition (projectively stationary sets): Let $\lambda\geq \omega_1$, then $S\subset [H(\lambda)]^\omega$ is projectively stationary if for any stationary $T\subset \omega_1$, $\{X\in S: X\cap \omega_1\in T\}$ is stationary in $[\lambda]^\omega$.
Definition (SRP): SRP asserts for any projectively stationary $S\subset [H(\lambda)]^\omega$ for regular $\lambda\geq \omega_2$, there exists a continuous increasing $\in$-chain $\langle N_\alpha: \alpha<\omega_1\rangle$ such that $N_\alpha\in S$ for all $\alpha<\omega_1$.
