@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a ; dc:description "Every country linked from the World Fertility Survey public index was opened. A survey entered the pool only when its original .dct used the same codes as Kenya: current breastfeeding (F117=1), not currently pregnant (V206=0), pill or injection excluded by value label, and amenorrhea in the open interval (F122=96 still amenorrheic; a closed duration is an integer from that dictionary's own minimum through its maximum). Design weights V006/1000 were applied inside each survey, rescaled to sum to that survey's eligible count, and pooled. The pre-registered thresholds were then applied. Full breastfeeding (F119=1) is reported and does not set the verdict. Excluded surveys: 34."; "Measured: 0.616459662994051 weighted proportion still amenorrheic (F122=96) among eligible currently breastfeeding women (n = 15016, survey proportions 0.5009 to 0.7038 across 9 surveys). Interpretation: Aristotle's general rule is read as a statement about women who are producing milk, not about all postpartum women and not about the contraceptive failure rate. 'A flow of milk' is self-reported current breastfeeding of the last child. 'Menstrual purgations do not take place' is an open amenorrhea interval. The quoted exception, that discharge has been known to occur during suckling, is a requirement that resumed menstruation be observed, not a nuisance. The clause that moisture is not directed in several directions at once is a proposed mechanism and is not measured. Pregnancy and hormonal contraceptives also stop menstruation, so those women are removed rather than counted as support for the lactation rule. Months are the survey's own month codes."; "Claim test of aristotle-ha07-22: supports, confidence 0.9"; ; prov:wasAttributedTo ; "Public-use individual microdata, not a registration wall, in which the same woman has a current-breastfeeding indicator and an amenorrhea measure that separates 'still amenorrheic' from a completed duration and from not-stated. The World Fertility Survey standard recode files distributed for public use at wfs.dhsprogram.com meet this. Aggregates that do not identify breastfeeding and menstrual status on the same woman do not. The codebook may be read before the data file; the data file may not."; "claim-test/0.1.0"; "biological"; "That same weighted share still amenorrheic is 0.50 or lower, so menstruation during ongoing breastfeeding is at least as common as amenorrhea."; "34 linked surveys were not in the pool. Reasons are in derived/measured.json.", "42 linked surveys were not in the pool. Reasons are in derived/measured.json.", "Current breastfeeding includes partial breastfeeding. The survey does not measure milk volume.", "F122 values 0 through 41 are read as a closed amenorrhea interval because 96 is the dictionary's code for still amenorrheic. A closed interval means menstruation resumed during the open pregnancy interval, and the woman was still breastfeeding at interview.", "Only the Kenya 1977–78 dictionary was opened before this registration. No standard-recode data file, marginals file, or amenorrhea frequency was read. Other surveys are included only if their dictionaries match the labels above.", "Partial breastfeeding is coded as still breastfeeding. Women on the pill or an injection were removed; other contraceptives were kept.", "The World Fertility Survey samples are national samples from the late 1970s and early 1980s, not a draw from all lactating women."; "In public fertility-survey microdata, the weighted share of currently breastfeeding, non-pregnant, non-hormonally-contracepting women who are still amenorrheic is at least 0.60, and at least 0.05 have a closed amenorrhea interval."; "Pre-registered (refutes). The same weighted proportion still amenorrheic is at most 0.50. If that proportion is greater than 0.50 and less than 0.60, or is at least 0.60 but the proportion whose amenorrhea has ended is under 0.05, or at least three surveys each with 100 or more eligible women disagree (at least one survey at or above 0.60 and at least one at or below 0.50), the verdict is mixed. If no survey can be read, the verdict is inconclusive with reason data-unavailable. If surveys can be read but fewer than 200 women are eligible, or a coding check below fails for every survey, the verdict is inconclusive with reason underpowered or other as specified."; "0.9"^^xsd:double; , , , , , , , , ; "supports"; "Among women who are still breastfeeding their last child, not currently pregnant, and not using the pill or an injectable contraceptive, most are still amenorrheic, while a visible minority have already resumed menstruation."; "Eligible woman: still breastfeeding the last child (F117 = 1), not currently pregnant (V206 = 0), current method not pill or injection (V635 not in {1, 11}), and amenorrhea in the open pregnancy interval (F122) equal to 96 (still amenorrheic) or to an integer from 0 through 41 inclusive (completed months; the interval has closed). Codes 87, 88 and 99 on F122, and any other value, are not eligible. Within each survey, the proportion still amenorrheic uses the sample weight V006/1000, dropping non-positive weights. Each survey's weights are then rescaled to sum to its number of eligible women, and the surveys are pooled, so each eligible woman counts once after her own survey's design weight. Thresholds are those in pass_criterion and fail_criterion. A survey is used only if its original WFS dictionary (.dct, not the ISSA .dic) defines these variables with the Kenya SR02 labels: F117 value 1 = Yes and 0 = No, na, ns; F122 value 96 = Still amenorrheic, with minimum 0, maximum 41, and 87/88/99 as no data, not applicable and not stated; V206 value 0 = not pregnant and 1 = yes; V635 value 1 = pill and 11 = injection; V006 = sample weight per 1000. F121 is the back-reference of F117 (1 = yes, still amenorrheic). A survey is dropped if its logical record length does not divide the file, the parsed record count differs from the dictionary %FILE count, more than 1 percent of non-missing ages (V010) fall outside 15–50, more than 5 percent of rows that pass the F117/V206/V635 filters have an F122 value outside {0..41, 96, 87, 88, 99}, or concordance of F122 with F121 on eligible rows is under 95 percent (F122 = 96 must have F121 = 1, and F122 in 0..41 must have F121 = 0). Positions and labels are taken from each dictionary at run time. Full breastfeeding, where a dictionary defines it, is reported and does not enter the verdict."; "Pre-registered (supports). In the pooled eligible sample defined below, the weighted proportion still amenorrheic is at least 0.60, the weighted proportion whose amenorrhea has ended is at least 0.05, and the eligible sample has at least 200 women. Survey weights are used as specified in inference_method."; "false"^^xsd:boolean . . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Bénin, 1981-82"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:7e2928cbdbf17937ec3c15466fcf524e7a5e1d588cf2dceda97fe971ebc8dda0", "sha256:ac8446d59a788de67701a7931942822296e6ea4cf5c5a7390a85c70bebe20524" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Cote d'Ivoire, 1980-81"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:89b15f2f58e839e3c552569ab8a831f7822847902907b59cb8777f04f4c14341", "sha256:b8a5894691676ec800baac626597b0253b15e2e882c4069f9f218e2d52f15fed" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Ghana, 1979-80"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:b2c023d3282b87c19f6c6f12a2d3941d447934f7397945ee9b9e545997749ae6", "sha256:fc12562184b5217cd6c2a081acaad100e744c62cc588cfdd5062d35e3b660c79" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Kenya, 1977-78"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:7aecf80855cdae02a73aa833f9228f676b5a7558189329d4c002b63d535e9ece", "sha256:aaa00d047b25fc74d9106bdfa852dc37d51f4be4926048930984f7dbc2f85c0e" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Lesotho, 1977"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:9b1f5f6df7c84ab7e75eb2b02f96315fca8bcec77b09378e3afa5607744ed72e", "sha256:e76d04b2ff54829be21da66fc5d936d69734f14d58f2789a1f7cedcc1b982202" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Nigeria, 1981-82"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:2a7dc09abd1100ccd76e0340e55c10fec626b00bad6fed4605b3e67e5f3eed0a", "sha256:6dd50459e06f071e8e7509f97aeb09894763912f836c72eb38e2c3d76640e469" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Sudan (North), 1978-79"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:27e87cd9e9cb82c409ea000544e20bd49707beb17b37fe0f75187cafdf8e0790", "sha256:61307b693a46ff212ab28788cac784b0c1b025d3b8fedd64e9e794f2688ff49c" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Tunisia, 1978"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:31e70fbd0747cc030c4a6534485887caeb92f0539c8aeb1773628e9d90881f26", "sha256:378b89d4a3b0e888016e575c8b3ea3dbb4ed8bc6f292b3990ffa2abed4d04942" . a ; dc:description "individual records of current breastfeeding and amenorrhea in the open interval"; dc:license "Public-use file. The Kenya release note, which the registration treated as the archive's stated condition, allows academic research with credit to the agency that conducted the survey."; "Dataset: World Fertility Survey standard recode, Syria, 1978"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:4625eae4cf32682dedacfb0bf5e5b12a889b182f548f8b308a9cd20644200104", "sha256:e6e23bda933dde738eae125eca2ec576db000460366f8a551ac74c56907bb0c6" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (Grok 4.7; cursor/aristotle-claim-tests-3f12)"; prov:actedOnBehalfOf ; . a ; dc:identifier "Grok 4.7" . sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom ; prov:wasGeneratedBy sub:test . sub:plan prov:hadPlan . sub:test a prov:Activity; prov:qualifiedAssociation sub:plan; prov:wasAssociatedWith . } sub:pubinfo { this: dc:created "2026-11-08T16:24:31.779Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-ha07-22: supports, confidence 0.9"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "Uhfg2WALtT14u61BeddID31wgCgcwqQSQMUh8T+9HIGli6jUgaon969WjC6gjnLRWWUlZlXgTeKxGuU6g0Yf2rUC2Ym6xhbv3XHuDOI8Yc7kD+K/YN7hCvHdtq1h7RvC0kwzqQ6hX26T3Sj41v8xBUUHQttNckzz2tQoLPJNIjaY/QwXXSclQlfyRhs/wPX7ZdCWCd++APws0QsrKfHgsBS0+2QrwMzrNqs/SCKvyzrKUyOlH9s4gOHC+BHTgmiAMmwg0sUFp7iBUMBuTkgfoez7f+PGSY8FolfFNOAC9d/8U0nbd1A/bOjNB603NRJbJbFXtpe2KTAVal/bl86ifQ=="; npx:hasSignatureTarget this:; npx:signedBy . }