Discharging these proof obligations is performed using the SPADE Simplifier ( an automated theorem prover ) and the SPADE Proof Checker ( a manual theorem prover, used for those VCs too thorny for the Simplifier to automatically discharge ).

* Discharging or aiming firearms, or throwing or using any offensive matter or weapon, with intent to injure or alarm the Sovereign

Discharging to an endorheic basin, the Okavango does not have an outlet to the sea.

Discharging the travelling hopper's load into a waiting hopper car.

( Discharging is read left to right, charging is from right to left.

In the O / U configuration with a parallel rib, both barrels ' discharges will keep to the dead center, but the discharge from the " under " barrel will shoot higher than the discharge from the " over " barrel after 40 yards.

In double trigger designs, it is often possible to pull both triggers at once, firing both barrels simultaneously, though this is generally not recommended as it doubles the recoil, battering both shooter and shotgun.

Later models used a single trigger that would alternately fire both barrels, called a single selective trigger or SST.

The SST does not allow firing of both barrels at once, since it must be pulled twice in order to fire both barrels.

Automatic rifles ( such as the Browning Automatic Rifle ) were designed to be a high duty cycle arm for support of other troops, and were often made and deployed with quick change barrel assemblies to allow quick replacement of over heated barrels to allow for continued fire, and may have been operated by both the person actually firing the weapon as well as an additional crewman to assist in providing and caring for ammunition and the barrels, similar to a reduced version of a squad weapon ( above ).

The multiple barrels provide both a very high rate of fire — around 100 rounds per second — and contribute to long weapon life by minimizing barrel erosion and heat generation.

A supporter of the Democratic Party, Ebert publicly urged liberal filmmaker Michael Moore to give a politically charged acceptance speech at the Academy Awards: " I'd like to see Michael Moore get up there and let ' em have it with both barrels and really let loose and give them a real rabble-rousing speech.

As the United States carried a cargo of barrels of kerosene which caught fire, soon both boats were in flames.

Tintin tracks down the gang and saves the Captain, but they both become intoxicated by the fumes from wine barrels breached in a shootout with the villains.

To speed production output, two-groove rifled barrels were adopted, and steel alloy specifications were relaxed under ' War Emergency Steel ' criteria for both rifle actions and barrels.

I let go both barrels, and he tumbled down dead and mangled at my feet.

Doc instantly countered, blowing Tom away with blasts from both barrels of his shotgun.

As he took off his glasses to clean them, George Barrow stormed into the establishment and shot Jonah in the chest with both barrels of a shotgun.

For much of its life, four different models were proposed: a compact PDW ( personal defense weapon ) with a 9. 5-inch ( 241 mm ) barrel, a carbine with a 12. 5-inch ( 318 mm ) barrel, a sniper and automatic rifle variant, both with 20-inch ( 508 mm ) barrels.

Scaletta tells Tommy that ' Mr. Salieri sends his regards ', and both barrels are emptied into Tommy's body.

Combination weapons ( Finnish: yhdistelmäaseet ) are shoulder-fired, have a total length of at least 840 mm and a barrel of at least 400 mm, with multiple barrels and that use both rifle cartridges and shotgun shells.

" The beautiful shops, full of valuable goods ; the stores behind, containing thousands of barrels of flour and provisions of all kinds ; the fish stores ; the wharves, which it had cost immense sums to erect, -- disappeared one by one into the maw of the destroyer … the whole of Water Street, on both sides, was ' swept with the besom of destruction.

But, since they have rejected both narrative and emotional continuity, how are they to unify the impressive array of materials at their disposal??

He understood that both sides were at fault, and he reached the height of saying so explicitly in his Second Inaugural.

Any attempt to reconcile this statement of the central issue in the campaign of 1956 with the nature of the man who could not conceive it as the central issue will at least resolve our confusions about the chaotic and misleading results of the earnestness of both doctors and President in a situation which should never have arisen.

And, after all, he has lived comfortably at both Oxford, Mississippi, and Charlottesville, Virginia.

Master Gorton, having foully abused high and low at Aquidneck is now bewitching and bemaddening poor Providence, both with his unclean and foul censures of all the ministers of this country ( for which myself have in Christ's name withstood him ), and also denying all visible and external ordinances in depth of Familism: almost all suck in his poison, as at first they did at Aquidneck.

I could never forget the gaiety with which, when he was both blind and deaf, he let me lead him around his rooms to look at some of the pictures ; ;

To do this successfully required great skill and a special talent for both solemn and ribald raillery, a talent not bestowed on many persons, but one with which Milton was marked as being endowed and in which, at least in this performance, he obviously reveled.

The framing scenes, on the other hand, both take place in the late Spring of 1940, just at the moment of the defeat of France in the second great world conflict.

If a broader Atlantic community is to be formed -- and my own judgment is that it lies within the realm of both our needs and our capacity -- a ready nucleus of machinery is at hand in the NATO alliance.

`` The committee continues to feel that Florida has progressed in a sound and equitable program at both the state and local levels in its efforts to review and assess transition problems as they arise from time to time in the entire spectrum of civil rights ''.

He has served in positions of greater glamour, both at home and abroad ; ;

Dangling his gaudy trinkets before them, he told of the Rebel losses in the mountains, at Cheat and Rich mountains both, and the Federal march on Beverly.

And she was made to fall in love with him again there in the rutted dirt driveway standing in the cold fog, mad as she was at his going away when he really didn't have to, mad at their both having got older in a life that seemed to have taken no more than a week to go by.

They've got a big vulture from Tanganika at the zoo here, with a wife for him, too, very rare birds, both of them, the only Vulturidae of their species outside Africa.

In my short period here I believe that at no time has he been otherwise than the most popular man on both sides of the aisle.

At the outset, the Government's spokesman explained that counsel for the Government and for Du Pont had already held preliminary discussions with a view to arriving at a relief plan that both sides could recommend to the court.

Counsel for Du Pont indicated a preference for the submission of detailed plans by both sides at an early date.

Petitioner, who claims to be a conscientious objector, contends that he was denied due process, both in the proceedings before a hearing officer of the Department of Justice and at trial.

In the light of these circumstances, as well as the fact that the issue at trial in this respect centered entirely on the Department's recommendation, which petitioner repudiated but which both the appeal board and the courts below found supported by the record, we find no relevancy in the hearing officer's report and notes.

These could be costly and have a serious effect both at home and abroad.

The extent of such interference -- which may be so slight as to be undetectable at any point where either of the stations renders a usable signal, or may be so great as to virtually destroy the service areas of both stations -- depends on many factors, among the principal ones being the distance between the stations, their respective radiated power, and, of particular significance here, the time of day.

All AM stations radiate both skywave and groundwave signals, at all hours ; ;