http://imce.jpl.nasa.gov/foundation/analysis#asserts
Property analysis:asserts

rdfs:label

asserts

oml:relationEntity

analysis:Asserts

oml:type

oml:ForwardRelation

rdf:type

	owl:AsymmetricProperty
	owl:ObjectProperty

rdfs:domain

analysis:Scenario

rdfs:range

analysis:Constraint

rdfs:subPropertyOf

analysis:asserts