loading…

us-ca/regulation/mpp/63-405.123 — .123 Is under 18 years of age regardless of the date of entry into the U.S. · Axiom

.123 Is under 18 years of age regardless of the date of entry into the U.S.

2 rules

Official source

graph ↗build calculator ↗

Is under 18 years of age regardless of the date of entry into the U.S.

in view

Whole section

Encodings · 2

Encoded from this provision

us-ca/regulation/mpp/63-405/123

age_limit_for_under_18_yearsCA reg. 63-405.123 · parameter

MPP 63-405.123

name: age_limit_for_under_18_years
kind: parameter
dtype: Integer
source: MPP 63-405.123
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-405.123
          excerpt: >-
            Is under 18 years of age regardless of the date of entry into the
            U.S.
versions:
  - effective_from: '0001-01-01'
    formula: '18'

person_under_18_regardless_of_us_entry_dateCA reg. 63-405.123 · derived

MPP 63-405.123

name: person_under_18_regardless_of_us_entry_date
kind: derived
entity: Person
dtype: Judgment
period: Month
source: MPP 63-405.123
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-405.123
          excerpt: >-
            Is under 18 years of age regardless of the date of entry into the
            U.S.
versions:
  - effective_from: '0001-01-01'
    formula: person_age_years < age_limit_for_under_18_years

▸rulespec code

Shown source

regulations/mpp/63-405

Displaying the canonical repository encoding.

View on GitHub

Rules

age_limit_for_under_18_years

Parameter

source: MPP 63-405.123

- name: age_limit_for_under_18_years
  kind: parameter
  dtype: Integer
  source: MPP 63-405.123
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-405.123
            excerpt: Is under 18 years of age regardless of the date of entry into the U.S.
  versions:
    - effective_from: '0001-01-01'
      formula: '18'

person_under_18_regardless_of_us_entry_date

Derived

source: MPP 63-405.123

- name: person_under_18_regardless_of_us_entry_date
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: MPP 63-405.123
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-405.123
            excerpt: Is under 18 years of age regardless of the date of entry into the U.S.
  versions:
    - effective_from: '0001-01-01'
      formula: person_age_years < age_limit_for_under_18_years

loading…

.123 Is under 18 years of age regardless of the date of entry into the U.S.

2 rules

Official source

graph ↗build calculator ↗

Is under 18 years of age regardless of the date of entry into the U.S.

in view

Whole section

Encodings · 2

Encoded from this provision

us-ca/regulation/mpp/63-405/123

age_limit_for_under_18_yearsCA reg. 63-405.123 · parameter

MPP 63-405.123

name: age_limit_for_under_18_years
kind: parameter
dtype: Integer
source: MPP 63-405.123
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: parameter
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-405.123
          excerpt: >-
            Is under 18 years of age regardless of the date of entry into the
            U.S.
versions:
  - effective_from: '0001-01-01'
    formula: '18'

person_under_18_regardless_of_us_entry_dateCA reg. 63-405.123 · derived

MPP 63-405.123

name: person_under_18_regardless_of_us_entry_date
kind: derived
entity: Person
dtype: Judgment
period: Month
source: MPP 63-405.123
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-405.123
          excerpt: >-
            Is under 18 years of age regardless of the date of entry into the
            U.S.
versions:
  - effective_from: '0001-01-01'
    formula: person_age_years < age_limit_for_under_18_years

▸rulespec code

Shown source

regulations/mpp/63-405

Displaying the canonical repository encoding.

View on GitHub

Rules

age_limit_for_under_18_years

Parameter

source: MPP 63-405.123

- name: age_limit_for_under_18_years
  kind: parameter
  dtype: Integer
  source: MPP 63-405.123
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-405.123
            excerpt: Is under 18 years of age regardless of the date of entry into the U.S.
  versions:
    - effective_from: '0001-01-01'
      formula: '18'

person_under_18_regardless_of_us_entry_date

Derived

source: MPP 63-405.123

- name: person_under_18_regardless_of_us_entry_date
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: MPP 63-405.123
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-405.123
            excerpt: Is under 18 years of age regardless of the date of entry into the U.S.
  versions:
    - effective_from: '0001-01-01'
      formula: person_age_years < age_limit_for_under_18_years