manual_simple (62): examples where the hypothesis are modified manually following as modification constraint SRL and WSD tags
manual_adversarial (134): examples where the hypothesis are modified manually to fool 3 expert NLI models
gpt_generated (141): examples where the hypothesis are created by GPT-4o to be tricky to solve.