Release date: October 27th, 2026.
The following edits were performed between SARA 3 and 3.1:
- predicate s2_b_1_B
  - statutes/prolog/section2: line 313 and 314, call s151_c_applies instead of s151_c. Accordingly, the argument Deduction is removed from the arguments of predicate s2_b_1_B. That argument was not used by any call to s2_b_1_B.
  - statutes/prolog/section2: line 200, edit call to predicate s2_b_1_B.
  - cases/s2_b_1_B_neg.pl: edit call to predicate s2_b_1_B.
  - cases/s2_b_1_B_pos.pl: edit call to predicate s2_b_1_B.
- cases/tax_case_7.pl: lines 28 and 29, the roles of Bob and Charlie were swapped, to correct a mistake.
