loading…

us-ca/regulation/mpp/63-405.3 — .3 A veteran or a person on active duty in the U.S. armed forces is eligible. The spouse, or unmarried dependent child, or unremarried surviving spouse of a deceased veteran or active duty person is also eligible. · Axiom

.3 A veteran or a person on active duty in the U.S. armed forces is eligible. The spouse, or unmarried dependent child, or unremarried surviving spouse of a deceased veteran or active duty person is also eligible.

1 rule

Official source

graph ↗build calculator ↗

A veteran or a person on active duty in the U.S. armed forces is eligible. The spouse, or unmarried dependent child, or unremarried surviving spouse of a deceased veteran or active duty person is also eligible.

in view

Whole section

Encodings · 1

Encoded from this provision

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

veteran_active_duty_person_or_family_member_eligibleCA reg. 63-405.3 · derived

MPP 63-405.3, operative sentences

name: veteran_active_duty_person_or_family_member_eligible
kind: derived
entity: Person
dtype: Judgment
period: Month
source: MPP 63-405.3, operative sentences
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: condition
        source:
          corpus_citation_path: us-ca/regulation/mpp/63-405.3
          excerpt: >-
            A veteran or a person on active duty in the U.S. armed forces is
            eligible. The spouse, or unmarried dependent child, or unremarried
            surviving spouse of a deceased veteran or active duty person is also
            eligible.
versions:
  - effective_from: '0001-01-01'
    formula: >-
      person_is_veteran

      or person_on_active_duty_in_us_armed_forces

      or person_is_spouse_of_veteran_or_active_duty_person

      or person_is_unmarried_dependent_child_of_veteran_or_active_duty_person

      or
      person_is_unremarried_surviving_spouse_of_deceased_veteran_or_active_duty_person

▸rulespec code

Shown source

regulations/mpp/63-405

Displaying the canonical repository encoding.

View on GitHub

Rules

veteran_active_duty_person_or_family_member_eligible

Derived

source: MPP 63-405.3, operative sentences

- name: veteran_active_duty_person_or_family_member_eligible
  kind: derived
  entity: Person
  dtype: Judgment
  period: Month
  source: MPP 63-405.3, operative sentences
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us-ca/regulation/mpp/63-405.3
            excerpt: >-
              A veteran or a person on active duty in the U.S. armed forces is eligible. The spouse,
              or unmarried dependent child, or unremarried surviving spouse of a deceased veteran or
              active duty person is also eligible.
  versions:
    - effective_from: '0001-01-01'
      formula: |-
        person_is_veteran
        or person_on_active_duty_in_us_armed_forces
        or person_is_spouse_of_veteran_or_active_duty_person
        or person_is_unmarried_dependent_child_of_veteran_or_active_duty_person
        or person_is_unremarried_surviving_spouse_of_deceased_veteran_or_active_duty_person