Thus the intuitive reading of a Hoare triple is: Whenever P holds of the state before the execution of C, then Q will hold afterwards, or C does not terminate.

Whenever a man holds the title, he is styled the Premier Baron of England.

Whenever Prince Adam uses the Power Sword, and when he holds it aloft and says the magic words " By the Power of Grayskull, I HAVE THE POWER " he is transformed into He-Man, the most powerful man in the universe.

Whenever mentioning a stock that he holds in his portfolio, he is required to disclose that he owns shares of such company on his CNBC show.

Whenever his or her punishments or rewards are over he or she is sent back to earth, also known as " Martyalok " or human world.

Whenever a child is born in Japan, a local Shinto shrine adds the child's name to a list kept at the shrine and declares him or her a.

Whenever Alti stares at Xena, Xena often feels the pain of when her legs were broken, her back snapped by her Chakram, and multiple barrages of attacks from some of her mortal enemies.

Whenever someone asked to be put through to an undertaker, the operator would connect them to her husband.

Whenever and wherever Eudocia needed to express greatness, pain, truthfulness, deceit, beauty, suffering, mourning, recognition, understanding, fear, or astonishment, there was an apt Homeric line or passage ready in her memory to be recalled.

Whenever her weight threatened to exceed fifty kilos, a " fasting cure " or " hunger cure " would follow, which involved almost complete fasting.

Whenever difficult negotiations broke off between the Hungarians and the court, they were resumed with her help.

Whenever he mentioned her name it was “ with feelings of disgust and horror ,” claiming that their union “ was an artificial marriage … just to satisfy her ; that it was no marriage – for there could be none without a licence or some written document .” Maria was in possession of documents and after their final break Maria ’ s demands for her annuity payments were often accompanied by veiled threats to go public with her papers if she did not receive the funds.

Whenever the Sovereign appoints Lords Commissioners to perform certain actions on his or her behalf ( for example, to formally declare in Parliament that the Royal Assent has been granted, or to prorogue or dissolve Parliament ), the Lord Chancellor usually served as the principal or senior Lord Commissioner.

Whenever a man hears it he is young, and Nature is in her spring ; wherever he hears it, it is a new world and a free country, and the gates of Heaven are not shut against him.

Whenever she casts a spell, a boy named Stanley attempts to rat her out on the teacher, Mrs. Carter, but she refuses to believe him.

