{ "spec": { "profile": "joulespec/1", "alg": 1, "intent": "A corpus case: the clauses exist to be graded, not to be implemented.", "clauses": [ { "label": "C1", "kind": "requirement", "text": "The first obligation is well evidenced." }, { "label": "C2", "kind": "requirement", "text": "The second obligation is only claimed." } ], "parent": null, "author": [ 138, 136, 227, 221, 116, 9, 241, 149, 253, 82, 219, 45, 60, 186, 93, 114, 202, 103, 9, 191, 29, 148, 18, 27, 243, 116, 136, 1, 180, 15, 111, 92 ] }, "sig": [ 43, 42, 11, 171, 119, 207, 160, 61, 162, 144, 245, 20, 230, 204, 135, 222, 27, 198, 221, 151, 150, 139, 70, 10, 15, 59, 131, 156, 246, 73, 96, 74, 147, 64, 46, 226, 82, 95, 82, 156, 208, 5, 42, 73, 137, 132, 140, 67, 141, 40, 141, 18, 4, 208, 243, 54, 220, 199, 96, 189, 176, 84, 127, 9 ] }