loading…

Calculation of limit .—

Any contract entered into under section 514 of the Multifamily Assisted Housing Reform and Affordability Act of 1997 shall be excluded in computing the limit on project-based assistance under this subsection.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437f/d.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/1437f/d; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

existing_structure_contract_minimum_term_months

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: existing_structure_contract_minimum_term_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: not less than one month
  versions:
    - effective_from: '1998-10-21'
      formula: '1'

existing_structure_contract_maximum_term_months

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: existing_structure_contract_maximum_term_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: nor more than one hundred and eighty months
  versions:
    - effective_from: '1998-10-21'
      formula: '180'

short_assistance_contract_duration_threshold_months

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: short_assistance_contract_duration_threshold_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: less than 12 months duration
  versions:
    - effective_from: '1998-10-21'
      formula: '12'

annual_contributions_contract_expiration_window_years

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: annual_contributions_contract_expiration_window_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: within 1 year of its expiration date
  versions:
    - effective_from: '1998-10-21'
      formula: '1'

existing_structure_contract_term_within_limits

Derived

source: 42 USC 1437f(d)(2)(A)

- name: existing_structure_contract_term_within_limits
  kind: derived
  entity: HousingAssistanceContract
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: for a term of not less than one month nor more than one hundred and eighty months
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        contract_term_months >= existing_structure_contract_minimum_term_months
        and contract_term_months <= existing_structure_contract_maximum_term_months

short_assistance_contract_permitted_to_avoid_disruption

Derived

source: 42 USC 1437f(d)(2)(A)

- name: short_assistance_contract_permitted_to_avoid_disruption
  kind: derived
  entity: HousingAssistanceContract
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              permit public housing agencies to enter into contracts for assistance payments of less
              than 12 months duration in order to avoid disruption in assistance to eligible
              families if the annual contributions contract is within 1 year of its expiration date
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        assistance_payment_contract_duration_months <
        short_assistance_contract_duration_threshold_months

        and assistance_contract_avoids_disruption_to_eligible_families

        and annual_contributions_contract_within_expiration_window

tenancy_termination_cause_exists

Derived

source: 42 USC 1437f(d)(1)(B)(ii), (iii), (v)

- name: tenancy_termination_cause_exists
  kind: derived
  entity: Tenancy
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(1)(B)(ii), (iii), (v)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              shall not terminate the tenancy except for serious or repeated violation ... violation
              of applicable Federal, State, or local law, or for other good cause
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              any criminal activity that threatens the health, safety, or right to peaceful
              enjoyment ... shall be cause for termination
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              is fleeing to avoid prosecution ... or ... is violating a condition of probation or
              parole
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        serious_or_repeated_lease_violation
        or violation_of_applicable_law
        or other_good_cause
        or criminal_activity_threatens_health_safety_or_peaceful_enjoyment
        or drug_related_criminal_activity_on_or_near_premises
        or tenant_fleeing_to_avoid_felony_prosecution_custody_or_confinement
        or tenant_violating_probation_or_parole_condition

tenancy_termination_during_lease_allowed

Derived

source: 42 USC 1437f(d)(1)(B)(ii)-(v)

- name: tenancy_termination_during_lease_allowed
  kind: derived
  entity: Tenancy
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(1)(B)(ii)-(v)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: during the term of the lease, the owner shall not terminate the tenancy except
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437f/d#tenancy_termination_cause_exists
            output: tenancy_termination_cause_exists
            hash: sha256:local
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        tenancy_termination_cause_exists
        and owner_provided_written_notice_specifying_grounds_before_termination

project_based_assistance_common_area_consent_required

Derived

source: 42 USC 1437f(d)(6)

- name: project_based_assistance_common_area_consent_required
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              may not provide any assistance amounts ... and may not enter into a new or renewal
              contract ... unless the owner ... provides consent ... to enter common areas
  versions:
    - effective_from: '1998-10-21'
      formula: owner_provides_law_enforcement_common_area_entry_consent

loading…

us/statute/42/1437f/d/5 — Calculation of limit .— · Axiom

Calculation of limit .—

Official source

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437f/d.yaml

Displaying the canonical repository encoding.

This encoding covers the parent provision us/statute/42/1437f/d; no dedicated encoding exists for this exact provision yet.

