Text this: SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes