I'm not sure that is right. From the proposition 's runs' I can validly infer that s exists. This does not commit me to the view that running is fundamental to s's personhood.
Similarly, the claim that if s thinks then s exists does not entail that a further claim that thinking is central to s's personhood.