Constraining intrinsic S-type AGB masses and third dredge-up with pulsation | Synapse