// author: Asaph

GOD.Judges(Gods.All)

me.Query<Duration>(You.Defend(People.Where(Unjust)))
me.Query<Duration>(You.Favor(People.Where(Wicked)))

me.Assume(You.Purposes.Include<Defend>(People.Where(Weak)))
me.Assume(You.Purposes.Include<Uphold>(People.Where(Poor)))
me.Assume(You.Purposes.Include<Uphold>(People.Where(Oppressed)))
me.Assume(You.Rescue(People.Where(Weak)))
me.Assume(You.Rescue(People.Where(Needy)))

me.Assert<nil>(Gods.Knowledge)
me.Assert<nil>(Gods.Understanding)

Gods.All.Lifespan.Is(Fixed) => true