Discrepancies table
Prenex CNF Track


FamilyStructureDomain# Problematic