Combining s & n and quantifiers...

General question, if we have two s & n statements sharing a sufficient condition, as is the case here, can we combine the necessary conditions as a “some” quantifier statement? i.e. x —> y x—> z ————- y-some-z Assuming x exists... Thanks!