Added powerset generation and inference filter