{"id":"sm-v1-0001","seed":20260605,"text":"Rhea is a raven. All ravens are birds. Is Rhea a bird?","structure":{"elements":["rhea","mira"],"sets":[{"id":"raven","members":["rhea"]},{"id":"bird","members":[]},{"id":"mammal","members":["mira"]}],"subsets":[{"subset":"raven","superset":"bird"}]},"query":{"kind":"member","element":"rhea","set":"bird"},"gold":true,"class":"membership_via_subsumption"}
{"id":"sm-v1-0002","seed":20260605,"text":"Ada is a botanist. All botanists are scientists. All scientists are people. Is Ada a person?","structure":{"elements":["ada","ben"],"sets":[{"id":"botanist","members":["ada"]},{"id":"scientist","members":[]},{"id":"person","members":[]},{"id":"engineer","members":["ben"]}],"subsets":[{"subset":"botanist","superset":"scientist"},{"subset":"scientist","superset":"person"},{"subset":"engineer","superset":"person"}]},"query":{"kind":"member","element":"ada","set":"person"},"gold":true,"class":"membership_transitive"}
{"id":"sm-v1-0003","seed":20260605,"text":"Fido is a dog. All dogs are mammals. All cats are mammals. Is Fido a cat?","structure":{"elements":["fido","cleo"],"sets":[{"id":"dog","members":["fido"]},{"id":"cat","members":["cleo"]},{"id":"mammal","members":[]}],"subsets":[{"subset":"dog","superset":"mammal"},{"subset":"cat","superset":"mammal"}]},"query":{"kind":"member","element":"fido","set":"cat"},"gold":false,"class":"membership_negative"}
{"id":"sm-v1-0004","seed":20260605,"text":"All squares are rectangles. All rectangles are polygons. Are all squares polygons?","structure":{"elements":["tile"],"sets":[{"id":"square","members":["tile"]},{"id":"rectangle","members":[]},{"id":"polygon","members":[]}],"subsets":[{"subset":"square","superset":"rectangle"},{"subset":"rectangle","superset":"polygon"}]},"query":{"kind":"subset","subset":"square","superset":"polygon"},"gold":true,"class":"subsumption_transitive"}
{"id":"sm-v1-0005","seed":20260605,"text":"All sparrows are birds. All birds are animals. Are all animals sparrows?","structure":{"elements":["pip"],"sets":[{"id":"sparrow","members":["pip"]},{"id":"bird","members":[]},{"id":"animal","members":[]}],"subsets":[{"subset":"sparrow","superset":"bird"},{"subset":"bird","superset":"animal"}]},"query":{"kind":"subset","subset":"animal","superset":"sparrow"},"gold":false,"class":"subsumption_direction_negative"}
{"id":"sm-v1-0006","seed":20260605,"text":"Carol is a cyclist. All cyclists are athletes. Is Carol an athlete?","structure":{"elements":["carol","dion"],"sets":[{"id":"cyclist","members":["carol"]},{"id":"athlete","members":[]},{"id":"musician","members":["dion"]}],"subsets":[{"subset":"cyclist","superset":"athlete"}]},"query":{"kind":"member","element":"carol","set":"athlete"},"gold":true,"class":"membership_via_subsumption"}
{"id":"sm-v1-0007","seed":20260605,"text":"The mug is a cup. The hammer is a tool. Is the mug a tool?","structure":{"elements":["mug","hammer"],"sets":[{"id":"cup","members":["mug"]},{"id":"tool","members":["hammer"]},{"id":"object","members":[]}],"subsets":[{"subset":"cup","superset":"object"},{"subset":"tool","superset":"object"}]},"query":{"kind":"member","element":"mug","set":"tool"},"gold":false,"class":"disjoint_membership_negative"}
{"id":"sm-v1-0008","seed":20260605,"text":"All violins are instruments. All instruments are artifacts. Are all violins artifacts?","structure":{"elements":["strad"],"sets":[{"id":"violin","members":["strad"]},{"id":"instrument","members":[]},{"id":"artifact","members":[]}],"subsets":[{"subset":"violin","superset":"instrument"},{"subset":"instrument","superset":"artifact"}]},"query":{"kind":"subset","subset":"violin","superset":"artifact"},"gold":true,"class":"subsumption_transitive"}
