Sentence examples for rules are assumed from inspiring English sources

The usual proviso for the ∀-right and ∃-left introduction rules are assumed: in particular, the variable y must not be free in the formulas of the sequent conclusion of those inference rules.

The present model, when associative nonlocal damage flow rules are assumed, allows the derivation of the continuum tangent moduli tensor and the consistent tangent stiffness matrix which are symmetric.

Traditionally, default rules are assumed to represent generic information and the facts are assumed to represent specific information about the situation, but in this paper, the specific information derives from defeasible observations represented by (normal free) default rules, and the facts represent (hard) background knowledge.

The plastic potential depends on the same arguments, but a nonassociated flow rule is assumed.

A linear damage accumulation rule is assumed and the rain-flow cycle counting method is considered.

The wear rule is assumed as a non-linear relation of wear rate to shear stress and relative sliding velocity.

The wear rule was assumed as a nonlinear dependence of wear rate on friction traction and relative sliding velocity, similar to the Archard rule.

In this concept, an additive decomposition of the flow rule is assumed into a sum of weighted stress mode related quantities.

To this end an additive decomposition of the flow rule is assumed into a sum of weighted stress mode related quantities.

Although adherence to the 39-week rule is assumed to be beneficial, its actual impact on the US rate of term stillbirth in the years since 2010 is unknown.

The Common Rule is assumed to provide relevant guidance, the responsibility of IRBs is to make decisions based on the Common Rule, and in consequence the burden is on those proposing social network research to design — and defend — their planned work with this in mind.