User blog comment:Testitemqlstudop/Array notation variants/@comment-35470197-20191021131405/@comment-35470197-20191022002249

> but I think the examples in the bottom explain well enough.

If you just wanted to share your idea which you could not formalise, it would be ok. If you want to define your own system, then finitely many examples are never sufficient. It is because finitely many exapmples do not characterise a unique system including infinitely many cases.

It is the same as the known ill-definedness of BEAF. (I note that BEAF seems to have more serious an issue, because there are several trials to formalise it as desired, but I heard that no result fits the BEAF-like expansion.)