loading…

Wages taken into account

4 rules

The amount of qualified sick leave wages taken into account under subsection (a), plus any increases under subsection (e), with respect to any individual shall not exceed $200 ($511 in the case of any day any portion of which is paid sick time described in paragraph (1), (2), or (3) of section 5102(a) of the Emergency Paid Sick Leave Act, applied with the modification described in subsection (c)(2)(A)(i)) for any day (or portion thereof) for which the individual is paid qualified sick leave wages.

in view

Whole section

Encodings · 4

standard_daily_wage_limit26 USC § 3131 (b)(1) (b) · parameter

26 USC 3131(b)(1)

name: standard_daily_wage_limit
kind: parameter
dtype: Money
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: shall not exceed $200
versions:
  - effective_from: '1990-01-01'
    formula: '200'

open in graph ↗

described_paid_sick_time_daily_wage_limit26 USC § 3131 (b)(1) (b) · parameter

26 USC 3131(b)(1)

name: described_paid_sick_time_daily_wage_limit
kind: parameter
dtype: Money
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: >-
            $511 in the case of any day any portion of which is paid sick time
            described in paragraph (1), (2), or (3) of section 5102(a)
versions:
  - effective_from: '1990-01-01'
    formula: '511'

open in graph ↗

qualified_sick_leave_wages_taken_into_account_daily_limit26 USC § 3131 (b)(1) (b) · derived

26 USC 3131(b)(1)

name: qualified_sick_leave_wages_taken_into_account_daily_limit
kind: derived
entity: Person
dtype: Money
period: Day
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: >-
            shall not exceed $200 ($511 in the case of any day any portion of
            which is paid sick time described in paragraph (1), (2), or (3) of
            section 5102(a))
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/3131/b/1#standard_daily_wage_limit
          output: standard_daily_wage_limit
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/3131/b/1#described_paid_sick_time_daily_wage_limit
          output: described_paid_sick_time_daily_wage_limit
          hash: sha256:local
versions:
  - effective_from: '1990-01-01'
    formula: >-
      if
      any_portion_of_day_is_paid_sick_time_described_in_section_5102_a_1_2_or_3_with_subsection_c_2_A_i_modification:
      described_paid_sick_time_daily_wage_limit else: standard_daily_wage_limit

open in graph ↗

qualified_sick_leave_wages_taken_into_account_for_day26 USC § 3131 (b)(1) (b) · derived

26 USC 3131(b)(1)

name: qualified_sick_leave_wages_taken_into_account_for_day
kind: derived
entity: Person
dtype: Money
period: Day
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: >-
            The amount of qualified sick leave wages taken into account under
            subsection (a), plus any increases under subsection (e), with
            respect to any individual shall not exceed
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3131/b/1#qualified_sick_leave_wages_taken_into_account_daily_limit
          output: qualified_sick_leave_wages_taken_into_account_daily_limit
          hash: sha256:local
versions:
  - effective_from: '1990-01-01'
    formula: |-
      min(
        max(0, qualified_sick_leave_wages_paid_to_individual_for_day + increases_under_subsection_e_for_individual_day),
        qualified_sick_leave_wages_taken_into_account_daily_limit
      )

open in graph ↗

▸rulespec code

Shown source

statutes/26/3131/b/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

standard_daily_wage_limit

Parameter(b) in text ↖

source: 26 USC 3131(b)(1)

- name: standard_daily_wage_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: shall not exceed $200
  versions:
    - effective_from: '1990-01-01'
      formula: '200'

described_paid_sick_time_daily_wage_limit

Parameter(b) in text ↖

source: 26 USC 3131(b)(1)

- name: described_paid_sick_time_daily_wage_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: >-
              $511 in the case of any day any portion of which is paid sick time described in
              paragraph (1), (2), or (3) of section 5102(a)
  versions:
    - effective_from: '1990-01-01'
      formula: '511'

qualified_sick_leave_wages_taken_into_account_daily_limit

