Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction