{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:NBBOLNI7FC3AA3AR3MYKCGK33N","short_pith_number":"pith:NBBOLNI7","canonical_record":{"source":{"id":"1607.01485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-06T06:25:07Z","cross_cats_sorted":[],"title_canon_sha256":"1444894791ce45b8325b5b9a043f63577ad717674e3f6f279d8a9e5008396c02","abstract_canon_sha256":"7d91410dd1226809ffae099d725d7ef9b07c8193fa1382638e2340af31dfbd81"},"schema_version":"1.0"},"canonical_sha256":"6842e5b51f28b6006c11db30a1195bdb64c3d1d7f8785e34a1c4218a23cef675","source":{"kind":"arxiv","id":"1607.01485","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.01485","created_at":"2026-05-18T01:11:26Z"},{"alias_kind":"arxiv_version","alias_value":"1607.01485v1","created_at":"2026-05-18T01:11:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.01485","created_at":"2026-05-18T01:11:26Z"},{"alias_kind":"pith_short_12","alias_value":"NBBOLNI7FC3A","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"NBBOLNI7FC3AA3AR","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"NBBOLNI7","created_at":"2026-05-18T12:30:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:NBBOLNI7FC3AA3AR3MYKCGK33N","target":"record","payload":{"canonical_record":{"source":{"id":"1607.01485","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-06T06:25:07Z","cross_cats_sorted":[],"title_canon_sha256":"1444894791ce45b8325b5b9a043f63577ad717674e3f6f279d8a9e5008396c02","abstract_canon_sha256":"7d91410dd1226809ffae099d725d7ef9b07c8193fa1382638e2340af31dfbd81"},"schema_version":"1.0"},"canonical_sha256":"6842e5b51f28b6006c11db30a1195bdb64c3d1d7f8785e34a1c4218a23cef675","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:26.307962Z","signature_b64":"jXPlZLgrOsqrDEl475dBx0xO8jUfpDEh4Ily2Y+77nA6wbVSZTNO2SAap/P/xP/1FTFnQzF1d7fYOiBHOeKWDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6842e5b51f28b6006c11db30a1195bdb64c3d1d7f8785e34a1c4218a23cef675","last_reissued_at":"2026-05-18T01:11:26.307406Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:26.307406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.01485","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cmL2meyjM3iynci9wApbd6bExPjhAq4Nf0rVzXxWIRLnbS9F8nBBTmbZm53ohNzKh7SFxBi2ISpx9rPV73oJBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:17:48.916116Z"},"content_sha256":"f3f2abe71e6eeefdb15ef36c22b831e76ad70ddeda3695c86d0b448920062989","schema_version":"1.0","event_id":"sha256:f3f2abe71e6eeefdb15ef36c22b831e76ad70ddeda3695c86d0b448920062989"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:NBBOLNI7FC3AA3AR3MYKCGK33N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extracting Formal Models from Normative Texts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Gerardo Schneider, John J. Camilleri, Normunds Gruzitis","submitted_at":"2016-07-06T06:25:07Z","abstract_excerpt":"Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is to model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.01485","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:11:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dHkvN2kM8xSNacMkIy3XESHsDiTGLkWX7kFUdE8nDa7Yraby+4Sra51uZKVEDA8UzCGWM8FS91sZE/Yi8uyMBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:17:48.916808Z"},"content_sha256":"5e710507d05dd397481c12ccf29742c6428521f7dbbefb52fe0ea3ceba09ed86","schema_version":"1.0","event_id":"sha256:5e710507d05dd397481c12ccf29742c6428521f7dbbefb52fe0ea3ceba09ed86"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NBBOLNI7FC3AA3AR3MYKCGK33N/bundle.json","state_url":"https://pith.science/pith/NBBOLNI7FC3AA3AR3MYKCGK33N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NBBOLNI7FC3AA3AR3MYKCGK33N/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T19:17:48Z","links":{"resolver":"https://pith.science/pith/NBBOLNI7FC3AA3AR3MYKCGK33N","bundle":"https://pith.science/pith/NBBOLNI7FC3AA3AR3MYKCGK33N/bundle.json","state":"https://pith.science/pith/NBBOLNI7FC3AA3AR3MYKCGK33N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NBBOLNI7FC3AA3AR3MYKCGK33N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NBBOLNI7FC3AA3AR3MYKCGK33N","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7d91410dd1226809ffae099d725d7ef9b07c8193fa1382638e2340af31dfbd81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-06T06:25:07Z","title_canon_sha256":"1444894791ce45b8325b5b9a043f63577ad717674e3f6f279d8a9e5008396c02"},"schema_version":"1.0","source":{"id":"1607.01485","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.01485","created_at":"2026-05-18T01:11:26Z"},{"alias_kind":"arxiv_version","alias_value":"1607.01485v1","created_at":"2026-05-18T01:11:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.01485","created_at":"2026-05-18T01:11:26Z"},{"alias_kind":"pith_short_12","alias_value":"NBBOLNI7FC3A","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"NBBOLNI7FC3AA3AR","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"NBBOLNI7","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:5e710507d05dd397481c12ccf29742c6428521f7dbbefb52fe0ea3ceba09ed86","target":"graph","created_at":"2026-05-18T01:11:26Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is to model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be ","authors_text":"Gerardo Schneider, John J. Camilleri, Normunds Gruzitis","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-06T06:25:07Z","title":"Extracting Formal Models from Normative Texts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.01485","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f3f2abe71e6eeefdb15ef36c22b831e76ad70ddeda3695c86d0b448920062989","target":"record","created_at":"2026-05-18T01:11:26Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7d91410dd1226809ffae099d725d7ef9b07c8193fa1382638e2340af31dfbd81","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-06T06:25:07Z","title_canon_sha256":"1444894791ce45b8325b5b9a043f63577ad717674e3f6f279d8a9e5008396c02"},"schema_version":"1.0","source":{"id":"1607.01485","kind":"arxiv","version":1}},"canonical_sha256":"6842e5b51f28b6006c11db30a1195bdb64c3d1d7f8785e34a1c4218a23cef675","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6842e5b51f28b6006c11db30a1195bdb64c3d1d7f8785e34a1c4218a23cef675","first_computed_at":"2026-05-18T01:11:26.307406Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:26.307406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jXPlZLgrOsqrDEl475dBx0xO8jUfpDEh4Ily2Y+77nA6wbVSZTNO2SAap/P/xP/1FTFnQzF1d7fYOiBHOeKWDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:26.307962Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.01485","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3f2abe71e6eeefdb15ef36c22b831e76ad70ddeda3695c86d0b448920062989","sha256:5e710507d05dd397481c12ccf29742c6428521f7dbbefb52fe0ea3ceba09ed86"],"state_sha256":"601c615eb999af31e167e8856b99fb6f5cf295bc57aaacd5f759bf483c120e5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ro4soGhfjDnTv6zFdM/HaE6qb3HyvBALs6PCnAJeQDVVLKQ6DqWgzLg+Q5xCNfG+12aUgOdyaXOpLdyZTnzVBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:17:48.919239Z","bundle_sha256":"1387934e674135d8fea74e46858d3e08b702de32cf200b760dfccda289b5ca35"}}