{
  "constraint": [
    0,
    0,
    -1,
    1,
    1,
    -1,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0
  ],
  "meaning": "MT L_Arphaxad-b_Arphaxad = MT L_Shelah-b_Shelah",
  "domain_dimension": 20,
  "output_rank": 20,
  "extra_source_magnitude_not_added": true,
  "qualification": "one independent relation, not a claim of an exhaustive minimal source basis"
}