loading…

us-ca/regulation/mpp/63-402.144 — .144 A boarder, as defined in Section 63-402.3; · Axiom

.144 A boarder, as defined in Section 63-402.3;

1 rule

Official source

graph ↗build calculator ↗

A boarder, as defined in Section 63-402.3;

in view

Whole section

Encodings · 1

Encoded from this provision

us-ca/regulation/mpp/63-402/144

boarder_under_section_63_402_3CA reg. 63-402.144 · derived

63-402.144

name: boarder_under_section_63_402_3
kind: derived
entity: Person
dtype: Judgment
period: Month
source: 63-402.144
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: definition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-402.144
          excerpt: A boarder, as defined in Section 63-402.3;
versions:
  - effective_from: '0001-01-01'
    formula: person_is_boarder_as_defined_in_section_63_402_3

▸rulespec code

Shown source

regulations/mpp/63-402

Displaying the canonical repository encoding.

View on GitHub

Rules

boarder_under_section_63_402_3

Derived

source: 63-402.144

- name: boarder_under_section_63_402_3
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: 63-402.144
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: definition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-402.144
            excerpt: A boarder, as defined in Section 63-402.3;
  versions:
    - effective_from: '0001-01-01'
      formula: person_is_boarder_as_defined_in_section_63_402_3

▸citations (1)

References

This rule cites 1 other rule.

CA reg. 63-402.3inferredCA › Regulations › Title mpp › § 63-402.3

loading…