loading…

us-ca/regulation/mpp/63-410.511 — .511 Works for 80 or more hours; · Axiom

.511 Works for 80 or more hours;

2 rules

Official source

graph ↗build calculator ↗

Works for 80 or more hours;

in view

Whole section

Encodings · 2

Encoded from this provision

us-ca/regulation/mpp/63-410/511

minimum_work_hoursCA reg. 63-410.511 · parameter

63-410.511

name: minimum_work_hours
kind: parameter
dtype: Integer
source: 63-410.511
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-410.511
          excerpt: Works for 80 or more hours;
versions:
  - effective_from: '0001-01-01'
    formula: '80'

works_for_minimum_hoursCA reg. 63-410.511 · derived

63-410.511

name: works_for_minimum_hours
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 63-410.511
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-410.511
          excerpt: Works for 80 or more hours;
versions:
  - effective_from: '0001-01-01'
    formula: hours_worked >= minimum_work_hours

▸rulespec code

Shown source

regulations/mpp/63-410

Displaying the canonical repository encoding.

View on GitHub

Rules

minimum_work_hours

Parameter

source: 63-410.511

- name: minimum_work_hours
  kind: parameter
  dtype: Integer
  source: 63-410.511
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-410.511
            excerpt: Works for 80 or more hours;
  versions:
    - effective_from: '0001-01-01'
      formula: '80'

works_for_minimum_hours

Derived

source: 63-410.511

- name: works_for_minimum_hours
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 63-410.511
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-410.511
            excerpt: Works for 80 or more hours;
  versions:
    - effective_from: '0001-01-01'
      formula: hours_worked >= minimum_work_hours

loading…

.511 Works for 80 or more hours;

2 rules

Official source

graph ↗build calculator ↗

Works for 80 or more hours;

in view

Whole section

Encodings · 2

Encoded from this provision

us-ca/regulation/mpp/63-410/511

minimum_work_hoursCA reg. 63-410.511 · parameter

63-410.511

name: minimum_work_hours
kind: parameter
dtype: Integer
source: 63-410.511
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-410.511
          excerpt: Works for 80 or more hours;
versions:
  - effective_from: '0001-01-01'
    formula: '80'

works_for_minimum_hoursCA reg. 63-410.511 · derived

63-410.511

name: works_for_minimum_hours
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 63-410.511
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-410.511
          excerpt: Works for 80 or more hours;
versions:
  - effective_from: '0001-01-01'
    formula: hours_worked >= minimum_work_hours

▸rulespec code

Shown source

regulations/mpp/63-410

Displaying the canonical repository encoding.

View on GitHub

Rules

minimum_work_hours

Parameter

source: 63-410.511

- name: minimum_work_hours
  kind: parameter
  dtype: Integer
  source: 63-410.511
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-410.511
            excerpt: Works for 80 or more hours;
  versions:
    - effective_from: '0001-01-01'
      formula: '80'

works_for_minimum_hours

Derived

source: 63-410.511

- name: works_for_minimum_hours
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 63-410.511
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-410.511
            excerpt: Works for 80 or more hours;
  versions:
    - effective_from: '0001-01-01'
      formula: hours_worked >= minimum_work_hours