View on GitHub

Rules

existing_structure_contract_minimum_term_months

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: existing_structure_contract_minimum_term_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: not less than one month
  versions:
    - effective_from: '1998-10-21'
      formula: '1'

existing_structure_contract_maximum_term_months

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: existing_structure_contract_maximum_term_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: nor more than one hundred and eighty months
  versions:
    - effective_from: '1998-10-21'
      formula: '180'

short_assistance_contract_duration_threshold_months

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: short_assistance_contract_duration_threshold_months
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: less than 12 months duration
  versions:
    - effective_from: '1998-10-21'
      formula: '12'

annual_contributions_contract_expiration_window_years

Parameter

source: 42 USC 1437f(d)(2)(A)

- name: annual_contributions_contract_expiration_window_years
  kind: parameter
  dtype: Count
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: parameter
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: within 1 year of its expiration date
  versions:
    - effective_from: '1998-10-21'
      formula: '1'

existing_structure_contract_term_within_limits

Derived

source: 42 USC 1437f(d)(2)(A)

- name: existing_structure_contract_term_within_limits
  kind: derived
  entity: HousingAssistanceContract
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: for a term of not less than one month nor more than one hundred and eighty months
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        contract_term_months >= existing_structure_contract_minimum_term_months
        and contract_term_months <= existing_structure_contract_maximum_term_months

short_assistance_contract_permitted_to_avoid_disruption

Derived

source: 42 USC 1437f(d)(2)(A)

- name: short_assistance_contract_permitted_to_avoid_disruption
  kind: derived
  entity: HousingAssistanceContract
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(2)(A)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              permit public housing agencies to enter into contracts for assistance payments of less
              than 12 months duration in order to avoid disruption in assistance to eligible
              families if the annual contributions contract is within 1 year of its expiration date
  versions:
    - effective_from: '1998-10-21'
      formula: >-
        assistance_payment_contract_duration_months <
        short_assistance_contract_duration_threshold_months

        and assistance_contract_avoids_disruption_to_eligible_families

        and annual_contributions_contract_within_expiration_window

tenancy_termination_cause_exists

Derived

source: 42 USC 1437f(d)(1)(B)(ii), (iii), (v)

- name: tenancy_termination_cause_exists
  kind: derived
  entity: Tenancy
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(1)(B)(ii), (iii), (v)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              shall not terminate the tenancy except for serious or repeated violation ... violation
              of applicable Federal, State, or local law, or for other good cause
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              any criminal activity that threatens the health, safety, or right to peaceful
              enjoyment ... shall be cause for termination
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              is fleeing to avoid prosecution ... or ... is violating a condition of probation or
              parole
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        serious_or_repeated_lease_violation
        or violation_of_applicable_law
        or other_good_cause
        or criminal_activity_threatens_health_safety_or_peaceful_enjoyment
        or drug_related_criminal_activity_on_or_near_premises
        or tenant_fleeing_to_avoid_felony_prosecution_custody_or_confinement
        or tenant_violating_probation_or_parole_condition

tenancy_termination_during_lease_allowed

Derived

source: 42 USC 1437f(d)(1)(B)(ii)-(v)

- name: tenancy_termination_during_lease_allowed
  kind: derived
  entity: Tenancy
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(1)(B)(ii)-(v)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: during the term of the lease, the owner shall not terminate the tenancy except
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437f/d#tenancy_termination_cause_exists
            output: tenancy_termination_cause_exists
            hash: sha256:local
  versions:
    - effective_from: '1998-10-21'
      formula: |-
        tenancy_termination_cause_exists
        and owner_provided_written_notice_specifying_grounds_before_termination

project_based_assistance_common_area_consent_required

Derived

source: 42 USC 1437f(d)(6)

- name: project_based_assistance_common_area_consent_required
  kind: derived
  entity: HousingProject
  dtype: Judgment
  period: Month
  source: 42 USC 1437f(d)(6)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: condition
          source:
            corpus_citation_path: us/statute/42/1437f/d
            excerpt: >-
              may not provide any assistance amounts ... and may not enter into a new or renewal
              contract ... unless the owner ... provides consent ... to enter common areas
  versions:
    - effective_from: '1998-10-21'
      formula: owner_provides_law_enforcement_common_area_entry_consent