Modular Norm Model Demo

Example Legal Text

Your Public License (YPL) v1.0

4. You may reproduce and distribute copies of the Work or Derivative Works thereof in any medium, with or without modifications, and in Source or Object form, provided that You meet the following condition:

a. You must retain, in the Source form of any Derivative Works that You distribute, all copyright, patent, trademark, and attribution notices from the Source form of the Work

Compliance Scenario

Scenario:

Compliance Question: Answer choices:
  1. Yes, Sam is compliant with YPL v1.0
  2. No, Sam is not compliant with YPL v1.0
  3. Need more information

Modular Norm Model

How to use:

  1. Determine the most relevant norm for a given scenario
    • Hover over Duties and Rights to read relevant text
  2. Trace activating situations for the norm in Step 1
    • Follow links to other norms and situations
    • Assign truth values of situations with respect to the scenario and the question
  3. Trace satisfying situations for the norm in Step 1
    • Assign truth values of situations with respect to the scenario and the question
  4. Add a Student ID at the top of the page. For this demo, any numeric value will suffice. E.g. 1234.
  5. Hit the SOLVE button.
  6. Note the value of the norm in Step 1.
    • Com --> Duty is Compliant
    • Vio --> Duty is Violated
    • Exr --> Right is Exercisable
    • Nex --> Right cannot be exercised
    • Inc --> Norm is Inconclusive

G clusterSS_YPL4a SS_YPL4a clusterSS_YPL4 SS_YPL4 YPL4a YPL4a YPL4a_1 [You retained] in the Source form of any Derivative Works that You distribute, all copyright, patent, trademark, and attribution notices from the Source form of the Work YPL4a_1->YPL4a satisfies YPL4a_2 [You intend to reproduce and distribute copies of the Work or Derivative Works] YPL4a_2->YPL4a activates YPL4 YPL4 YPL4_3 [You reproduced and distributed] copies of the Work or Derivative Works thereof in any medium, with or without modifications, and in Source or Object form YPL4_3->YPL4 satisfies YPL4_4 SS_YPL4a YPL4_4->YPL4a YPL4_4->YPL4 activates