Derived(b) in text ↖

source: 26 USC 3131(b)(1)

- name: qualified_sick_leave_wages_taken_into_account_daily_limit
  kind: derived
  entity: Person
  dtype: Money
  period: Day
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: >-
              shall not exceed $200 ($511 in the case of any day any portion of which is paid sick
              time described in paragraph (1), (2), or (3) of section 5102(a))
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3131/b/1#standard_daily_wage_limit
            output: standard_daily_wage_limit
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3131/b/1#described_paid_sick_time_daily_wage_limit
            output: described_paid_sick_time_daily_wage_limit
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        if
        any_portion_of_day_is_paid_sick_time_described_in_section_5102_a_1_2_or_3_with_subsection_c_2_A_i_modification:
        described_paid_sick_time_daily_wage_limit else: standard_daily_wage_limit

qualified_sick_leave_wages_taken_into_account_for_day

Derived(b) in text ↖

source: 26 USC 3131(b)(1)

- name: qualified_sick_leave_wages_taken_into_account_for_day
  kind: derived
  entity: Person
  dtype: Money
  period: Day
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: >-
              The amount of qualified sick leave wages taken into account under subsection (a), plus
              any increases under subsection (e), with respect to any individual shall not exceed
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3131/b/1#qualified_sick_leave_wages_taken_into_account_daily_limit
            output: qualified_sick_leave_wages_taken_into_account_daily_limit
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        min(
          max(0, qualified_sick_leave_wages_paid_to_individual_for_day + increases_under_subsection_e_for_individual_day),
          qualified_sick_leave_wages_taken_into_account_daily_limit
        )

loading…

us/statute/26/3131/b/1 — Wages taken into account · Axiom

Wages taken into account

4 rules

Official source

graph ↗build calculator ↗

in view

Whole section

Encodings · 4

standard_daily_wage_limit26 USC § 3131 (b)(1) (b) · parameter

26 USC 3131(b)(1)

name: standard_daily_wage_limit
kind: parameter
dtype: Money
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: shall not exceed $200
versions:
  - effective_from: '1990-01-01'
    formula: '200'

open in graph ↗

described_paid_sick_time_daily_wage_limit26 USC § 3131 (b)(1) (b) · parameter

26 USC 3131(b)(1)

name: described_paid_sick_time_daily_wage_limit
kind: parameter
dtype: Money
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: amount
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: >-
            $511 in the case of any day any portion of which is paid sick time
            described in paragraph (1), (2), or (3) of section 5102(a)
versions:
  - effective_from: '1990-01-01'
    formula: '511'

open in graph ↗

qualified_sick_leave_wages_taken_into_account_daily_limit26 USC § 3131 (b)(1) (b) · derived

26 USC 3131(b)(1)

name: qualified_sick_leave_wages_taken_into_account_daily_limit
kind: derived
entity: Person
dtype: Money
period: Day
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: >-
            shall not exceed $200 ($511 in the case of any day any portion of
            which is paid sick time described in paragraph (1), (2), or (3) of
            section 5102(a))
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/3131/b/1#standard_daily_wage_limit
          output: standard_daily_wage_limit
          hash: sha256:local
      - path: versions[0].formula
        kind: import
        import:
          target: us:statutes/26/3131/b/1#described_paid_sick_time_daily_wage_limit
          output: described_paid_sick_time_daily_wage_limit
          hash: sha256:local
versions:
  - effective_from: '1990-01-01'
    formula: >-
      if
      any_portion_of_day_is_paid_sick_time_described_in_section_5102_a_1_2_or_3_with_subsection_c_2_A_i_modification:
      described_paid_sick_time_daily_wage_limit else: standard_daily_wage_limit

open in graph ↗

qualified_sick_leave_wages_taken_into_account_for_day26 USC § 3131 (b)(1) (b) · derived

26 USC 3131(b)(1)

