We found that only 5% of the logical forms are split from the original equivalence classes.
unlike manually designed test suites, we do not yet know the correct answer for each fictitious world or whether a world is helpful for filtering out spurious logical forms.