Entailment is covariant on input prefixes, contravariant on output prefixes, and always covariant on continuation contracts.
Entailment is a natural generalization of subtyping of session types [Gay and Hole 2005].
STS is related to both Textual Entailment (TE) and Paraphrase (PARA).
Curtailment Any Principal Prepayment made by a Mortgagor which is not a Principal Prepayment in Full.
Behavioral violation means a student’s behavior that violates the district’s discipline policies.
Serious traffic violation means a conviction when operating a commercial motor vehicle of:
Market Violation means a tariff violation, violation of a Commission-approved order, rule or regulation, market manipulation, or inappropriate dispatch that creates substantial concerns regarding unnecessary market inefficiencies, as defined in 18 C.F.R. § 35.28(b)(8).
Functional behavioral assessment means an individualized assessment of the student that results in a team hypothesis about the function of a student’s behavior and, as appropriate, recommendations for a behavior intervention plan.