Ah yes, thank you! The Cheng Man Ching so-called "short form" would be considered a descendant/variation of Yang style then. I assume we're more familiar with Cheng Man Ching in the West due to his travels and teachings in the US. Hard to say how closely related to the source modern-day lessons are TBH.