Syntactically, it is a fairly faithful superset of ALGOL 60.

Syntactically, intuitionistic logic is a restriction of classical logic in which the law of excluded middle and double negation elimination are not axioms of the system, and cannot be proved.

Syntactically, it is used in much the same way ( although for a broader group of persons ) as " Sir " and " Dame " are used in English when speaking of or to a person who has been knighted, e. g. " Don Firstname " or " Doña Firstname Lastname ".

Syntactically, the condition is the subordinate clause, and the consequence is the main clause.

Syntactically, PEGs also look similar to context-free grammars ( CFGs ), but they have a different interpretation: the choice operator selects the first match in PEG, while it is ambiguous in CFG.

Syntactically, Sender ID is almost identical to SPF except that < tt > v = spf1 </ tt > is replaced with one of:

Syntactically, Pascal is much more ALGOL-like than C. English keywords are retained where C uses punctuation symbols – Pascal has,, and where C uses,, and for example.

Syntactically speaking, these are the most basic elements of the formal language, otherwise referred to as atomic formulæ or terminal elements.

Syntactically conditioned alternations can be found in the Insular Celtic languages, where words undergo various initial consonant mutations depending on their syntactic position.

Syntactically, ( 1 ) and ( 2 ) are derivable from each other via the rules of contraposition and double negation.

Syntactically operators usually contrast to functions.

Syntactically, ' try ' statements look like ' if ' statements: ' try ', followed by a statement or block, followed by ' else ' and another statement or block.

Syntactically, ScriptX was most similar to C, although it was not a compiled language.

Syntactically, they are not quantifiers, they do not bind variables, they appear in the grammar as sentential functors, they are called modal operators.

Syntactically, it most resembles Scala, Standard ML, and Haskell.

`` Oh, it's that myth, about Orpheus and What is her name??

She said, `` My name is Songau and these girls are Ponkob and Piwen.

`` What is your name, boy??

`` My name is Dandy Brandon, missy.

Isfahan became more of a legend than a place, and now it is for many people simply a name to which they attach their notions of old Persia and sometimes of the East.

His name is Praisegod Piepsam, and he is rather fully described as to his clothing and physiognomy in a way which relates him to a sinister type in the author's repertory -- he is a forerunner of those enigmatic strangers in `` Death In Venice '', for example, who represent some combination of cadaver, exotic, and psychopomp.

that is, on the basis of his own sinfulness and abject wretchedness, Piepsam becomes a prophet who in his ecstasy and in the name of God imprecates doom on Life -- not only the cyclist now, but the audience, the world, as well: `` all you light-headed breed ''.

Operating as a one man police force in fact if not in name, he is at once more independent and more dedicated than the police themselves.

Within this frame of reference policies appropriate to claims advanced in the name of the Jews depend upon which Jewish identity is involved, as well as upon the nature of the claim, the characteristics of the claimant, the justifications proposed, and the predispositions of the community decision makers who are called upon to act.

When decision makers act within this frame they determine whether a claim put forward in the name of religion is to be accepted by the larger community as appropriate to religion.

`` What is your name ''??

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.

Milton's name being fourth is neither too high nor too low to be assigned to the arbitrary action of vice-chancellor, proctor, master, or other mighty hand.

He had also learned to dispute extempore remarkably well, the main evidence for which of course is the presence of his name in the honors list of 1628/29.

The narrator is an Alsatian serving with the French Army, and he has the same name ( Berger ) that Malraux himself was later to use in the Resistance ; ;

Much more important is to grasp the feelings of the narrator ( whose full name is never given ) as he becomes aware of the disorganized and bewildered mass of French prisoners clustered together in a temporary prison camp in and around the cathedral of Chartres.

But it is tradition rather than the record which balks at the expunging of the Tammany name.

After the Griffin-Byrd political troup has completed the circuit in November in the name of a Pre-Legislative Forum, this is going to be the most politically oriented Legislature in history.

The big question is whether, in the name of a restored Chinese-Soviet solidarity, the Chinese will choose to persuade the Albanians to present their humble apologies to Khrushchev -- or get rid of Enver Hoxa.

