Huh... it seems in addition to "Shōtoku Taishi", "Shōtoku Ō" (聖徳王) is also another name for Miko. Is it perhaps the actual general term for Prince and Princesses? 🤔 'Cause remember, Taishi doesn't mean just Prince. It means Crown Prince.
What the- Mononobe no Moriya?! Oh, wait. That's just the first name.