loading…

us-ca/regulation/mpp/63-401.1 — .1 A household must be living in which it files an application for participation. · Axiom

.1 A household must be living in which it files an application for participation.

1 rule

Official source

graph ↗build calculator ↗

A household must be living in which it files an application for participation.

in view

Whole section

Encodings · 1

Encoded from this provision

us-ca/regulation/mpp/63-401/1

household_meets_application_residence_requirementCA reg. 63-401.1 · derived

63-401.1

name: household_meets_application_residence_requirement
kind: derived
entity: Household
dtype: Judgment
period: Month
source: 63-401.1
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-401.1
          excerpt: >-
            A household must be living in which it files an application for
            participation.
versions:
  - effective_from: '0001-01-01'
    formula: household_lives_where_it_files_application_for_participation

▸rulespec code

Shown source

regulations/mpp/63-401

Displaying the canonical repository encoding.

View on GitHub

Rules

household_meets_application_residence_requirement

Derived

source: 63-401.1

- name: household_meets_application_residence_requirement
  kind: derived
  entity: Household
  dtype: Judgment
  period: Month
  source: 63-401.1
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-401.1
            excerpt: A household must be living in which it files an application for participation.
  versions:
    - effective_from: '0001-01-01'
      formula: household_lives_where_it_files_application_for_participation