name: qualified_sick_leave_wages_taken_into_account_for_day
kind: derived
entity: Person
dtype: Money
period: Day
unit: USD
source: 26 USC 3131(b)(1)
metadata:
  proof:
    atoms:
      - path: versions[0].formula
        kind: formula
        source:
          corpus_citation_path: us/statute/26/3131
          excerpt: >-
            The amount of qualified sick leave wages taken into account under
            subsection (a), plus any increases under subsection (e), with
            respect to any individual shall not exceed
      - path: versions[0].formula
        kind: import
        import:
          target: >-
            us:statutes/26/3131/b/1#qualified_sick_leave_wages_taken_into_account_daily_limit
          output: qualified_sick_leave_wages_taken_into_account_daily_limit
          hash: sha256:local
versions:
  - effective_from: '1990-01-01'
    formula: |-
      min(
        max(0, qualified_sick_leave_wages_paid_to_individual_for_day + increases_under_subsection_e_for_individual_day),
        qualified_sick_leave_wages_taken_into_account_daily_limit
      )

open in graph ↗

▸rulespec code

Shown source

statutes/26/3131/b/1.yaml

Displaying the canonical repository encoding.

View on GitHub

Rules

standard_daily_wage_limit

Parameter(b) in text ↖

source: 26 USC 3131(b)(1)

- name: standard_daily_wage_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: shall not exceed $200
  versions:
    - effective_from: '1990-01-01'
      formula: '200'

described_paid_sick_time_daily_wage_limit

Parameter(b) in text ↖

source: 26 USC 3131(b)(1)

- name: described_paid_sick_time_daily_wage_limit
  kind: parameter
  dtype: Money
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: amount
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: >-
              $511 in the case of any day any portion of which is paid sick time described in
              paragraph (1), (2), or (3) of section 5102(a)
  versions:
    - effective_from: '1990-01-01'
      formula: '511'

qualified_sick_leave_wages_taken_into_account_daily_limit

Derived(b) in text ↖

source: 26 USC 3131(b)(1)

- name: qualified_sick_leave_wages_taken_into_account_daily_limit
  kind: derived
  entity: Person
  dtype: Money
  period: Day
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: >-
              shall not exceed $200 ($511 in the case of any day any portion of which is paid sick
              time described in paragraph (1), (2), or (3) of section 5102(a))
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3131/b/1#standard_daily_wage_limit
            output: standard_daily_wage_limit
            hash: sha256:local
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3131/b/1#described_paid_sick_time_daily_wage_limit
            output: described_paid_sick_time_daily_wage_limit
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: >-
        if
        any_portion_of_day_is_paid_sick_time_described_in_section_5102_a_1_2_or_3_with_subsection_c_2_A_i_modification:
        described_paid_sick_time_daily_wage_limit else: standard_daily_wage_limit

qualified_sick_leave_wages_taken_into_account_for_day

Derived(b) in text ↖

source: 26 USC 3131(b)(1)

- name: qualified_sick_leave_wages_taken_into_account_for_day
  kind: derived
  entity: Person
  dtype: Money
  period: Day
  unit: USD
  source: 26 USC 3131(b)(1)
  metadata:
    proof:
      atoms:
        - path: versions[0].formula
          kind: formula
          source:
            corpus_citation_path: us/statute/26/3131
            excerpt: >-
              The amount of qualified sick leave wages taken into account under subsection (a), plus
              any increases under subsection (e), with respect to any individual shall not exceed
        - path: versions[0].formula
          kind: import
          import:
            target: us:statutes/26/3131/b/1#qualified_sick_leave_wages_taken_into_account_daily_limit
            output: qualified_sick_leave_wages_taken_into_account_daily_limit
            hash: sha256:local
  versions:
    - effective_from: '1990-01-01'
      formula: |-
        min(
          max(0, qualified_sick_leave_wages_paid_to_individual_for_day + increases_under_subsection_e_for_individual_day),
          qualified_sick_leave_wages_taken_into_account_daily_limit
        )