Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties