Or, having arrived at S fund → To fund NP, it might transform it into S fund → To fund PP NP and then further to S fund → To fund NP PP before halting.
p θ (S fund → To fund NP PP) denotes the probability that the random walk somehow reaches S fund → To fund NP PP and halts there.