Praise(GOD)

Assert<Good>(GOD)
Assert<Forever>(GOD.Love.Lifetime)

People.Where(Can<FullyProclaim>(GOD.Acts)) => EmptySet
People.Where(Can<AdequatelyPraise>(GOD)) => EmptySet

if (person.Act(Justly) AND person.Always<do>(Right))
    GOD.Bless(person)

me.Request(GOD.Remember(me))
me.Hope(GOD.ChosenPeople.Includes(me))
me.Hope(me.Can<Enjoy>(GOD.ChosenPeople.Benefits)

we.Have(Sinned) => true
we.Ancestors.Have(Sinned) => true
we.Have<Done>(Wrong) => true
we.Have<Acted>(Wickedly) => true

us.Ancestors.Forget(GOD.Miracles)
us.Ancestors.Forget(GOD.Kindness)

us.Ancestors.Rebel<Against>(GOD)

when (us.Ancestors.Arrive<at>(RedSea))
    GOD.Save(us.Ancestors)
    GOD.Show(GOD.Power)
    GOD.Rebuke(RedSea)
    GOD.Save(us.Ancestors)
    GOD.Drown(us.Ancestors.Enemies)
    us.Ancestors.Believe(GOD.Promises)
    us.Ancestors.Praise(GOD)

us.Ancestors.Memory.Duration => Short
us.Ancestors.Forget(GOD.Promises)
us.Ancestors.Test(GOD)
GOD.Grant(us.Ancestors.Requests)
GOD.Curse(us.Ancestors)
us.Ancestors.Envy(Moses, Aaron)
Earth.Swallow(Dathan, Abiram)
Fire.Consume(us.Ancestors.Rebels)
us.Ancestors.Worship(MetalCalf)
us.Ancestors.Swap(GOD, StatueOf(Bull))
us.Ancestors.Forget(GOD)
us.Ancestors.Forget(GOD.Actions.In(Egypt))
us.Ancestors.Forget(GOD.Actions<at>(RedSea))
GOD.Plan<Destroy>(us.Ancestors)
Moses.Petition<Spare>(us.Ancestors)
GOD.Spare(us.Ancestors)
us.Ancestors.Reject(PromisedLand)
us.Ancestors.Grumble()
us.Ancestors.Disobey(GOD)
GOD.Plan<Scatter>(us.Ancestors)
us.Ancestors.Follow(Baal)
us.Ancestors.Offer<Sacrifices>(LifelessGods)
us.Ancestors.Arouse(GOD.Anger)
us.Ancestors.Suffer(Plague)
Phineas.Plead<Case>(us.Ancestors)
GOD.Stop(Plagues)

when (At(Meribah) AND us.Ancestors.Anger(GOD) AND Moses.Lose(Temper))
    GOD.Order(us.Ancestors.Destroy(OtherPeople))

us.Ancestors.Join(OtherPeople)
us.Ancestors.Adopt(OtherPeople.Customs)
us.Ancestors.Worship(OtherPeople.Idols)
us.Ancestors.Sacrifice<to>(Demons)
us.Ancestors.Sacrifice(us.Ancestors.Children)
us.Ancestors.Desecrate(Land)
us.Ancestors.Defile(Self)

GOD.Show<ANger>(GOD.People)
GOD.Abhor(GOD.People)
GOD.Not<Stop>(GOD.People.Enemies)

us.Ancestors.Enemies.Oppress(us.Ancestors)

ManyTimes(GOD.Save(GOD.People))
ManyTimes(GOD.People.Rebel())
ManyTimes(GOD.People.Sin())

when (GOD.People.Cry())
    GOD.Respond()
    GOD.Remember(Covenant)
    GOD.Show(Love)
    GOD.Cause<ShowMercy>(GOD.People.Captors)

we.Request(GOD.Save(us))

if (GOD>Gather(us))
    us.Thank(GOD)
    us.Praise(GOD.Glory)

forever(Praise(GOD))

People.All.Say("Amen!")

Praise(GOD)