The discriminator is to differentiate between the reasoning behaviors of the implicit network i-CNN and the augmented network a-CNN.
d is a binary classifier that takes as inputs a la-tent feature H derived from either i-CNN or a-CNN given appropriate data (where implicit connectives is either missing or present, respectively).