; data/ef/lectionary.sexp -- EF (1962) temporal lectionary (Epistle +
; Gospel citations, never scripture text), bootstrapped from lectio.
; Generator: tools/bootstrap_lectionary.ml -- do not hand-edit; re-run the
; generator against a newer lectio and commit the diff instead. Every
; emitted key is asserted, at generation time, to be a slug
; Rite_ef.Temporal_ef actually computes (see this generator's own
; [assert_reachable]) -- a dead key cannot ship silently again (a
; wrongly-VALUED live key still can; [assert_reachable]'s own comment
; says why this check cannot be widened to catch that).
;
; Source: ../lectio/internal/caldata/tridentine-lectionary.ini
; SHA-256: ccd6640e8c2ae4d260e62c55cfe2b3ea14ab996e8e5a82cc1b9a37bc65ac8591
; 153 entries (119 ini sections translated/widened into colitur's own
; Temporal_ef vocabulary via [colitur_keys]; 1 hand-authored from a
; second source file [vigil_entries]; 6 hand-authored directly from
; the Missal [holy_week_entries]; 1 hand-authored directly from the
; Missal, one entry [passion_tuesday_entry]; 2 hand-authored directly
; from the Missal, two entries [ember_saturday_corrections]; 3
; hand-authored directly from the Missal [nativity_octave_entries];
; 2 hand-authored directly from the Missal, two entries
; [holy_name_entries]; 15 hand-authored directly from the Missal
; [epiphanytide_opening_entries]; 2 hand-authored directly from the
; Missal, two entries [movable_feast_entries] -- see this generator's
; own comments on all nine). Regenerate with:
;   eval $(opam env) && dune exec tools/bootstrap_lectionary.exe -- ../lectio/internal/caldata/tridentine-lectionary.ini data/ef/lectionary.sexp
((ef-advent-2-monday
  (((part First) (reference "Rom 15:4-13"))
   ((part Gospel) (reference "Matt 11:2-10"))))
 (ef-advent-2-saturday
  (((part First) (reference "Rom 15:4-13"))
   ((part Gospel) (reference "Matt 11:2-10"))))
 (ef-advent-2-thursday
  (((part First) (reference "Rom 15:4-13"))
   ((part Gospel) (reference "Matt 11:2-10"))))
 (ef-advent-2-tuesday
  (((part First) (reference "Rom 15:4-13"))
   ((part Gospel) (reference "Matt 11:2-10"))))
 (ef-advent-ember-fri
  (((part First) (reference "Isa 11:1-5"))
   ((part Gospel) (reference "Luke 1:39-47"))))
 (ef-advent-ember-sat
  (((part First) (reference "2 Thess 2:1-8"))
   ((part Gospel) (reference "Luke 3:1-6"))))
 (ef-advent-ember-wed
  (((part First) (reference "Isa 7:10-15"))
   ((part Gospel) (reference "Luke 1:26-38"))))
 (ef-advent-sunday-1
  (((part First) (reference "Rom 13:11-14"))
   ((part Gospel) (reference "Luke 21:25-33"))))
 (ef-advent-sunday-2
  (((part First) (reference "Rom 15:4-13"))
   ((part Gospel) (reference "Matt 11:2-10"))))
 (ef-advent-sunday-3
  (((part First) (reference "Phil 4:4-7"))
   ((part Gospel) (reference "John 1:19-28"))))
 (ef-advent-sunday-4
  (((part First) (reference "1 Cor. 4:1-5"))
   ((part Gospel) (reference "Luke 3:1-6"))))
 (ef-ascension
  (((part First) (reference "Acts 1:1-11"))
   ((part Gospel) (reference "Mark 16:14-20"))))
 (ef-ascension-vigil
  (((part First) (reference "Eph. 4:7-13."))
   ((part Gospel) (reference "John 17:1-11."))))
 (ef-ash-wednesday
  (((part First) (reference "Joel 2:12-19"))
   ((part Gospel) (reference "Matt 6:16-21"))))
 (ef-christ-the-king
  (((part First) (reference "Col 1:12-20."))
   ((part Gospel) (reference "John 18:33-37"))))
 (ef-christmas-1-friday
  (((part First) (reference "Titus 2:11-15"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-christmas-1-monday
  (((part First) (reference "Titus 2:11-15"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-christmas-1-thursday
  (((part First) (reference "Titus 2:11-15"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-christmas-1-tuesday
  (((part First) (reference "Titus 2:11-15"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-christmas-1-wednesday
  (((part First) (reference "Titus 2:11-15"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-christmas-2-friday
  (((part First) (reference "Isa 60:1-6"))
   ((part Gospel) (reference "Matt 2:1-12"))))
 (ef-christmas-2-monday
  (((part First) (reference "Isa 60:1-6"))
   ((part Gospel) (reference "Matt 2:1-12"))))
 (ef-christmas-2-thursday
  (((part First) (reference "Isa 60:1-6"))
   ((part Gospel) (reference "Matt 2:1-12"))))
 (ef-christmas-2-tuesday
  (((part First) (reference "Isa 60:1-6"))
   ((part Gospel) (reference "Matt 2:1-12"))))
 (ef-christmas-2-wednesday
  (((part First) (reference "Isa 60:1-6"))
   ((part Gospel) (reference "Matt 2:1-12"))))
 (ef-christmas-sunday-0
  (((part First) (reference "Gal 4:1-7"))
   ((part Gospel) (reference "Luke 2:33-40"))))
 (ef-circumcision
  (((part First) (reference "Titus 2:11-15"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-corpus-christi
  (((part First) (reference "1 Cor 11:23-29"))
   ((part Gospel) (reference "John 6:56-59"))))
 (ef-easter-1-friday
  (((part First) (reference "1 Pet 3:18-22"))
   ((part Gospel) (reference "Matt 28:16-20"))))
 (ef-easter-1-monday
  (((part First) (reference "Acts 10:37-43."))
   ((part Gospel) (reference "Luke 24:13-35"))))
 (ef-easter-1-saturday
  (((part First) (reference "1 Pet 2:1-10"))
   ((part Gospel) (reference "John 20:1-9"))))
 (ef-easter-1-thursday
  (((part First) (reference "Acts 8:26-40"))
   ((part Gospel) (reference "John 20:11-18"))))
 (ef-easter-1-tuesday
  (((part First) (reference "Acts 13:16; 13:26-33"))
   ((part Gospel) (reference "Luke 24:36-47"))))
 (ef-easter-1-wednesday
  (((part First) (reference "Acts 3:13-15; 3:17-19"))
   ((part Gospel) (reference "John 21:1-14"))))
 (ef-easter-2-saturday
  (((part First) (reference "Ecclus 24:14-16"))
   ((part Gospel) (reference "John 19:25-27"))))
 (ef-easter-3-saturday
  (((part First) (reference "Ecclus 24:14-16"))
   ((part Gospel) (reference "John 19:25-27"))))
 (ef-easter-5-saturday
  (((part First) (reference "Ecclus 24:14-16"))
   ((part Gospel) (reference "John 19:25-27"))))
 (ef-easter-6-saturday
  (((part First) (reference "Ecclus 24:14-16"))
   ((part Gospel) (reference "John 19:25-27"))))
 (ef-easter-8-monday
  (((part First) (reference "Acts 10:34, 42-48"))
   ((part Gospel) (reference "John 3:16-21"))))
 (ef-easter-8-thursday
  (((part First) (reference "Acts 8:5-8"))
   ((part Gospel) (reference "Luke 9:1-6"))))
 (ef-easter-8-tuesday
  (((part First) (reference "Acts 8:14-17."))
   ((part Gospel) (reference "John 10:1-10."))))
 (ef-easter-sunday
  (((part First) (reference "1 Cor 5:7-8"))
   ((part Gospel) (reference "Mark 16:1-7"))))
 (ef-easter-sunday-3
  (((part First) (reference "1 Pet 2:21-25"))
   ((part Gospel) (reference "John 10:11-16"))))
 (ef-easter-sunday-4
  (((part First) (reference "1 Pet 2:11-19"))
   ((part Gospel) (reference "John 16:16-22"))))
 (ef-easter-sunday-5
  (((part First) (reference "Jas 1:17-21"))
   ((part Gospel) (reference "John 16:5-14"))))
 (ef-easter-sunday-6
  (((part First) (reference "Jas 1:22-27"))
   ((part Gospel) (reference "John 16:23-30"))))
 (ef-easter-sunday-7
  (((part First) (reference "1 Pet 4:7-11."))
   ((part Gospel) (reference "John 15:26-27; 16:1-4."))))
 (ef-epiphany
  (((part First) (reference "Isa 60:1-6"))
   ((part Gospel) (reference "Matt 2:1-12"))))
 (ef-holy-name
  (((part First) (reference "Acts 4:8-12"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-holy-name-sunday
  (((part First) (reference "Acts 4:8-12"))
   ((part Gospel) (reference "Luke 2:21"))))
 (ef-lent-1-monday
  (((part First) (reference "Ezech 34:11-16"))
   ((part Gospel) (reference "Matt 25:31-46"))))
 (ef-lent-1-thursday
  (((part First) (reference "Ezech 18:1-9"))
   ((part Gospel) (reference "Matt 15:21-28"))))
 (ef-lent-1-tuesday
  (((part First) (reference "Isa 55:6-11"))
   ((part Gospel) (reference "Matt 21:10-17"))))
 (ef-lent-2-friday
  (((part First) (reference "Gen 37:6-22"))
   ((part Gospel) (reference "Matt 21:33-46"))))
 (ef-lent-2-monday
  (((part First) (reference "Dan 9:15-19"))
   ((part Gospel) (reference "John 8:21-29"))))
 (ef-lent-2-saturday
  (((part First) (reference "Gen 27:6-40"))
   ((part Gospel) (reference "Luke 15:11-32"))))
 (ef-lent-2-thursday
  (((part First) (reference "Jer 17:5-10"))
   ((part Gospel) (reference "Luke 16:19-31"))))
 (ef-lent-2-tuesday
  (((part First) (reference "3 Kings 17:8-16"))
   ((part Gospel) (reference "Matt 23:1-12"))))
 (ef-lent-2-wednesday
  (((part First) (reference "Esther 13:8-11; 15-17."))
   ((part Gospel) (reference "Matt 20:17-28"))))
 (ef-lent-3-friday
  (((part First) (reference "Num 20:1, 3; 6-13."))
   ((part Gospel) (reference "John 4:5-42"))))
 (ef-lent-3-monday
  (((part First) (reference "4 Kings 5:1-15"))
   ((part Gospel) (reference "Luke 4:23-30"))))
 (ef-lent-3-saturday
  (((part First) (reference "Dan 13:1-9, 15-17, 19-30, 33-62."))
   ((part Gospel) (reference "John 8:1-11"))))
 (ef-lent-3-thursday
  (((part First) (reference "Jer 7:1-7"))
   ((part Gospel) (reference "Luke 4:38-44."))))
 (ef-lent-3-tuesday
  (((part First) (reference "4 Kings 4:1-7"))
   ((part Gospel) (reference "Matt 18:15-22"))))
 (ef-lent-3-wednesday
  (((part First) (reference "Ex 20:12-24"))
   ((part Gospel) (reference "Matt 15:1-20"))))
 (ef-lent-4-friday
  (((part First) (reference "3 Kings 17:17-24"))
   ((part Gospel) (reference "John 11:1-45"))))
 (ef-lent-4-monday
  (((part First) (reference "3 Kings 3:16-28"))
   ((part Gospel) (reference "John 2:13-25"))))
 (ef-lent-4-saturday
  (((part First) (reference "Isa 49:8-15"))
   ((part Gospel) (reference "John 8:12-20"))))
 (ef-lent-4-thursday
  (((part First) (reference "4 Kings 4:25-38"))
   ((part Gospel) (reference "Luke 7:11-16"))))
 (ef-lent-4-tuesday
  (((part First) (reference "Ex 32:7-14"))
   ((part Gospel) (reference "John 7:14-31"))))
 (ef-lent-4-wednesday
  (((part First) (reference "Isa. 1:16-19"))
   ((part Gospel) (reference "John 9:1-38"))))
 (ef-lent-after-ashes-friday
  (((part First) (reference "Isa 58:1-9"))
   ((part Gospel) (reference "Matt 5:43-48; 6:1-4"))))
 (ef-lent-after-ashes-saturday
  (((part First) (reference "Isa 58:9-14"))
   ((part Gospel) (reference "Mark 6:47-56"))))
 (ef-lent-after-ashes-thursday
  (((part First) (reference "Isa 38:1-6"))
   ((part Gospel) (reference "Matt 8:5-13"))))
 (ef-lent-ember-fri
  (((part First) (reference "Ezech 18:20-28"))
   ((part Gospel) (reference "John 5:1-15"))))
 (ef-lent-ember-sat
  (((part First) (reference "1 Thess. 5:14-23"))
   ((part Gospel) (reference "Matt 17:1-9"))))
 (ef-lent-ember-wed
  (((part First) (reference "3 Kgs. 19:3-8"))
   ((part Gospel) (reference "Matt 12:38-50"))))
 (ef-lent-sunday-1
  (((part First) (reference "2 Cor. 6:1-10"))
   ((part Gospel) (reference "Matt 4:1-11"))))
 (ef-lent-sunday-2
  (((part First) (reference "1 Thess. 4:1-7"))
   ((part Gospel) (reference "Matt 17:1-9"))))
 (ef-lent-sunday-3
  (((part First) (reference "Eph 5:1-9"))
   ((part Gospel) (reference "Luke 11:14-28"))))
 (ef-lent-sunday-4
  (((part First) (reference "Gal 4:22-31"))
   ((part Gospel) (reference "John 6:1-15"))))
 (ef-low-sunday
  (((part First) (reference "1 John 5:4-10"))
   ((part Gospel) (reference "John 20:19-31"))))
 (ef-nativity
  (((part First) (reference "Heb 1:1-12"))
   ((part Gospel) (reference "John 1:1-14"))))
 (ef-nativity-octave-day-5
  (((part First) (reference "Titus 3:4-7"))
   ((part Gospel) (reference "Luke 2:15-20"))))
 (ef-nativity-octave-day-6
  (((part First) (reference "Titus 3:4-7"))
   ((part Gospel) (reference "Luke 2:15-20"))))
 (ef-nativity-octave-day-7
  (((part First) (reference "Titus 3:4-7"))
   ((part Gospel) (reference "Luke 2:15-20"))))
 (ef-nativity-vigil
  (((part First) (reference "Rom 1:1-6"))
   ((part Gospel) (reference "Matt 1:18-21"))))
 (ef-palm-sunday
  (((part First) (reference "Phil 2:5-11"))
   ((part Gospel) (reference "Matt. 26:36-75; 27:1-60."))))
 (ef-passion-sunday
  (((part First) (reference "Heb 9:11-15."))
   ((part Gospel) (reference "John 8:46-59."))))
 (ef-passiontide-1-friday
  (((part First) (reference "Jer 17:13-18"))
   ((part Gospel) (reference "John 11:47-54"))))
 (ef-passiontide-1-monday
  (((part First) (reference "Jonas 3:1-10"))
   ((part Gospel) (reference "John 7:32-39"))))
 (ef-passiontide-1-saturday
  (((part First) (reference "Jer 18:18-23"))
   ((part Gospel) (reference "John 12:10-36"))))
 (ef-passiontide-1-thursday
  (((part First) (reference "Dan 3:25, 34-45."))
   ((part Gospel) (reference "Luke 7:36-50"))))
 (ef-passiontide-1-tuesday
  (((part First) (reference "Dan 14:27, 28-42"))
   ((part Gospel) (reference "John 7:1-13"))))
 (ef-passiontide-1-wednesday
  (((part First) (reference "Lev 19:1-2, 11-19, 25"))
   ((part Gospel) (reference "John 10:22-38"))))
 (ef-passiontide-2-friday
  (((part First) (reference "Ex 12:1-11"))
   ((part Gospel) (reference "John 18:1-40; 19:1-42"))))
 (ef-passiontide-2-monday
  (((part First) (reference "Isa 50:5-10"))
   ((part Gospel) (reference "John 12:1-9"))))
 (ef-passiontide-2-saturday
  (((part First) (reference "Col 3:1-4"))
   ((part Gospel) (reference "Matt 28:1-7"))))
 (ef-passiontide-2-thursday
  (((part First) (reference "1 Cor 11:20-32"))
   ((part Gospel) (reference "John 13:1-15"))))
 (ef-passiontide-2-tuesday
  (((part First) (reference "Jer 11:18-20"))
   ((part Gospel) (reference "Mark 14:32-72; 15, 1-46"))))
 (ef-passiontide-2-wednesday
  (((part First) (reference "Isa 53:1-12"))
   ((part Gospel) (reference "Luke 22:39-71; 23:1-53"))))
 (ef-pentecost
  (((part First) (reference "Acts 2:1-11."))
   ((part Gospel) (reference "John 14:23-31."))))
 (ef-pentecost-ember-fri
  (((part First) (reference "Joel 2:23-24; 26-27"))
   ((part Gospel) (reference "Luke 5:17-26"))))
 (ef-pentecost-ember-sat
  (((part First) (reference "Rom 5:1-5."))
   ((part Gospel) (reference "Luke 4:38-44."))))
 (ef-pentecost-ember-wed
  (((part First) (reference "Acts 5:12-16"))
   ((part Gospel) (reference "John 6:44-52."))))
 (ef-pentecost-vigil
  (((part First) (reference "Acts 19:1-8."))
   ((part Gospel) (reference "John 14:15-21."))))
 (ef-sacred-heart
  (((part First) (reference "Eph 3:8-12, 14-19"))
   ((part Gospel) (reference "John 19:31-37"))))
 (ef-september-ember-fri
  (((part First) (reference "Osee 14:2-10"))
   ((part Gospel) (reference "Luke 7:36-50"))))
 (ef-september-ember-sat
  (((part First) (reference "Heb 9:2-12"))
   ((part Gospel) (reference "Luke 13:6-17"))))
 (ef-september-ember-wed
  (((part First) (reference "2 Esd. 8:1-10"))
   ((part Gospel) (reference "Mark 9:16-28"))))
 (ef-septuagesima-sunday-1
  (((part First) (reference "1 Cor. 9:24-27; 10:1-5"))
   ((part Gospel) (reference "Matt 20:1-16"))))
 (ef-septuagesima-sunday-2
  (((part First) (reference "2 Cor. 11:19-33; 12:1-9"))
   ((part Gospel) (reference "Luke 8:4-15"))))
 (ef-septuagesima-sunday-3
  (((part First) (reference "1 Cor. 13:1-13"))
   ((part Gospel) (reference "Luke 18:31-43"))))
 (ef-time-after-epiphany-1-friday
  (((part First) (reference "Rom 12:1-5"))
   ((part Gospel) (reference "Luke 2:42-52"))))
 (ef-time-after-epiphany-1-monday
  (((part First) (reference "Rom 12:1-5"))
   ((part Gospel) (reference "Luke 2:42-52"))))
 (ef-time-after-epiphany-1-thursday
  (((part First) (reference "Rom 12:1-5"))
   ((part Gospel) (reference "Luke 2:42-52"))))
 (ef-time-after-epiphany-1-tuesday
  (((part First) (reference "Rom 12:1-5"))
   ((part Gospel) (reference "Luke 2:42-52"))))
 (ef-time-after-epiphany-1-wednesday
  (((part First) (reference "Rom 12:1-5"))
   ((part Gospel) (reference "Luke 2:42-52"))))
 (ef-time-after-epiphany-sunday-1
  (((part First) (reference "Col 3:12-17"))
   ((part Gospel) (reference "Luke 2:42-52"))))
 (ef-time-after-epiphany-sunday-2
  (((part First) (reference "Rom 12:6-16"))
   ((part Gospel) (reference "John 2:1-11"))))
 (ef-time-after-epiphany-sunday-3
  (((part First) (reference "Rom 12:16-21"))
   ((part Gospel) (reference "Matt 8:1-13"))))
 (ef-time-after-epiphany-sunday-4
  (((part First) (reference "Rom 13:8-10"))
   ((part Gospel) (reference "Matt 8:23-27"))))
 (ef-time-after-epiphany-sunday-5
  (((part First) (reference "Col 3:12-17"))
   ((part Gospel) (reference "Matt 13:24-30"))))
 (ef-time-after-epiphany-sunday-6
  (((part First) (reference "1 Thess 1:2-10"))
   ((part Gospel) (reference "Matt 13:31-35"))))
 (ef-time-after-pentecost-1-friday
  (((part First) (reference "1 John 4:8-21"))
   ((part Gospel) (reference "Luke 6:36-42"))))
 (ef-time-after-pentecost-1-monday
  (((part First) (reference "1 John 4:8-21"))
   ((part Gospel) (reference "Luke 6:36-42"))))
 (ef-time-after-pentecost-1-saturday
  (((part First) (reference "1 John 4:8-21"))
   ((part Gospel) (reference "Luke 6:36-42"))))
 (ef-time-after-pentecost-1-tuesday
  (((part First) (reference "1 John 4:8-21"))
   ((part Gospel) (reference "Luke 6:36-42"))))
 (ef-time-after-pentecost-1-wednesday
  (((part First) (reference "1 John 4:8-21"))
   ((part Gospel) (reference "Luke 6:36-42"))))
 (ef-time-after-pentecost-sunday-10
  (((part First) (reference "1 Cor. 12:2-11"))
   ((part Gospel) (reference "Luke 18:9-14"))))
 (ef-time-after-pentecost-sunday-11
  (((part First) (reference "1 Cor. 15:1-10"))
   ((part Gospel) (reference "Mark 7:31-37"))))
 (ef-time-after-pentecost-sunday-12
  (((part First) (reference "2 Cor. 3:4-9"))
   ((part Gospel) (reference "Luke 10:23-37"))))
 (ef-time-after-pentecost-sunday-13
  (((part First) (reference "Gal 3:16-22"))
   ((part Gospel) (reference "Luke 17:11-19"))))
 (ef-time-after-pentecost-sunday-14
  (((part First) (reference "Gal 5:16-24"))
   ((part Gospel) (reference "Matt 6:24-33"))))
 (ef-time-after-pentecost-sunday-15
  (((part First) (reference "Gal 5:25-26; 6:1-10"))
   ((part Gospel) (reference "Luke 7:11-16"))))
 (ef-time-after-pentecost-sunday-16
  (((part First) (reference "Eph 3:13-21"))
   ((part Gospel) (reference "Luke 14:1-11"))))
 (ef-time-after-pentecost-sunday-17
  (((part First) (reference "Eph 4:1-6"))
   ((part Gospel) (reference "Matt 22:34-46"))))
 (ef-time-after-pentecost-sunday-18
  (((part First) (reference "1 Cor. 1:4-8"))
   ((part Gospel) (reference "Matt 9:1-8"))))
 (ef-time-after-pentecost-sunday-19
  (((part First) (reference "Eph 4:23-28"))
   ((part Gospel) (reference "Matt 22:1-14"))))
 (ef-time-after-pentecost-sunday-2
  (((part First) (reference "1 John 3:13-18."))
   ((part Gospel) (reference "Luke 14:16-24."))))
 (ef-time-after-pentecost-sunday-20
  (((part First) (reference "Eph 5:15-21"))
   ((part Gospel) (reference "John 4:46-53"))))
 (ef-time-after-pentecost-sunday-21
  (((part First) (reference "Eph 6:10-17"))
   ((part Gospel) (reference "Matt 18:23-35"))))
 (ef-time-after-pentecost-sunday-22
  (((part First) (reference "Phil 1:6-11"))
   ((part Gospel) (reference "Matt 22:15-21"))))
 (ef-time-after-pentecost-sunday-23
  (((part First) (reference "Phil 3:17-21; 4:1-3"))
   ((part Gospel) (reference "Matt 9:18-26"))))
 (ef-time-after-pentecost-sunday-24
  (((part First) (reference "Col 1:9-14"))
   ((part Gospel) (reference "Matt 24:15-35"))))
 (ef-time-after-pentecost-sunday-3
  (((part First) (reference "1 Pet. 5:6-11"))
   ((part Gospel) (reference "Luke 15:1-10"))))
 (ef-time-after-pentecost-sunday-4
  (((part First) (reference "Rom 8:18-23"))
   ((part Gospel) (reference "Luke 5:1-11"))))
 (ef-time-after-pentecost-sunday-5
  (((part First) (reference "1 Pet 3:8-15."))
   ((part Gospel) (reference "Matt 5:20-24."))))
 (ef-time-after-pentecost-sunday-6
  (((part First) (reference "Rom 6:3-11."))
   ((part Gospel) (reference "Mark 8:1-9"))))
 (ef-time-after-pentecost-sunday-7
  (((part First) (reference "Rom 6:19-23"))
   ((part Gospel) (reference "Matt 7:15-21"))))
 (ef-time-after-pentecost-sunday-8
  (((part First) (reference "Rom 8:12-17"))
   ((part Gospel) (reference "Luke 16:1-9"))))
 (ef-time-after-pentecost-sunday-9
  (((part First) (reference "1 Cor. 10:6-13"))
   ((part Gospel) (reference "Luke 19:41-47"))))
 (ef-trinity
  (((part First) (reference "Rom 11:33-36."))
   ((part Gospel) (reference "Matt 28:18-20")))))