( Whenever we see a man walking with a particular gait, with one arm paralysed in a particular way, we say " This man has had a stroke "; and, if we see a woman in her late 50s with one arm distorted in a particular way, we say " She had polio as a child ".

Whenever he reappears in a strip, it's usually to re-authorize her termination for some perfectly senseless reason, although he's often side-tracked by the appearance of Drusilla or some other, more intimidating presence.

:( e ) Whenever the Government concerned shall have determined that a vessel of any special construction or purpose cannot comply with the provisions of any of these Rules with respect to the number, position, range, or arc of visibility of lights or shapes, as well as to the disposition and characteristics of sound-signalling appliances, such vessel shall comply with such other provisions in regard to the number, position, range or arc of visibility of lights or shapes, as well as to the disposition and characteristics of sound-signalling appliances, as her Government shall have determined to be the closest possible compliance with these Rules in respect of that vessel.

Whenever Alti stares at Xena, Xena often feels the pain of when her legs were broken, her back snapped by her Chakram, and multiple barrages of attacks from some of her mortal enemies.

Whenever the player that the point guard is tasked with defending is away from the ball, a point guard will usually allow distance to accumulate from his or her assignment in order to help his or her teammates with their assignments.

Whenever she found time, she went blackberry picking with him, and they would come home together, mouths purple, arms and faces scratched, tired enough to forget grief for another day.

Whenever an unknown presence ( including strange humans and humanoids ) is met they make themselves look big by raising their arms above their head and pulling a snarling face, as a defense mechanism.

: Whenever the warrior bold in battle encompassed me with his arms.

Whenever Potter went on holiday to the Lake District or Scotland, she sent letters to young friends illustrating them with quick sketches.

Whenever she received a letter soliciting money, a cheque would be sent by the next post, regardless of the authenticity of the mendicant and without having the case investigated.

Whenever a needlewoman saw a new and interesting example of a stitching pattern, she would quickly sew a small sample of it onto a piece of cloth-her ' sampler '.

In the song " We Can Get Together " on the album Heaven is Whenever, The Hold Steady sing " she said Heavenly were cool, I think they were from Oxford.

Whenever the user revisits the message board, he / she can make a response.

Film historian John DiLeo has written that Magnani's acting in the film " displays why she is inarguably one of the half dozen greatest screen actresses of all time ", and added :" Whenever Magnani laughs or cries ( which is often ), it's as if you've never seen anyone laugh or cry before: has laughter ever been so burstingly joyful or tears so shatteringly sad?

Whenever anyone needed to make a call ( via Miss Paulifficate the Castle operator ), he or she would stand under the cage, look up and signal for the cage to come down.

Whenever an Eastern Christian goes to Confession he or she will confess before a Gospel Book and the Cross.

* Whenever Mrs. Katsufrakis says something, Tish says what she means, and Mrs. Katsufrakis then says: " is what I say ( That's what I said ).

Whenever one hears of a person describing what happened at the time when so and so ruled over any particular place, what he or she is actually saying is that an event happened within a finite period of time, one that is equal to the duration of the reign of the monarch in question.

* Charmed, Dawson's Creek, Gilmore Girls, Perfect Strangers – Whenever a regular is absent from the episode, he or she is also absent from the title sequence.

For instance, the eminent Yoruba author James Johnson wrote in one of the most detailed early descriptions of Ifa that " Whenever this should be the case, a woman would receive from a Babalawo only one Ikin or Consecrated Palm nut called Eko, which she would carry about her body for her protection, and whenever divination should recommend and prescribe to her sacrifice to Ifa, she would, for the time being, hand over her Eko either to her husband or to her brother, or any other male relative according to prescription, who would include it in his own Ikins for the purpose of the worship and sacrifice in which she would participate.

Whenever Eric disappoints Erica, she blames her mother.

Whenever he offers her a glass of champagne or, as he calls it, champagna, she invariably ends up throwing it in his face.

" I think she was able to find what was cool about that character that in a way I doubt other actresses could have ," Reed explained in an interview, " Whenever she's on the screen she has this charisma.

Whenever she tried to complete a task, she ends up spilling drinks and breaking the glasses, including ones that she leaves on the floor.

Whenever any result is sought by its aid, the question will then arise — By what course of calculation can these results be arrived at by the machine in the shortest time?

Whenever the observer's learning process ( which may be a predictive neural network-see also Neuroesthetics ) leads to improved data compression such that the observation sequence can be described by fewer bits than before, the temporary interestingness of the data corresponds to the number of saved bits.

Whenever a confusion between the two kinds of definitions might arise it can be avoided by referring to the more general definition and by reintroducing the erased parameter: writing B < sub > m </ sub >( 0 ) in the first case and B < sub > m </ sub >( 1 ) in the second will unambiguously denote the value in question.

Underblocking: Whenever new information is uploaded to the Internet, filters can under block content if the parties responsible for maintaining the filters do not update them quickly and accurately, and a blacklisting rather than a whitelisting filtering policy is in place.

Whenever the solution is depleted below a certain level, either water or fresh nutrient solution is added, A Mariotte's bottle, or a float valve, can be used to automatically maintain the solution level.

Whenever the ordinary limit exists, the limit inferior and limit superior are both equal to it ; therefore, each can be considered a generalization of the ordinary limit which is primarily interesting in cases where the limit does not exist.

Whenever the player kills three enemies that are of the same color, who can obtain a points bonus.

Whenever any player can form a word of acceptable length from tiles in the pool, the player calls out the word and uses those tiles to spell it out in front of himself or herself.

Whenever a player can create a new word using a word that has already been formed, plus one or more tiles from the pool, the player calls out the word.

: Rota: " Whenever I can ... Is it hard to write for a newspaper?

Whenever this happens, the opposition can threaten the government's legislative program.

Whenever on leave, Yossarian and his friends carouse, drink, and sleep around as much as they can, knowing and fearing they could die on any given mission.

Whenever this propagation time is not significant to the application the lumped element model can be used.

Whenever we can trace back a religion to its first beginnings, we find it free from many blemishes that affected it in its later states ".

Whenever the observer's learning process ( which may be a predictive neural network ) leads to improved data compression such that the observations can be described by fewer bits than before, the temporary interestingness of the data corresponds to the number of saved bits, and thus ( in the continuum limit ) to the first derivative of subjectively perceived beauty.

Whenever he can perform a service for the Jews or Palestine he will go out of his way to do so.

Whenever any serious motivation for teams to manipulate results becomes apparent to the general public, there can be a corresponding effect on betting markets as honest gamblers speculate in good faith as to the chance such a fix might be attempted.

Whenever citizens can exercise control, they will.

Whenever acuity must be assessed carefully ( as in an eye doctor's examination ), or where there is a possibility that the examinee might attempt to deceive the examiner ( as in a motor vehicle license office ), equipment is used that can present the letters in a variety of randomized patterns.

Whenever a chiller's heat rejection can be used for a productive purpose, in addition to the cooling function, very high thermal effectiveness is possible.

Whenever Mannix gets into one of his convertibles he can expect to be shot at from another car, run off the road by another car, or find his vehicle sabotaged.

Whenever he enters unfamiliar surroundings, he removes a small spray can from his lapel and begins spraying objects, reciting all the while, " This is mine, this is mine.

Whenever a subject attempts to access an object, an authorization rule enforced by the operating system kernel examines these security attributes and decides whether the access can take place.

Whenever the theorem's proof mentions lemma, we can substitute the occurrences for the proof of.