And sequence all factors in order 01

A policy from the Compliance corpus. The table gives the source and what the policy shows, in the source's words.

Source	What it shows
and-sequence-all-factors-in-order-01.ttl	odrl:andSequence: a permission gated on two access-factor claims that both hold, read like odrl:and since a request has no order of events

Policy #

{
  "@context": [
    "http://www.w3.org/ns/odrl.jsonld",
    {
      "case": "https://ds-labs-org.github.io/ds-odrl-compliance-rdf/cases/and-sequence-all-factors-in-order-01#",
      "dsc": "https://ds-labs-org.github.io/ds-odrl-compliance-rdf/ns#",
      "dpv": "https://w3id.org/dpv#",
      "foaf": "http://xmlns.com/foaf/0.1/",
      "vcard": "http://www.w3.org/2006/vcard/ns#"
    }
  ],
  "@graph": [
    {
      "@type": "Set",
      "uid": "case:policy-a",
      "assigner": "did:web:provider.example",
      "permission": [
        {
          "uid": "case:perm-read",
          "target": "case:asset-ledger",
          "action": "read",
          "constraint": [
            {
              "andSequence": [
                {
                  "leftOperand": {
                    "@id": "case:claim-contractSigned",
                    "@type": "dsc:ClaimKey",
                    "dsc:key": "contractSigned"
                  },
                  "operator": "eq",
                  "rightOperand": "true"
                },
                {
                  "leftOperand": {
                    "@id": "case:claim-onboardingDone",
                    "@type": "dsc:ClaimKey",
                    "dsc:key": "onboardingDone"
                  },
                  "operator": "eq",
                  "rightOperand": "true"
                }
              ]
            }
          ]
        }
      ]
    }
  ]
}

Reading #

The sentences OdrlProse writes for this policy, without a profile.

Policy set case:policy-a

A set of rules from did:web:provider.example (assigner).

Anyone may read asset-ledger, as permitted by the assigner did:web:provider.example.
Applies only if:
- the following hold, in this order:
  - the claim contract signed is equal to "true"
  - the claim onboarding done is equal to "true"

The renderer raised no warning for this policy.

Back to the Compliance corpus or the catalog.