{
  "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 obligation is checked by something whose expectation is unstated."
      }
    ],
    "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": [
    232,
    129,
    54,
    56,
    154,
    252,
    10,
    27,
    228,
    77,
    131,
    255,
    86,
    208,
    193,
    211,
    51,
    101,
    191,
    130,
    245,
    173,
    127,
    222,
    86,
    185,
    33,
    142,
    97,
    29,
    87,
    128,
    121,
    59,
    48,
    83,
    240,
    192,
    143,
    134,
    2,
    201,
    119,
    57,
    60,
    187,
    47,
    173,
    252,
    12,
    254,
    177,
    128,
    243,
    41,
    150,
    140,
    229,
    214,
    167,
    69,
    16,
    17,
    11
  ]
}