{"boundary_clean":true,"candidate_id":"c660ef420730ebb3ef321252bc5165e21e869f015258662c31ef0f4db87568f9","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-002","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"theorem"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"c9e7f47c525dc84f12bac3e147ea958d68a8b9c2631580a12d1aba47c751ad26","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-004","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"lemma","subject":"proof"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"99d42107a22f4af5ed35715478e1c95555698d4415f75c56afbeb317d196485a","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-003","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"lemma"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"a09e2ab08e85bdd7c6e635294dfaf46740fd5761526702eae966bfbfd37005d3","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-006","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"conclusion"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"dd190d0cc3e54c42e60c08e71724b74ab2bf118ec442bfcbe3ea88475c4261dc","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-007","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"implication"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"9de42a31f3373db5d4d7792292c0a474b189bb94cb36d2be857ae4d4f59dd65c","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-002","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"axiom","subject":"theorem"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"73ce53fed55b099b728f9b7e2bd43a8c9a180c07341d54bc275b29fc6ff591ec","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-004","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"proof"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"8d75e96b25bb821b8b12681ca7b8b7a31ea648687f833216f179e2e23982b39a","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-004","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"axiom","subject":"proof"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"8d6d9e3960c5d109a41328b7acd82246b008795757b03b9c5e6cf7051f5b0c76","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-008","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"identity","subject":"equivalence"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"96f222fced2768dbf1b6400d97a3ea2178cd808f7f59d47574fa233770bd12af","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-009","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"reveals","intent":"cause","object":"negation","subject":"contradiction"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"80f0b29926a9a9a9cc4e500024582e8ede5a770a445698d1e6eecb07f3d88be9","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-012","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"domain","subject":"function"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"fb2c41e2afdd27c1394b4016980b2bd0b1c064780bb515b8719a1e50237cacfb","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-014","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"range"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"0a613eff3e6560d8fd7357a0148a49fbcc91a7a07e4f93d7eabc60b0a23bbc21","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-015","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"identity"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"3abffed5fb9148657377425ff65653fe1f5c779e92747e2b1297bc67e9afb877","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-016","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"composition"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"bd1a965d9954c20e40150928dcbfb89dfb35cd3651ba1a1ac58504c9cf79add8","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-004","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"theorem","subject":"proof"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"5049c021dd2b914728634356e2e02c97871fd024296fad575ebefef0550b60ea","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-001","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"theorem","subject":"axiom"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"ade5249ce79e141dd271e3965ab98d37995d1dd78dda27baef9b1121af650f60","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-003","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"proof","subject":"lemma"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"8a3699c916d4250d5228cec647924562ef1ea63e8c11545b04654cc5704b9430","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-005","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"proof","subject":"premise"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"7a06f2af9c525d1e171c60c05b28b83f6c85f6738e7ed22cadc9ba0fd468a515","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-007","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"conclusion","subject":"implication"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"ab595a218eedafa73e88a42b94395979f6a7e130ddbe3673b4eafd70858d1cb4","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-013","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"function","subject":"domain"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"f7f63902fec2d9e9fc1b27436d4263a87681fc536477883ed9dcad060972eccf","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-012","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"range","subject":"function"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"44fa01684f780893978e5416a8f7c6c948e72c70e98e45c97e355245ed84f801","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-012","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"identity","subject":"function"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"a9f05ef4274f38f072102dc51c3eb80b32836d6783d40f95a1030b2238d3e169","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-012","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"cause","object":"composition","subject":"function"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"cd15816ac8f847073eedfabcb573d0e54c9ad42a98c33e1ce25f357e2e8c5b88","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-011","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"set"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"2a569bbeae96e078483d1dd763bb73685227dd2c87403147ec32af10153b2888","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-002","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"verification","object":"proof","subject":"theorem"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"b9c6078cd4b1570dfe35bcd62bef3cbdda8492128f13ff0525617b4186577d11","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-004","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"verification","object":"lemma","subject":"proof"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"d39acb1992ff8484f0ff981cdccc6c2aac0f276f8ff0a5b6e5b61def78b5577a","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-006","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"requires","intent":"verification","object":"premise","subject":"conclusion"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"495070c2231313ac24441e2cc5f954e49bf872875ed43a583dbfb3e31abb96c2","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-004","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"verification","object":"theorem","subject":"proof"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"4206a93e7ee35a95e9f34c411ee9d7d9aab22ac66aabc8220260ce2330647cc3","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-001","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"verification","object":"theorem","subject":"axiom"},"source_turn_trace":"","trigger":"would_have_grounded"}
{"boundary_clean":true,"candidate_id":"302196501f2e5cc8ffe72286086f9b54b80cb8a1672c633be22dee5f3cbebbac","claim_domain":"factual","evidence":[{"epistemic_status":"coherent","polarity":"affirms","ref":"en-math-logic-003","source":"corpus"}],"pack_consistent":true,"polarity":"affirms","proposed_chain":{"connective":"grounds","intent":"verification","object":"proof","subject":"lemma"},"source_turn_trace":"","trigger":"would_have_grounded"}
