http://imce.jpl.nasa.gov/foundation/analysis#Always
Class analysis:Always

dc:description

[=Always=] is a [=Scenario=] whose [=Constraint=]s are always satisfied.

rdfs:label

Always

oml:type

oml:Concept

rdf:type

owl:Class

rdfs:subClassOf

	base:IdentifiedElement
	analysis:Always
	analysis:Characterization
	analysis:Scenario

owl:disjointWith

analysis:Never

directHasRestrictionOn

	analysis:asserts has some values from analysis:SatisfiedConstraint
	analysis:asserts has some values from analysis:SatisfiedConstraint
	analysis:asserts → all values from analysis:SatisfiedConstraint
	analysis:asserts → all values from analysis:SatisfiedConstraint
	analysis:denies → all values from analysis:UnsatisfiedConstraint
	analysis:denies → all values from analysis:UnsatisfiedConstraint