Unfortunately, that lack of expertise is on full display in the resolution.
Two days after the Senate resolution was introduced, the African Union announced it was sending 5,000 soldiers to look for Kony.
He also put a resolution of the incredibly intractable Arab-Israel peace process at the top of his agenda.
And last summer a resolution saying the United States would support Israel if it attacked Iran passed 99 to 0.
One crucial bloc of votes is the Black Caucus, which has 43 members, enough to sink the resolution or put it over the top.
In the act, Aldred's resolution failed her; she stopped again, and was silent.
That resolution made there was little else left to be determined.
He knew how Jenny would read the resolution, and Jenny had been his idol.
They agreed upon this, and in a mood of faith and resolution fell asleep.
I am more confirmed in that resolution the more I know of him.
late 14c., "a breaking into parts," from Old French resolution (14c.) or directly from Latin resolutionem (nominative resolutio) "process of reducing things into simpler forms," from past participle stem of resolvere "loosen" (see resolve). Sense of "a solving" (as of mathematical problems) first recorded 1540s, as is that of "power of holding firmly" (cf. resolute). Sense of "decision or expression of a meeting" is from c.1600. Meaning "effect of an optical instrument" is from 1860.
resolution res·o·lu·tion (rěz'ə-lōō'shən)
The subsiding or termination of an abnormal condition, such as a fever or an inflammation.
The act or process of separating or reducing something into its constituent parts.
The fineness of detail that can be distinguished in an image, as on a video display terminal.
For example, given the sentence:
(man(X) => mortal(X)) AND man(socrates).
The literal "man(X)" is "negative". The literal "man(socrates)" could be considered to be on the right hand side of the degenerate implication
True => man(socrates)
and is therefore "positive". The two literals can be unified by the binding X = socrates.
The truth table for the implication function is
A | B | A => B --+---+------- F | F | T F | T | T T | F | F T | T | T
(The implication only fails if its premise is true but its conclusion is false). From this we can see that
A => B == (NOT A) OR B
Which is why the left hand side of the implication is said to be negative and the right positive. The sentence above could thus be written
((NOT man(socrates)) OR mortal(socrates)) AND man(socrates)
Distributing the AND over the OR gives
((NOT man(socrates)) AND man(socrates)) OR mortal(socrates) AND man(socrates)
And since (NOT A) AND A == False, and False OR A == A we can simplify to just
mortal(socrates) AND man(socrates)
So we have proved the new literal, mortal(socrates).
Resolution with backtracking is the basic control mechanism of Prolog.
See also modus ponens, SLD Resolution.