Block-wise construction of tree-like relational features with monotone reducibility and redundancy