loading…

Occupancy by police officers.—

(A) In general .— Subject to subparagraph (B) and notwithstanding any other provision of law, a public housing agency may, in accordance with the public housing agency plan for the agency, allow a police officer who is not otherwise eligible for residence in public housing to reside in a public housing dwelling unit. The number and location of units occupied by police officers under this paragraph and the terms and conditions of their tenancies shall be determined by the public housing agency.

(B) Increased security .— A public housing agency may take the actions authorized in subparagraph (A) only for the purpose of increasing security for the residents of a public housing project.

(C) Definition .— In this paragraph, the term “police officer” means any person determined by a public housing agency to be, during the period of residence of that person in public housing, employed on a full-time basis as a duly licensed professional police officer by a Federal, State, or local government or by any agency thereof (including a public housing agency having an accredited police force).

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

statutory_net_family_assets_imputed_return_exclusion_threshold

Parameter

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: statutory_net_family_assets_imputed_return_exclusion_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: net family assets exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

net_family_assets_exceed_statutory_imputed_return_exclusion_threshold

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: net_family_assets_exceed_statutory_imputed_return_exclusion_threshold
  kind: derived
  entity: Household
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: except to the extent that net family assets exceed $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold

imputed_return_on_assets_excluded_from_income

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: imputed_return_on_assets_excluded_from_income
  kind: derived
  entity: Household
  dtype: Money
  period: Year
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: >-
              any imputed return on assets, except to the extent that net family assets exceed
              $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold:
        max(0, imputed_return_on_assets *
        statutory_net_family_assets_imputed_return_exclusion_threshold / net_family_assets) else:
        max(0, imputed_return_on_assets)

loading…

us/statute/42/1437a/a/4 — Occupancy by police officers.— · Axiom

Occupancy by police officers.—

Official source

(B) Increased security .— A public housing agency may take the actions authorized in subparagraph (A) only for the purpose of increasing security for the residents of a public housing project.

in view

Whole section

▸rulespec code

Shown source

statutes/42/1437a.yaml

Displaying the canonical repository encoding.

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

View on GitHub

Rules

statutory_net_family_assets_imputed_return_exclusion_threshold

Parameter

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: statutory_net_family_assets_imputed_return_exclusion_threshold
  kind: parameter
  dtype: Money
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: net family assets exceed $50,000
  versions:
    - effective_from: '2024-01-01'
      formula: '50000'

net_family_assets_exceed_statutory_imputed_return_exclusion_threshold

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: net_family_assets_exceed_statutory_imputed_return_exclusion_threshold
  kind: derived
  entity: Household
  dtype: Judgment
  period: Year
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: except to the extent that net family assets exceed $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold

imputed_return_on_assets_excluded_from_income

Derived

source: 42 U.S.C. 1437a, excluded amounts, clause (i)

- name: imputed_return_on_assets_excluded_from_income
  kind: derived
  entity: Household
  dtype: Money
  period: Year
  unit: USD
  source: 42 U.S.C. 1437a, excluded amounts, clause (i)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/42/1437a/b/4/b
            excerpt: >-
              any imputed return on assets, except to the extent that net family assets exceed
              $50,000
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/42/1437a#statutory_net_family_assets_imputed_return_exclusion_threshold
            output: statutory_net_family_assets_imputed_return_exclusion_threshold
            hash: sha256:local
  versions:
    - effective_from: '2024-01-01'
      formula: >-
        if net_family_assets > statutory_net_family_assets_imputed_return_exclusion_threshold:
        max(0, imputed_return_on_assets *
        statutory_net_family_assets_imputed_return_exclusion_threshold / net_family_assets) else:
        max(0, imputed_return_on_assets)