<!-- Author: Solomon -->
<!-- Song of Ascents/Pilgrim Song -->
if (builder.Not<WorkingWith>(GOD))
    builder.Effort = InVain

if (GOD.Not<WatchOver>(City))
    City.Guards.Effort = InVain

if (person.Rise(Early) AND person.StayUp(Late) AND person.Toil<For>(Food))
    person.Work = InVain

if (GOD.Love(person))
    GOD.Grant<Sleep>(person)

Assert<GiftFromGod>(Children)
Assert<RewardFromGod>(Children)
Assert<Comparable>(Warrior.Arrows, Children)

if (person.Has<Many>(Children))
    person.Is(Blessed) => true

if (person.Has<Many>(Children))
    when (person.Face(Enemies))
        person.Not(Ashamed)