Some notes on subword quantification and induction thereof