It is the same ole same, tell me its name.

And the name Rayburn is one of the most dominant in the history of American politics for the last half century.

You name it, our industry is producing it, and it probably is made in different models.

Etymologically, the name is derived from the Greek " Αλέξανδρος " ( Aléxandros ), meaning " defending men " or " protector of men ", a compound of the verb " ἀλέξω " ( alexō ), " to ward off, to avert, to defend " and the noun " ἀνδρός " ( andros ), genitive of " ἀνήρ " ( anēr ), " man ".

Etymologically, the name is a compound of the Greek verb ἀλέξειν ( alexein ) " to defend " and the noun ἀνδρός ( andros ), genitive of ἀνήρ ( anēr ) " man ".

Ægir is an Old Norse word meaning " terror " and the name of a destructive giant associated with the sea ; ægis is the genitive ( possessive ) form of ægir and has no direct relation to Greek aigis.

11 ) identifies Old Norse Baldr with the Old High German Baldere ( 2nd Merseburg Charm, Thuringia ), Palter ( theonym, Bavaria ), Paltar ( personal name ) and with Old English bealdor, baldor " lord, prince, king " ( used always with a genitive plural, as in gumena baldor " lord of men ", wigena baldor " lord of warriors ", et cetera ).

A Bayer designation is a stellar designation in which a specific star is identified by a Greek letter, followed by the genitive form of its parent constellation's Latin name.

Bayer assigned a lower-case Greek letter, such as alpha ( α ), beta ( β ), gamma ( γ ), etc., to each star he catalogued, combined with the Latin name of the star ’ s parent constellation in genitive ( possessive ) form.

The name Budweiser is genitive, meaning " of Budweis.

Even though the name Dorado is not Latin but Spanish, astronomers give it the Latin genitive form Doradus when naming its stars ; they are treating it ( like the adjacent constellation Argo Navis ) as if it were a feminine proper name of Greek origin ending in-ō ( like Io or Callisto or Argo ), names that have a genitive ending in-ūs.

* ( genitive ) " of man " a possessor ( e. g., the man's name is Claudius )

Sanskrit priyā " beloved ") and was known among many northern European cultures with slight name variations over time: e. g. Friggja in Sweden, Frīg ( genitive Frīge ) in Old English, and Fricka in Richard Wagner's operatic cycle Der Ring des Nibelungen.

The first element in the name Forsetlund ( Old Norse Forsetalundr ), a farm in the parish of Onsøy (' Odins island '), in eastern Norway, seems to be the genitive case of Forseti, offering evidence he was worshipped there.

* nautae ( genitive ) " the sailor's / of sailor " ( e. g. nomen nautae Claudius est the sailor's name is Claudius )

Already in the Mommsen text edition of 1882 it was suggested that the very long name of Jordanes ' father should be split into two parts: Alanovii Amuthis, both genitive forms.

The form Tallinna appearing in modern times in Estonian denotes the genitive case of the name, as in Tallinna Reisisadam ( Port of Tallinn ).

Variable stars are designated using a variation on the Bayer designation format of an identifying label ( as described below ) combined with the Latin genitive of the name of the constellation in which the star lies.

By the earliest days of the Republic, every member of a household had at least two names — praenomen, and the genitive form of the pater familias ( head of the family ) name, which became a fixed and inherited nomen ( name ).

The medical name comes from Latin glans " acorn " + penis " of the penis " – the Latin genitive of this word has the same form as the nominative.

Patronymics were composed similarly as in Swedish language or other Scandinavian languages: the father's name and the suffix-n for genitive plus the word poika for sons, tytär for daughters.

The spelling of the street name, Obi-Wana Kenobiego is the genitive form of the noun in the Polish language: the street of Obi-Wan Kenobi.

A prefix is found in other names, such as that of the Dioscures, and may derive from Dios, the genitive of the name of Zeus.

Others think the name stems from the Latin " caro " ( genitive " carnis ") ( flesh ), which refers to the original colour of the flower, or incarnatio ( incarnation ), which refers to the incarnation of God made flesh.