You should use a partitioned by clause to identify (i.e., make equivalent) some terms that would otherwise be distinct in an LSL trait's theory. A classic example is in the specification of sets, which includes the following partitioned by clause (see [Guttag-Horning93], page 166). C partitioned by \in In this example, C is the sort for sets, and \in is the membership operator on sets. This means that two sets, s1 and s2, are distinct (i.e.

You should use a generated by clause to specify that there can be no abstract values beside the ones that you are describing for a given sort. This is quite common for specifications of the abstract values of data types, but will not usually be the case for the abstract values of sort parameters (such as E in Queue[E]). A generated by clause can also be thought of as excluding "junk" (i.e., nonstandard values) from a type [Goguen-Thatcher-Wagner78]. See similar questions...

A converts clause goes in the implies section of a trait. It is a way to make redundant claims about the completeness of the specification of various operators in a trait. You should consider stating a converts clause for each non-constant operator you introduce in a trait. If you list an operator in a converts clause, you would be saying that the operator is uniquely defined "relative to the other operators in a trait" (see [Guttag-Horning93], p. 142, [Leavens-Wing97], Section B.1). See similar questions...

exempting clause is a subclause of a converts clause. (See section 2.12 How and when should I use a converts clause?.) You should use an exempting clause when you want to claim that some operator is uniquely-defined, "relative to the other operators in a trait" ([Guttag-Horning93], p. 142), except for some special cases. A very simple example is the trait List (see [Guttag-Horning93], p. 173), where the converts includes the following. See similar questions...

The Open University and other members of the Creative Archive Licence Group will be actively monitoring the use of content under the terms of the Creative Archive Licence and may where appropriate take action to enforce the terms of the licence. See similar questions...

Notwithstanding anything herein contained, if at any time after the expiration of TWELVE (12) months from the date of the commencement of this tenancy, the immediate occupant of the said premises, YOUR NAME shall be transferred out of the Republic of Singapore permanently by his firm, ceased to be employed the company or if for any cause whatsoever he shall be ordered to leave the Republic of Singapore, then and in such a case, it shall be lawful for the Tenant to determine this tenancy by givin. See similar questions...

Some landlords like to have the option of terminating a lease for the purposes of demolishing the building and rebuilding on the site. Typically, a business will be given 6 - 12 months notice to vacate the premises. This can be devastating to a small business, and care should be taken to ascertain if such a clause is in the lease. See similar questions...

A clause in certain property insurance policies which provides for the application of a penalty for partial losses when owners of property fail to insure, as a minimum, to the percentage of the value of such property as specified by the insurer, e.g., 80, 90 or 100 percent. See similar questions...

This is a clause in an insurance policy which provides that where, at the time of a loss, the sum insured is less than the correct cost/value of rebuilding or replacing property insured. Then the policyholder will be regarded as his/her own insurer for the difference i.e. the settlement is scaled down in proportion to the under insurance by applying the following calculation: Sum insured / Value at risk * Agreed value of claim See similar questions...

idemnity clause is a standard legal measure included in a contract to protect each party from any damages or liabilities that may result if the agreement outlined in the contract is violated by either party. Each party guarantees to defend and hold harmless the other party from any and all losses, liabilities, damages, actions, claims, expenses and costs. See similar questions...

A Romalpa clause is a title retention clause, which serves to separate the passing of title, and risk of loss and which provides that until payment is received, title remains with the seller. The following is an example of a Romalpa clause. Risk of loss and damage shall pass to the Buyer upon delivery. Title shall pass to the buyer upon payment in full. See similar questions...

A mortgagee clause is an acknowledgment by your insurance company of the interest your lender has in the insurance policy. We require a standard mortgagee clause on all insurance policies. Please give your insurance agent your Network Funding Mortgage loan number and the following information for the mortgagee clause: See similar questions...

Our unique guarantee protects you against breakage of any kind, your fault or ours, for TWO YEARS. Even if you step on a nail or the dog chews them, we will replace them absolutely FREE! See similar questions...

A - The heat molding will break the skates in to an extent, but basically the more you skate in them, the more heat your feet will produce and this will eventually break them in by softening and stretching them. See similar questions...

The way I have always done it is to actively adjust my engines during break-in. During this time the engine can change several times so as soon at it does I land and adjust it. To begin with, on the first tank I first get it so rich that it hovers a little above middle stick. Hover for a couple minutes then let it idle for a minute to cool down. Do this for a whole tank. Let the engine cool, then on the 2nd tank you can hover and move around (at a slow walking pace). See similar questions...

Each BREAK FREE Softgel contains 454 mg Proprietary Formula. A unique proprietary blend of herbs that can be extremely effective in the relief of stress and cravings caused by nicotine withdrawal. Lobeline (2 mg) - Extract of Lobelia: Chemically similar to nicotine, but unlike nicotine, it is non-addictive and helps nourish the respiratory system This statement has not been evaluated by the Food and Drug Administration. See similar questions...

After the icebergs break off, they start to move with the tides, the ocean currents, and minor effects from the wind and rotation of the earth. To see more, check out the movies at: http://tstorm.ssec.wisc.edu/iceberg.html Our best guess so far is that it will move to the west, and slowly at that. See similar questions...

Having Clause is basically used only with the GROUP BY function in a query. WHERE Clause is applied to each row before they are part of the GROUP BY function in a query. See similar questions...

No, unlike Java, C# does not require (or even allow) the developer to specify the exceptions that a method can throw. See similar questions...

Incontestable Clause is a provision in a health insurance contract, which states that after a specified time period, which is normally 2 years, the insurance company may no longer contest any statements made by the insured on the application. A provision in life and health insurance policies that once a policy has been in effect for a specified period of time (e.g., two years), an insurer can no longer contest statements in the policy application in order to deny claims or void coverage. See similar questions...