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

dc:description

[=Never=] is a [=Scenario=] whose [=Constraint=]s are never satisfied.

rdfs:label

Never

oml:type

oml:Concept

rdf:type

owl:Class

rdfs:subClassOf

	base:IdentifiedElement
	analysis:Characterization
	analysis:Never
	analysis:Scenario

directHasRestrictionOn

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