(object Petal
    version    	50
    _written   	"Rose 8.5.0503.xxx"
    charSet    	0)

(object Class_Category "ImperativeOCL"
    is_unit    	TRUE
    is_loaded  	TRUE
    attributes 	(list Attribute_Set
	(object Attribute
	    tool       	"Ecore"
	    name       	"basePackage"
	    value      	(value Text "org.omg.qvt"))
	(object Attribute
	    tool       	"Ecore"
	    name       	"nsPrefix"
	    value      	(value Text "imperativeocl"))
	(object Attribute
	    tool       	"Ecore"
	    name       	"nsURI"
	    value      	(value Text "http://schema.omg.org/spec/QVT/1.1/imperativeocl.xml"))
	(object Attribute
	    tool       	"Ecore"
	    name       	"packageName"
	    value      	(value Text "ImperativeOCL"))
	(object Attribute
	    tool       	"Ecore"
	    name       	"prefix"
	    value      	(value Text "ImperativeOCL")))
    quid       	"415067E202BF"
    visible_categories 	(list visibility_relationship_list
	(object Visibility_Relationship
	    quid       	"42F7363B019E"
	    supplier   	"Logical View::EssentialOCL"
	    quidu      	"414C74DE008F"))
    exportControl 	"Public"
    logical_models 	(list unit_reference_list
	(object Class "AssignExp"
	    quid       	"401DC9E201B7"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"415820350219"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6"))
	    class_attributes 	(list class_attribute_list
		(object ClassAttribute "isReset"
		    quid       	"40C8C40E0388"
		    type       	"Boolean"
		    quidu      	"40CB2ECB0038")))
	(object Class "BlockExp"
	    quid       	"40E8677C0300"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4225F7CD0125"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "SwitchExp"
	    quid       	"40C9E50E01E5"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4225F7CA0080"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "VariableInitExp"
	    quid       	"405AF03101AF"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"430045E40190"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6"))
	    class_attributes 	(list class_attribute_list
		(object ClassAttribute "withResult"
		    quid       	"416AEF59033B"
		    type       	"Boolean"
		    quidu      	"40CB2ECB0038"
		    initv      	"false")))
	(object Class "WhileExp"
	    quid       	"4157DC9B00A4"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42FFACA3010D"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "ComputeExp"
	    quid       	"415A808D0107"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42FFACA80331"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "AltExp"
	    quid       	"416AE618029E"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4225F7C60310"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "UnlinkExp"
	    quid       	"419B1D3602C3"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"419B1F24007A"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "ReturnExp"
	    quid       	"421C8A8702EF"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"421CB42E02F7"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "BreakExp"
	    quid       	"421C8A91005E"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"421CB42A0049"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "TryExp"
	    quid       	"421C9F80033F"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"421CB8C80355"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "RaiseExp"
	    quid       	"421C9F8601CB"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"421CB4970371"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "ContinueExp"
	    quid       	"421CA16103AF"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"421CB4320389"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "ForExp"
	    quid       	"4225F9E4035F"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"422B3F41013A"
		    supplier   	"Logical View::ImperativeOCL::ImperativeLoopExp"
		    quidu      	"42FCD2B00184")))
	(object Class "Typedef"
	    quid       	"423DA806002F"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42F8814D011E"
		    supplier   	"Logical View::EMOF::Class"
		    quidu      	"401DAE57014A")))
	(object Class "InstantiationExp"
	    quid       	"42F718DE004D"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42FB0BEF01C3"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "DictionaryType"
	    quid       	"42F76F3102ED"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"43051F380357"
		    supplier   	"Logical View::EssentialOCL::CollectionType"
		    quidu      	"40CB3338024A")))
	(object Class "DictLiteralExp"
	    quid       	"42F770540087"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42F770720172"
		    supplier   	"Logical View::EssentialOCL::LiteralExp"
		    quidu      	"40E2B2FC0306")))
	(object Class "DictLiteralPart"
	    quid       	"42F7707C0311"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4300B609007A"
		    supplier   	"Logical View::EMOF::Element"
		    quidu      	"40C96ABE02EC")))
	(object Class "LogExp"
	    quid       	"42FB7CE3021C"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"43DF9C6400EE"
		    supplier   	"Logical View::EssentialOCL::OperationCallExp"
		    quidu      	"40C96BA800C2")
		(object Inheritance_Relationship
		    quid       	"47D11358016B"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "AssertExp"
	    quid       	"42FCAEE9006C"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42FCBBD502DF"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6"))
	    class_attributes 	(list class_attribute_list
		(object ClassAttribute "severity"
		    quid       	"42FCBDA403D6"
		    type       	"SeverityKind"
		    quidu      	"42FCBDC802BF"
		    initv      	"error")))
	(object Class "SeverityKind"
	    quid       	"42FCBDC802BF"
	    stereotype 	"enumeration"
	    class_attributes 	(list class_attribute_list
		(object ClassAttribute "error"
		    quid       	"42FCBDD40294")
		(object ClassAttribute "warning"
		    quid       	"42FCBDD80163")
		(object ClassAttribute "fatal"
		    quid       	"42FCBDDC03D6")))
	(object Class "ImperativeLoopExp"
	    quid       	"42FCD2B00184"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"42FCD2D100C3"
		    supplier   	"Logical View::EssentialOCL::LoopExp"
		    quidu      	"40E529BE03BC")
		(object Inheritance_Relationship
		    quid       	"430046380097"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6"))
	    abstract   	TRUE)
	(object Class "ImperativeIterateExp"
	    quid       	"43004432004C"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"430044F90084"
		    supplier   	"Logical View::ImperativeOCL::ImperativeLoopExp"
		    quidu      	"42FCD2B00184")))
	(object Class "ImperativeExpression"
	    quid       	"430045A500E6"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4300466B0285"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"))
	    abstract   	TRUE)
	(object Class "UnpackExp"
	    quid       	"4300B2A901FE"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4300B3DA012A"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "OrderedTupleType"
	    quid       	"4300B442004D"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4300B49F00D3"
		    supplier   	"Logical View::EMOF::Class"
		    quidu      	"401DAE57014A")))
	(object Class "OrderedTupleLiteralExp"
	    quid       	"4300B6520273"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4300B67E0226"
		    supplier   	"Logical View::EssentialOCL::LiteralExp"
		    quidu      	"40E2B2FC0306")))
	(object Class "OrderedTupleLiteralPart"
	    quid       	"4300B66201D6"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4300B73C00E9"
		    supplier   	"Logical View::EMOF::Element"
		    quidu      	"40C96ABE02EC")))
	(object Class "ListType"
	    quid       	"43051FB4036A"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"43051FC70168"
		    supplier   	"Logical View::EssentialOCL::CollectionType"
		    quidu      	"40CB3338024A")))
	(object Class "CatchExp"
	    quid       	"46568AE60256"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"422B6139003C"
		    supplier   	"Logical View::ImperativeOCL::ImperativeExpression"
		    quidu      	"430045A500E6")))
	(object Class "ListLiteralExp"
	    quid       	"4AF9ADE002FB"
	    superclasses 	(list inheritance_relationship_list
		(object Inheritance_Relationship
		    quid       	"4AF9AE1E022F"
		    supplier   	"Logical View::EssentialOCL::LiteralExp"
		    quidu      	"40E2B2FC0306")))
	(object Association "$UNNAMED$0"
	    quid       	"4157E1BE02A7"
	    roles      	(list role_list
		(object Role "condition"
		    quid       	"4157E1BF0081"
		    label      	"condition"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "whileExpression"
		    quid       	"4157E1BF009F"
		    label      	"whileExpression"
		    supplier   	"Logical View::ImperativeOCL::WhileExp"
		    quidu      	"4157DC9B00A4"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$1"
	    quid       	"4157E74A0047"
	    roles      	(list role_list
		(object Role "alternativePart"
		    quid       	"4157E74B0071"
		    label      	"alternativePart"
		    supplier   	"Logical View::ImperativeOCL::AltExp"
		    quidu      	"416AE618029E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "altOwner"
		    quid       	"4157E74B0099"
		    label      	"altOwner"
		    supplier   	"Logical View::ImperativeOCL::SwitchExp"
		    quidu      	"40C9E50E01E5"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$2"
	    quid       	"4157E7BD021A"
	    roles      	(list role_list
		(object Role "elsePart"
		    quid       	"4157E7BE02C5"
		    label      	"elsePart"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "elsePartOwner"
		    quid       	"4157E7BE02ED"
		    label      	"elsePartOwner"
		    supplier   	"Logical View::ImperativeOCL::SwitchExp"
		    quidu      	"40C9E50E01E5"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$3"
	    quid       	"416AE67401A6"
	    roles      	(list role_list
		(object Role "condition"
		    quid       	"416AE675011C"
		    label      	"condition"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "altCondOwner"
		    quid       	"416AE6750158"
		    label      	"altCondOwner"
		    supplier   	"Logical View::ImperativeOCL::AltExp"
		    quidu      	"416AE618029E"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$4"
	    quid       	"416AE68E032A"
	    roles      	(list role_list
		(object Role "body"
		    quid       	"416AE6900279"
		    label      	"body"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "altBodyOwner"
		    quid       	"416AE69002B5"
		    label      	"altBodyOwner"
		    supplier   	"Logical View::ImperativeOCL::AltExp"
		    quidu      	"416AE618029E"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$5"
	    quid       	"419B1D62023C"
	    roles      	(list role_list
		(object Role "target"
		    quid       	"419B1D6300F3"
		    label      	"target"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "tgtUnlink"
		    quid       	"419B1D63011B"
		    label      	"tgtUnlink"
		    supplier   	"Logical View::ImperativeOCL::UnlinkExp"
		    quidu      	"419B1D3602C3"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$6"
	    quid       	"419B1D6B01E5"
	    roles      	(list role_list
		(object Role "item"
		    quid       	"419B1D6C007E"
		    label      	"item"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "itemUnlink"
		    quid       	"419B1D6C00A6"
		    label      	"itemUnlink"
		    supplier   	"Logical View::ImperativeOCL::UnlinkExp"
		    quidu      	"419B1D3602C3"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$7"
	    quid       	"421CB4D7026E"
	    roles      	(list role_list
		(object Role "exception"
		    quid       	"421CB4D90195"
		    label      	"exception"
		    supplier   	"Logical View::EMOF::Type"
		    quidu      	"40C78BB303B7"
		    client_cardinality 	(value cardinality "1")
		    is_navigable 	TRUE)
		(object Role "raiseExpression"
		    quid       	"421CB4D901B3"
		    label      	"raiseExpression"
		    supplier   	"Logical View::ImperativeOCL::RaiseExp"
		    quidu      	"421C9F8601CB"
		    client_cardinality 	(value cardinality "*"))))
	(object Association "$UNNAMED$8"
	    quid       	"421CB7AB023D"
	    roles      	(list role_list
		(object Role "tryBody"
		    quid       	"421CB7AC0072"
		    label      	"tryBody"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "tryBodyOwner"
		    quid       	"421CB7AC00C2"
		    label      	"tryBodyOwner"
		    supplier   	"Logical View::ImperativeOCL::TryExp"
		    quidu      	"421C9F80033F"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$9"
	    quid       	"42203480015C"
	    roles      	(list role_list
		(object Role "returnedElement"
		    quid       	"4220348101CC"
		    label      	"returnedElement"
		    supplier   	"Logical View::EssentialOCL::Variable"
		    quidu      	"401DAF870288"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "computeOwner"
		    quid       	"42203481021C"
		    label      	"computeOwner"
		    supplier   	"Logical View::ImperativeOCL::ComputeExp"
		    quidu      	"415A808D0107"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$10"
	    quid       	"423DA82903AB"
	    roles      	(list role_list
		(object Role "base"
		    quid       	"423DA82A01C1"
		    label      	"base"
		    supplier   	"Logical View::EMOF::Type"
		    quidu      	"40C78BB303B7"
		    client_cardinality 	(value cardinality "1")
		    is_navigable 	TRUE)
		(object Role "typedef"
		    quid       	"423DA82A01F3"
		    label      	"typedef"
		    supplier   	"Logical View::ImperativeOCL::Typedef"
		    quidu      	"423DA806002F"
		    client_cardinality 	(value cardinality "*"))))
	(object Association "$UNNAMED$11"
	    quid       	"423DAA71026A"
	    roles      	(list role_list
		(object Role "condition"
		    quid       	"423DAA730399"
		    label      	"condition"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "typedef"
		    quid       	"423DAA740047"
		    label      	"typedef"
		    supplier   	"Logical View::ImperativeOCL::Typedef"
		    quidu      	"423DA806002F"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$12"
	    quid       	"42F719CC008F"
	    roles      	(list role_list
		(object Role "instantiatedClass"
		    quid       	"42F719CD02CB"
		    label      	"instantiatedClass"
		    supplier   	"Logical View::EMOF::Class"
		    quidu      	"401DAE57014A"
		    client_cardinality 	(value cardinality "1")
		    is_navigable 	TRUE)
		(object Role "instantiationExp"
		    quid       	"42F719CD0307"
		    label      	"instantiationExp"
		    supplier   	"Logical View::ImperativeOCL::InstantiationExp"
		    quidu      	"42F718DE004D"
		    client_cardinality 	(value cardinality "*"))))
	(object Association "$UNNAMED$13"
	    quid       	"42F7708D0135"
	    roles      	(list role_list
		(object Role "part"
		    quid       	"42F7708D02A8"
		    label      	"part"
		    supplier   	"Logical View::ImperativeOCL::DictLiteralPart"
		    quidu      	"42F7707C0311"
		    client_cardinality 	(value cardinality "*")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "partOwner"
		    quid       	"42F7708D02AA"
		    label      	"partOwner"
		    supplier   	"Logical View::ImperativeOCL::DictLiteralExp"
		    quidu      	"42F770540087"
		    client_cardinality 	(value cardinality "1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$14"
	    quid       	"42F778370020"
	    roles      	(list role_list
		(object Role "keyType"
		    quid       	"42F7783803BB"
		    label      	"keyType"
		    supplier   	"Logical View::EMOF::Type"
		    quidu      	"40C78BB303B7"
		    client_cardinality 	(value cardinality "0..1")
		    is_navigable 	TRUE)
		(object Role "keyDict"
		    quid       	"42F7783803D9"
		    label      	"keyDict"
		    supplier   	"Logical View::ImperativeOCL::DictionaryType"
		    quidu      	"42F76F3102ED"
		    client_cardinality 	(value cardinality "*"))))
	(object Association "$UNNAMED$15"
	    quid       	"42F778B00135"
	    roles      	(list role_list
		(object Role "key"
		    quid       	"42F778B100FA"
		    label      	"key"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "keyOwner"
		    quid       	"42F778B101C2"
		    label      	"keyOwner"
		    supplier   	"Logical View::ImperativeOCL::DictLiteralPart"
		    quidu      	"42F7707C0311"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$16"
	    quid       	"42F778B60165"
	    roles      	(list role_list
		(object Role "value"
		    quid       	"42F778B70239"
		    label      	"value"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "valOwner"
		    quid       	"42F778B702ED"
		    label      	"valOwner"
		    supplier   	"Logical View::ImperativeOCL::DictLiteralPart"
		    quidu      	"42F7707C0311"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$17"
	    quid       	"42F787D5010A"
	    roles      	(list role_list
		(object Role "body"
		    quid       	"42F787D60043"
		    label      	"body"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "whileOwner"
		    quid       	"42F787D60093"
		    label      	"whileOwner"
		    supplier   	"Logical View::ImperativeOCL::WhileExp"
		    quidu      	"4157DC9B00A4"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$18"
	    quid       	"42F789360213"
	    roles      	(list role_list
		(object Role "value"
		    quid       	"42F7893700FC"
		    label      	"value"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "returnExp"
		    quid       	"42F7893701CE"
		    label      	"returnExp"
		    supplier   	"Logical View::ImperativeOCL::ReturnExp"
		    quidu      	"421C8A8702EF"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$19"
	    quid       	"42FB0C1900B5"
	    roles      	(list role_list
		(object Role "extent"
		    quid       	"42FB0C1A008E"
		    label      	"extent"
		    supplier   	"Logical View::EssentialOCL::Variable"
		    quidu      	"401DAF870288"
		    client_cardinality 	(value cardinality "0..1")
		    is_navigable 	TRUE)
		(object Role "instantiationExp"
		    quid       	"42FB0C1A00D4"
		    label      	"instantiationExp"
		    supplier   	"Logical View::ImperativeOCL::InstantiationExp"
		    quidu      	"42F718DE004D"
		    client_cardinality 	(value cardinality "*"))))
	(object Association "$UNNAMED$20"
	    quid       	"42FB0C6501FE"
	    roles      	(list role_list
		(object Role "argument"
		    quid       	"42FB0C670215"
		    label      	"argument"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "argOwner"
		    quid       	"42FB0C6702D4"
		    label      	"argOwner"
		    supplier   	"Logical View::ImperativeOCL::InstantiationExp"
		    quidu      	"42F718DE004D"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$21"
	    quid       	"42FB7E140257"
	    roles      	(list role_list
		(object Role "condition"
		    quid       	"42FB7E1403DD"
		    label      	"condition"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "logOwner"
		    quid       	"42FB7E1500D1"
		    label      	"logOwner"
		    supplier   	"Logical View::ImperativeOCL::LogExp"
		    quidu      	"42FB7CE3021C"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$22"
	    quid       	"42FCBAC20276"
	    roles      	(list role_list
		(object Role "log"
		    quid       	"42FCBAC30079"
		    label      	"log"
		    supplier   	"Logical View::ImperativeOCL::LogExp"
		    quidu      	"42FB7CE3021C"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "assertExp"
		    quid       	"42FCBAC3008D"
		    label      	"assertExp"
		    supplier   	"Logical View::ImperativeOCL::AssertExp"
		    quidu      	"42FCAEE9006C"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$23"
	    quid       	"42FCBAF20289"
	    roles      	(list role_list
		(object Role "assertion"
		    quid       	"42FCBAF40173"
		    label      	"assertion"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "assertOwner"
		    quid       	"42FCBAF40228"
		    label      	"assertOwner"
		    supplier   	"Logical View::ImperativeOCL::AssertExp"
		    quidu      	"42FCAEE9006C"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$24"
	    quid       	"42FCD35502CC"
	    roles      	(list role_list
		(object Role "condition"
		    quid       	"42FCD3560346"
		    label      	"condition"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "loopCondOwner"
		    quid       	"42FCD35603D2"
		    label      	"loopCondOwner"
		    supplier   	"Logical View::ImperativeOCL::ImperativeLoopExp"
		    quidu      	"42FCD2B00184"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$25"
	    quid       	"42FFAB670393"
	    roles      	(list role_list
		(object Role "body"
		    quid       	"42FFAB6A0211"
		    label      	"body"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "computeOwner"
		    quid       	"42FFAB6A02D9"
		    label      	"computeOwner"
		    supplier   	"Logical View::ImperativeOCL::ComputeExp"
		    quidu      	"415A808D0107"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$26"
	    quid       	"43007F43017B"
	    roles      	(list role_list
		(object Role "target"
		    quid       	"43007F4303A2"
		    label      	"target"
		    supplier   	"Logical View::EssentialOCL::Variable"
		    quidu      	"401DAF870288"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "tgtOwner"
		    quid       	"43007F440032"
		    label      	"tgtOwner"
		    supplier   	"Logical View::ImperativeOCL::ImperativeIterateExp"
		    quidu      	"43004432004C"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$27"
	    quid       	"4300B2C703AF"
	    roles      	(list role_list
		(object Role "targetVariable"
		    quid       	"4300B2CA0006"
		    label      	"targetVariable"
		    supplier   	"Logical View::EssentialOCL::Variable"
		    quidu      	"401DAF870288"
		    client_cardinality 	(value cardinality "1..*")
		    Constraints 	"ordered"
		    is_navigable 	TRUE)
		(object Role "$UNNAMED$28"
		    quid       	"4300B2CA0075"
		    supplier   	"Logical View::ImperativeOCL::UnpackExp"
		    quidu      	"4300B2A901FE"
		    client_cardinality 	(value cardinality "0..1"))))
	(object Association "$UNNAMED$29"
	    quid       	"4300B4AA0300"
	    roles      	(list role_list
		(object Role "elementType"
		    quid       	"4300B4AD03D6"
		    label      	"elementType"
		    supplier   	"Logical View::EMOF::Type"
		    quidu      	"40C78BB303B7"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    is_navigable 	TRUE)
		(object Role "eltTuple"
		    quid       	"4300B4AE0020"
		    label      	"eltTuple"
		    supplier   	"Logical View::ImperativeOCL::OrderedTupleType"
		    quidu      	"4300B442004D"
		    client_cardinality 	(value cardinality "*"))))
	(object Association "$UNNAMED$30"
	    quid       	"4300B6BF03B0"
	    roles      	(list role_list
		(object Role "part"
		    quid       	"4300B6C0028F"
		    label      	"part"
		    supplier   	"Logical View::ImperativeOCL::OrderedTupleLiteralPart"
		    quidu      	"4300B66201D6"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "partOwner"
		    quid       	"4300B6C00291"
		    label      	"partOwner"
		    supplier   	"Logical View::ImperativeOCL::OrderedTupleLiteralExp"
		    quidu      	"4300B6520273"
		    client_cardinality 	(value cardinality "1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$31"
	    quid       	"4300B7BC0396"
	    roles      	(list role_list
		(object Role "value"
		    quid       	"4300B7BE0172"
		    label      	"value"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "tupValOwner"
		    quid       	"4300B7BE023B"
		    label      	"tupValOwner"
		    supplier   	"Logical View::ImperativeOCL::OrderedTupleLiteralPart"
		    quidu      	"4300B66201D6"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$32"
	    quid       	"46568B1F03CA"
	    roles      	(list role_list
		(object Role "exceptClause"
		    quid       	"46568B1F03CB"
		    label      	"exceptClause"
		    supplier   	"Logical View::ImperativeOCL::CatchExp"
		    quidu      	"46568AE60256"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "exceptOwner"
		    quid       	"46568B1F03CC"
		    label      	"exceptOwner"
		    supplier   	"Logical View::ImperativeOCL::TryExp"
		    quidu      	"421C9F80033F"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$33"
	    quid       	"46568B5B0178"
	    roles      	(list role_list
		(object Role "body"
		    quid       	"46568B5C00F7"
		    label      	"body"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "catchExp"
		    quid       	"46568B5C0151"
		    label      	"catchExp"
		    supplier   	"Logical View::ImperativeOCL::CatchExp"
		    quidu      	"46568AE60256"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$34"
	    quid       	"4656B2F8010C"
	    roles      	(list role_list
		(object Role "tryExpression"
		    quid       	"4656B2F8010D"
		    label      	"tryExpression"
		    supplier   	"Logical View::ImperativeOCL::CatchExp"
		    quidu      	"46568AE60256"
		    client_cardinality 	(value cardinality "*"))
		(object Role "exception"
		    quid       	"4656B2F8010E"
		    label      	"exception"
		    supplier   	"Logical View::EMOF::Type"
		    quidu      	"40C78BB303B7"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    is_navigable 	TRUE)))
	(object Association "$UNNAMED$35"
	    quid       	"4656B3AA0176"
	    roles      	(list role_list
		(object Role "argument"
		    quid       	"4656B3AB02B8"
		    label      	"argument"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "raiseExp"
		    quid       	"4656B3AB0326"
		    label      	"raiseExp"
		    supplier   	"Logical View::ImperativeOCL::RaiseExp"
		    quidu      	"421C9F8601CB"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$36"
	    quid       	"465C4FA2007C"
	    roles      	(list role_list
		(object Role "source"
		    quid       	"465C4FA501B7"
		    label      	"source"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "$UNNAMED$37"
		    quid       	"465C4FA50211"
		    supplier   	"Logical View::ImperativeOCL::UnpackExp"
		    quidu      	"4300B2A901FE"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$38"
	    quid       	"403388A900E8"
	    roles      	(list role_list
		(object Role "value"
		    quid       	"403388AA0284"
		    label      	"value"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "valueOwner"
		    quid       	"403388AA0298"
		    label      	"valueOwner"
		    supplier   	"Logical View::ImperativeOCL::AssignExp"
		    quidu      	"401DC9E201B7"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$39"
	    quid       	"40E90766025B"
	    roles      	(list role_list
		(object Role "referredVariable"
		    quid       	"40E9076B03AD"
		    label      	"referredVariable"
		    supplier   	"Logical View::EssentialOCL::Variable"
		    quidu      	"401DAF870288"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "declaration"
		    quid       	"40E9076B03C1"
		    label      	"declaration"
		    supplier   	"Logical View::ImperativeOCL::VariableInitExp"
		    quidu      	"405AF03101AF"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$40"
	    quid       	"40C961550296"
	    roles      	(list role_list
		(object Role "left"
		    quid       	"40C9615A009F"
		    label      	"left"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "leftOwner"
		    quid       	"40C9615A00B3"
		    label      	"leftOwner"
		    supplier   	"Logical View::ImperativeOCL::AssignExp"
		    quidu      	"401DC9E201B7"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$41"
	    quid       	"40C97259024B"
	    roles      	(list role_list
		(object Role "defaultValue"
		    quid       	"40C9725C00C9"
		    label      	"defaultValue"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "0..1")
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "defaultOwner"
		    quid       	"40C9725C00E7"
		    label      	"defaultOwner"
		    supplier   	"Logical View::ImperativeOCL::AssignExp"
		    quidu      	"401DC9E201B7"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$42"
	    quid       	"40E8862F03B2"
	    roles      	(list role_list
		(object Role "body"
		    quid       	"40E8863003B4"
		    label      	"body"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "blockOwner"
		    quid       	"40E8863003D2"
		    label      	"blockOwner"
		    supplier   	"Logical View::ImperativeOCL::BlockExp"
		    quidu      	"40E8677C0300"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE)))
	(object Association "$UNNAMED$43"
	    quid       	"4AF9AE3B0347"
	    roles      	(list role_list
		(object Role "element"
		    quid       	"4AF9AE3D027C"
		    label      	"element"
		    supplier   	"Logical View::EssentialOCL::OclExpression"
		    quidu      	"401DB533025E"
		    client_cardinality 	(value cardinality "*")
		    Constraints 	"ordered"
		    Containment 	"By Value"
		    is_navigable 	TRUE)
		(object Role "elementOwner"
		    quid       	"4AF9AE3D02CA"
		    label      	"elementOwner"
		    supplier   	"Logical View::ImperativeOCL::ListLiteralExp"
		    quidu      	"4AF9ADE002FB"
		    client_cardinality 	(value cardinality "0..1")
		    is_aggregate 	TRUE))))
    logical_presentations 	(list unit_reference_list
	(object ClassDiagram "Imperative Expressions"
	    quid       	"405AF2FD00D2"
	    title      	"Imperative Expressions"
	    zoom       	100
	    max_height 	28350
	    max_width  	21600
	    origin_x   	0
	    origin_y   	0
	    items      	(list diagram_item_list
		(object ClassView "Class" "Logical View::ImperativeOCL::AssignExp" @1
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(920, 975)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@1
			location   	(802, 934)
			nlines     	1
			max_width  	236
			justify    	0
			label      	"AssignExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"401DC9E201B7"
		    width      	254
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::VariableInitExp" @2
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(712, 1100)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@2
			location   	(561, 1059)
			nlines     	1
			max_width  	302
			justify    	0
			label      	"VariableInitExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"405AF03101AF"
		    width      	320
		    height     	107
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::UnlinkExp" @3
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(988, 844)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@3
			location   	(873, 803)
			nlines     	1
			max_width  	230
			justify    	0
			label      	"UnlinkExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"419B1D3602C3"
		    width      	248
		    height     	107
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ReturnExp" @4
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1669, 700)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@4
			location   	(1551, 659)
			nlines     	1
			max_width  	236
			justify    	0
			label      	"ReturnExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C8A8702EF"
		    width      	254
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::BreakExp" @5
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1565, 834)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@5
			location   	(1462, 793)
			nlines     	1
			max_width  	206
			justify    	0
			label      	"BreakExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C8A91005E"
		    width      	224
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ContinueExp" @6
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1556, 1003)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@6
			location   	(1420, 962)
			nlines     	1
			max_width  	272
			justify    	0
			label      	"ContinueExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421CA16103AF"
		    width      	290
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::SwitchExp" @7
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(625, 816)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@7
			location   	(506, 775)
			nlines     	1
			max_width  	238
			justify    	0
			label      	"SwitchExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"40C9E50E01E5"
		    width      	256
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::AltExp" @8
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(661, 691)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@8
			location   	(580, 650)
			nlines     	1
			max_width  	162
			justify    	0
			label      	"AltExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"416AE618029E"
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::RaiseExp" @9
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2062, 844)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@9
			location   	(1958, 803)
			nlines     	1
			max_width  	208
			justify    	0
			label      	"RaiseExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C9F8601CB"
		    width      	226
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::BlockExp" @10
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1245, 850)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@10
			location   	(1143, 809)
			nlines     	1
			max_width  	204
			justify    	0
			label      	"BlockExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"40E8677C0300"
		    width      	222
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::LoopExp" @11
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(255, 441)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@11
			location   	(108, 391)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"LoopExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"40E529BE03BC"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ForExp" @12
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(283, 925)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@12
			location   	(200, 884)
			nlines     	1
			max_width  	166
			justify    	0
			label      	"ForExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4225F9E4035F"
		    width      	184
		    height     	107
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::CatchExp" @13
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2273, 703)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@13
			location   	(2161, 662)
			nlines     	1
			max_width  	224
			justify    	0
			label      	"CatchExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"46568AE60256"
		    width      	242
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::InstantiationExp" @14
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(584, 966)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@14
			location   	(423, 925)
			nlines     	1
			max_width  	322
			justify    	0
			label      	"InstantiationExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42F718DE004D"
		    width      	340
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::SeverityKind" @15
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2224, 1087)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@15
			location   	(2032, 1003)
			nlines     	1
			max_width  	384
			justify    	0
			label      	"SeverityKind")
		    stereotype 	(object ItemLabel
			Parent_View 	@15
			location   	(2032, 953)
			anchor     	10
			nlines     	1
			max_width  	384
			justify    	0
			label      	"<<enumeration>>")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42FCBDC802BF"
		    width      	402
		    height     	292
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::WhileExp" @16
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1160, 697)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@16
			location   	(1058, 656)
			nlines     	1
			max_width  	204
			justify    	0
			label      	"WhileExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4157DC9B00A4"
		    width      	222
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ComputeExp" @17
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1240, 1019)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@17
			location   	(1105, 978)
			nlines     	1
			max_width  	270
			justify    	0
			label      	"ComputeExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"415A808D0107"
		    width      	288
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ImperativeLoopExp" @18
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(249, 692)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@18
			location   	(62, 651)
			nlines     	1
			max_width  	374
			justify    	0
			label      	"ImperativeLoopExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42FCD2B00184"
		    width      	392
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ImperativeIterateExp" @19
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(249, 1103)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@19
			location   	(44, 1062)
			nlines     	1
			max_width  	410
			justify    	0
			label      	"ImperativeIterateExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"43004432004C"
		    width      	428
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ImperativeExpression" @20
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1163, 416)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@20
			location   	(951, 365)
			nlines     	1
			max_width  	424
			justify    	0
			label      	"ImperativeExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"430045A500E6"
		    width      	442
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object InheritView "" @21
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FCD2D100C3"
		    client     	@18
		    supplier   	@11
		    vertices   	(list Points
			(172, 639)
			(172, 502))
		    line_style 	3
		    origin_attachment 	(172, 639)
		    terminal_attachment 	(172, 502))
		(object InheritTreeView "" @22
		    location   	(249, 840)
		    line_color 	3342489
		    fill_color 	13434879
		    supplier   	@18
		    vertices   	(list Points
			(249, 840)
			(249, 745)))
		(object InheritView "" @23
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"422B3F41013A"
		    client     	@12
		    supplier   	@18
		    vertices   	(list Points
			(291, 872)
			(291, 840))
		    line_style 	3
		    origin_attachment 	(291, 872)
		    terminal_attachment 	(291, 840)
		    drawSupplier 	@22)
		(object InheritView "" @24
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"430044F90084"
		    client     	@19
		    supplier   	@18
		    vertices   	(list Points
			(150, 1049)
			(150, 840))
		    line_style 	3
		    origin_attachment 	(150, 1049)
		    terminal_attachment 	(150, 840)
		    drawSupplier 	@22)
		(object ClassView "Class" "Logical View::ImperativeOCL::UnpackExp" @25
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2331, 853)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@25
			location   	(2210, 812)
			nlines     	1
			max_width  	242
			justify    	0
			label      	"UnpackExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4300B2A901FE"
		    width      	260
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::TryExp" @26
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2032, 709)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@26
			location   	(1949, 668)
			nlines     	1
			max_width  	166
			justify    	0
			label      	"TryExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C9F80033F"
		    width      	184
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::LogExp" @27
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    location   	(1816, 840)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@27
			location   	(1728, 799)
			fill_color 	13434879
			nlines     	1
			max_width  	176
			justify    	0
			label      	"LogExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	13434879
		    quidu      	"42FB7CE3021C"
		    width      	194
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::AssertExp" @28
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1862, 987)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@28
			location   	(1746, 946)
			nlines     	1
			max_width  	232
			justify    	0
			label      	"AssertExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42FCAEE9006C"
		    width      	250
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object InheritTreeView "" @29
		    location   	(1163, 588)
		    line_color 	3342489
		    fill_color 	13434879
		    supplier   	@20
		    vertices   	(list Points
			(1163, 588)
			(1163, 479)))
		(object InheritView "" @30
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"415820350219"
		    client     	@1
		    supplier   	@20
		    vertices   	(list Points
			(850, 922)
			(850, 588))
		    line_style 	3
		    origin_attachment 	(850, 922)
		    terminal_attachment 	(850, 588)
		    drawSupplier 	@29)
		(object InheritView "" @31
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"430045E40190"
		    client     	@2
		    supplier   	@20
		    vertices   	(list Points
			(772, 1047)
			(772, 588))
		    line_style 	3
		    origin_attachment 	(772, 1047)
		    terminal_attachment 	(772, 588)
		    drawSupplier 	@29)
		(object InheritView "" @32
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"419B1F24007A"
		    client     	@3
		    supplier   	@20
		    vertices   	(list Points
			(990, 791)
			(990, 588))
		    line_style 	3
		    origin_attachment 	(990, 791)
		    terminal_attachment 	(990, 588)
		    drawSupplier 	@29)
		(object InheritView "" @33
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB42A0049"
		    client     	@5
		    supplier   	@20
		    vertices   	(list Points
			(1503, 781)
			(1503, 588))
		    line_style 	3
		    origin_attachment 	(1503, 781)
		    terminal_attachment 	(1503, 588)
		    drawSupplier 	@29)
		(object InheritView "" @34
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB42E02F7"
		    client     	@4
		    supplier   	@20
		    vertices   	(list Points
			(1671, 647)
			(1671, 588))
		    line_style 	3
		    origin_attachment 	(1671, 647)
		    terminal_attachment 	(1671, 588)
		    drawSupplier 	@29)
		(object InheritView "" @35
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB4970371"
		    client     	@9
		    supplier   	@20
		    vertices   	(list Points
			(2144, 791)
			(2144, 588))
		    line_style 	3
		    origin_attachment 	(2144, 791)
		    terminal_attachment 	(2144, 588)
		    drawSupplier 	@29)
		(object InheritView "" @36
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4225F7C60310"
		    client     	@8
		    supplier   	@20
		    vertices   	(list Points
			(661, 638)
			(661, 588))
		    line_style 	3
		    origin_attachment 	(661, 638)
		    terminal_attachment 	(661, 588)
		    drawSupplier 	@29)
		(object InheritView "" @37
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4225F7CA0080"
		    client     	@7
		    supplier   	@20
		    vertices   	(list Points
			(541, 763)
			(541, 588))
		    line_style 	3
		    origin_attachment 	(541, 763)
		    terminal_attachment 	(541, 588)
		    drawSupplier 	@29)
		(object InheritView "" @38
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4225F7CD0125"
		    client     	@10
		    supplier   	@20
		    vertices   	(list Points
			(1296, 796)
			(1296, 588))
		    line_style 	3
		    origin_attachment 	(1296, 796)
		    terminal_attachment 	(1296, 588)
		    drawSupplier 	@29)
		(object InheritView "" @39
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"422B6139003C"
		    client     	@13
		    supplier   	@20
		    vertices   	(list Points
			(2256, 649)
			(2256, 588))
		    line_style 	3
		    origin_attachment 	(2256, 649)
		    terminal_attachment 	(2256, 588)
		    drawSupplier 	@29)
		(object InheritView "" @40
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FB0BEF01C3"
		    client     	@14
		    supplier   	@20
		    vertices   	(list Points
			(462, 913)
			(462, 588))
		    line_style 	3
		    origin_attachment 	(462, 913)
		    terminal_attachment 	(462, 588)
		    drawSupplier 	@29)
		(object InheritView "" @41
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FCBBD502DF"
		    client     	@28
		    supplier   	@20
		    vertices   	(list Points
			(1921, 934)
			(1921, 588))
		    line_style 	3
		    origin_attachment 	(1921, 934)
		    terminal_attachment 	(1921, 588)
		    drawSupplier 	@29)
		(object InheritView "" @42
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FFACA3010D"
		    client     	@16
		    supplier   	@20
		    vertices   	(list Points
			(1231, 643)
			(1231, 588))
		    line_style 	3
		    origin_attachment 	(1231, 643)
		    terminal_attachment 	(1231, 588)
		    drawSupplier 	@29)
		(object InheritView "" @43
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"430046380097"
		    client     	@18
		    supplier   	@20
		    vertices   	(list Points
			(247, 639)
			(247, 588))
		    line_style 	3
		    origin_attachment 	(247, 639)
		    terminal_attachment 	(247, 588)
		    drawSupplier 	@29)
		(object InheritView "" @44
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B3DA012A"
		    client     	@25
		    supplier   	@20
		    vertices   	(list Points
			(2416, 800)
			(2416, 588))
		    line_style 	3
		    origin_attachment 	(2416, 800)
		    terminal_attachment 	(2416, 588)
		    drawSupplier 	@29)
		(object InheritView "" @45
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB8C80355"
		    client     	@26
		    supplier   	@20
		    vertices   	(list Points
			(2024, 656)
			(2024, 588))
		    line_style 	3
		    origin_attachment 	(2024, 656)
		    terminal_attachment 	(2024, 588)
		    drawSupplier 	@29)
		(object InheritView "" @46
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"47D11358016B"
		    client     	@27
		    supplier   	@20
		    vertices   	(list Points
			(1816, 787)
			(1816, 588))
		    line_style 	3
		    origin_attachment 	(1816, 787)
		    terminal_attachment 	(1816, 588)
		    drawSupplier 	@29)
		(object InheritView "" @47
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FFACA80331"
		    client     	@17
		    supplier   	@20
		    vertices   	(list Points
			(1366, 966)
			(1366, 588))
		    line_style 	3
		    origin_attachment 	(1366, 966)
		    terminal_attachment 	(1366, 588)
		    drawSupplier 	@29)
		(object InheritView "" @48
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB4320389"
		    client     	@6
		    supplier   	@20
		    vertices   	(list Points
			(1419, 950)
			(1419, 588))
		    line_style 	3
		    origin_attachment 	(1419, 950)
		    terminal_attachment 	(1419, 588)
		    drawSupplier 	@29)))
	(object ClassDiagram "Type extensions"
	    quid       	"42F76E8F0303"
	    title      	"Type extensions"
	    zoom       	100
	    max_height 	28350
	    max_width  	21600
	    origin_x   	0
	    origin_y   	119
	    items      	(list diagram_item_list
		(object ClassView "Class" "Logical View::EMOF::Type" @49
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(732, 100)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@49
			location   	(642, 50)
			fill_color 	13434879
			nlines     	1
			max_width  	180
			justify    	0
			label      	"Type")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454016
		    quidu      	"40C78BB303B7"
		    width      	198
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @50
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(556, 526)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@50
			location   	(409, 476)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::Typedef" @51
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1005, 346)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@51
			location   	(916, 295)
			nlines     	1
			max_width  	178
			justify    	0
			label      	"Typedef")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"423DA806002F"
		    width      	196
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$10" @52
		    location   	(988, 148)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"423DA82903AB"
		    roleview_list 	(list RoleViews
			(object RoleView "base" @53
			    Parent_View 	@52
			    location   	(48, -2886)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @54
				Parent_View 	@53
				location   	(904, 108)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	100
				justify    	0
				label      	"+base"
				pctDist    	0.668203
				height     	20
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"423DA82A01C1"
			    client     	@52
			    supplier   	@49
			    vertices   	(list Points
				(988, 148)
				(988, 88)
				(831, 88))
			    line_style 	3
			    origin_attachment 	(988, 148)
			    terminal_attachment 	(831, 88)
			    label      	(object SegLabel @55
				Parent_View 	@53
				location   	(875, 55)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.801653
				height     	34
				orientation 	1))
			(object RoleView "typedef" @56
			    Parent_View 	@52
			    location   	(48, -2886)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @57
				Parent_View 	@56
				location   	(907, 231)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	140
				justify    	0
				label      	"+typedef"
				pctDist    	0.613861
				height     	82
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"423DA82A01F3"
			    client     	@52
			    supplier   	@51
			    vertices   	(list Points
				(988, 148)
				(988, 283))
			    line_style 	3
			    origin_attachment 	(988, 148)
			    terminal_attachment 	(988, 283)
			    label      	(object SegLabel @58
				Parent_View 	@56
				location   	(1012, 257)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.817073
				height     	24
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$11" @59
		    location   	(915, 519)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"423DAA71026A"
		    roleview_list 	(list RoleViews
			(object RoleView "condition" @60
			    Parent_View 	@59
			    location   	(487, -4677)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @61
				Parent_View 	@60
				location   	(801, 550)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	168
				justify    	0
				label      	"+condition"
				pctDist    	0.568905
				height     	31
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"423DAA730399"
			    client     	@59
			    supplier   	@50
			    vertices   	(list Points
				(915, 519)
				(712, 519))
			    line_style 	3
			    origin_attachment 	(915, 519)
			    terminal_attachment 	(712, 519)
			    label      	(object SegLabel @62
				Parent_View 	@60
				location   	(757, 476)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.784314
				height     	44
				orientation 	1))
			(object RoleView "typedef" @63
			    Parent_View 	@59
			    location   	(487, -4677)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @64
				Parent_View 	@63
				location   	(1030, 506)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	140
				justify    	0
				label      	"+typedef"
				pctDist    	0.528620
				height     	21
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"423DAA740047"
			    client     	@59
			    supplier   	@51
			    vertices   	(list Points
				(915, 519)
				(1009, 519)
				(1009, 409))
			    line_style 	3
			    origin_attachment 	(915, 519)
			    terminal_attachment 	(1009, 409)
			    label      	(object SegLabel @65
				Parent_View 	@63
				location   	(1063, 431)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.894040
				height     	54
				orientation 	1))))
		(object ClassView "Class" "Logical View::EssentialOCL::LiteralExp" @66
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(984, 742)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@66
			location   	(837, 692)
			fill_color 	16777215
			nlines     	1
			max_width  	294
			justify    	0
			label      	"LiteralExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"40E2B2FC0306"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EMOF::Class" @67
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1167, 89)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@67
			location   	(1072, 39)
			fill_color 	13434879
			nlines     	1
			max_width  	190
			justify    	0
			label      	"Class")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454016
		    quidu      	"401DAE57014A"
		    width      	208
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::DictionaryType" @68
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1642, 340)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@68
			location   	(1493, 289)
			nlines     	1
			max_width  	298
			justify    	0
			label      	"DictionaryType")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42F76F3102ED"
		    width      	316
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EMOF::Type" @69
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1919, 95)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@69
			location   	(1829, 45)
			fill_color 	13434879
			nlines     	1
			max_width  	180
			justify    	0
			label      	"Type")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454016
		    quidu      	"40C78BB303B7"
		    width      	198
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$14" @70
		    location   	(1883, 263)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F778370020"
		    roleview_list 	(list RoleViews
			(object RoleView "keyType" @71
			    Parent_View 	@70
			    location   	(1630, -780)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @72
				Parent_View 	@71
				location   	(1862, 223)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	152
				justify    	0
				label      	"+keyType"
				pctDist    	0.381818
				height     	22
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F7783803BB"
			    client     	@70
			    supplier   	@69
			    vertices   	(list Points
				(1883, 263)
				(1883, 156))
			    line_style 	3
			    origin_attachment 	(1883, 263)
			    terminal_attachment 	(1883, 156)
			    label      	(object SegLabel @73
				Parent_View 	@71
				location   	(1921, 196)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	144
				justify    	0
				label      	"0..1"
				pctDist    	0.628571
				height     	38
				orientation 	1))
			(object RoleView "keyDict" @74
			    Parent_View 	@70
			    location   	(1630, -780)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @75
				Parent_View 	@74
				location   	(1866, 289)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	134
				justify    	0
				label      	"+keyDict"
				pctDist    	0.187500
				height     	18
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F7783803D9"
			    client     	@70
			    supplier   	@68
			    vertices   	(list Points
				(1883, 263)
				(1883, 323)
				(1800, 323))
			    line_style 	3
			    origin_attachment 	(1883, 263)
			    terminal_attachment 	(1800, 323)
			    label      	(object SegLabel @76
				Parent_View 	@74
				location   	(1814, 356)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.910638
				height     	33
				orientation 	0))))
		(object ClassView "Class" "Logical View::ImperativeOCL::OrderedTupleType" @77
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1331, 537)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@77
			location   	(1148, 486)
			nlines     	1
			max_width  	366
			justify    	0
			label      	"OrderedTupleType")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4300B442004D"
		    width      	384
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$29" @78
		    location   	(1921, 513)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B4AA0300"
		    roleview_list 	(list RoleViews
			(object RoleView "elementType" @79
			    Parent_View 	@78
			    location   	(1480, -690)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @80
				Parent_View 	@79
				location   	(1968, 381)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	228
				justify    	0
				label      	"+elementType"
				pctDist    	0.460808
				height     	14
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B4AD03D6"
			    client     	@78
			    supplier   	@69
			    vertices   	(list Points
				(1921, 513)
				(1981, 513)
				(1981, 157))
			    line_style 	3
			    origin_attachment 	(1921, 513)
			    terminal_attachment 	(1981, 157)
			    label      	(object SegLabel @81
				Parent_View 	@79
				location   	(2019, 203)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"*"
				pctDist    	0.892231
				height     	38
				orientation 	1)
			    label      	(object SegLabel @82
				Parent_View 	@79
				location   	(2014, 265)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.741093
				height     	33
				orientation 	1))
			(object RoleView "eltTuple" @83
			    Parent_View 	@78
			    location   	(1480, -690)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @84
				Parent_View 	@83
				location   	(1678, 552)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	156
				justify    	0
				label      	"+eltTuple"
				pctDist    	0.610354
				height     	39
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B4AE0020"
			    client     	@78
			    supplier   	@77
			    vertices   	(list Points
				(1921, 513)
				(1523, 513))
			    line_style 	3
			    origin_attachment 	(1921, 513)
			    terminal_attachment 	(1523, 513)
			    label      	(object SegLabel @85
				Parent_View 	@83
				location   	(1563, 567)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	0))))
		(object ClassView "Class" "Logical View::EMOF::Element" @86
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(937, 1478)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@86
			location   	(845, 1428)
			fill_color 	13434879
			nlines     	1
			max_width  	184
			justify    	0
			label      	"Element")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454016
		    quidu      	"40C96ABE02EC"
		    width      	202
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::CollectionType" @87
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1509, 93)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@87
			location   	(1360, 43)
			fill_color 	13434879
			nlines     	1
			max_width  	298
			justify    	0
			label      	"CollectionType")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"40CB3338024A"
		    width      	316
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ListType" @88
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1362, 343)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@88
			location   	(1267, 292)
			nlines     	1
			max_width  	190
			justify    	0
			label      	"ListType")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"43051FB4036A"
		    width      	208
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object InheritTreeView "" @89
		    location   	(1509, 249)
		    line_color 	3342489
		    fill_color 	13434879
		    supplier   	@87
		    vertices   	(list Points
			(1509, 249)
			(1509, 155)))
		(object InheritView "" @90
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"43051F380357"
		    client     	@68
		    supplier   	@87
		    vertices   	(list Points
			(1628, 277)
			(1628, 249))
		    line_style 	3
		    origin_attachment 	(1628, 277)
		    terminal_attachment 	(1628, 249)
		    drawSupplier 	@89)
		(object InheritView "" @91
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"43051FC70168"
		    client     	@88
		    supplier   	@87
		    vertices   	(list Points
			(1363, 280)
			(1363, 249))
		    line_style 	3
		    origin_attachment 	(1363, 280)
		    terminal_attachment 	(1363, 249)
		    drawSupplier 	@89)
		(object InheritTreeView "" @92
		    location   	(1167, 263)
		    line_color 	3342489
		    fill_color 	13434879
		    supplier   	@67
		    vertices   	(list Points
			(1167, 263)
			(1167, 151)))
		(object InheritView "" @93
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F8814D011E"
		    client     	@51
		    supplier   	@67
		    vertices   	(list Points
			(1034, 282)
			(1034, 263))
		    line_style 	3
		    origin_attachment 	(1034, 282)
		    terminal_attachment 	(1034, 263)
		    drawSupplier 	@92)
		(object InheritView "" @94
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B49F00D3"
		    client     	@77
		    supplier   	@67
		    vertices   	(list Points
			(1219, 474)
			(1219, 263))
		    line_style 	3
		    origin_attachment 	(1219, 474)
		    terminal_attachment 	(1219, 263)
		    drawSupplier 	@92)
		(object ClassView "Class" "Logical View::ImperativeOCL::DictLiteralExp" @95
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(473, 995)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@95
			location   	(330, 944)
			nlines     	1
			max_width  	286
			justify    	0
			label      	"DictLiteralExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42F770540087"
		    width      	304
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::OrderedTupleLiteralExp" @96
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1983, 993)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@96
			location   	(1755, 942)
			nlines     	1
			max_width  	456
			justify    	0
			label      	"OrderedTupleLiteralExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4300B6520273"
		    width      	474
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::DictLiteralPart" @97
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(477, 1287)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@97
			location   	(333, 1236)
			nlines     	1
			max_width  	288
			justify    	0
			label      	"DictLiteralPart")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42F7707C0311"
		    width      	306
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$13" @98
		    location   	(471, 1141)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F7708D0135"
		    roleview_list 	(list RoleViews
			(object RoleView "part" @99
			    Parent_View 	@98
			    location   	(-997, 826)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @100
				Parent_View 	@99
				location   	(385, 1189)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	86
				justify    	0
				label      	"+part"
				pctDist    	0.589041
				height     	87
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F7708D02A8"
			    client     	@98
			    supplier   	@97
			    vertices   	(list Points
				(471, 1141)
				(471, 1224))
			    line_style 	3
			    origin_attachment 	(471, 1141)
			    terminal_attachment 	(471, 1224)
			    label      	(object SegLabel @101
				Parent_View 	@99
				location   	(525, 1216)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	0))
			(object RoleView "partOwner" @102
			    Parent_View 	@98
			    location   	(-997, 826)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @103
				Parent_View 	@102
				location   	(359, 1096)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	180
				justify    	0
				label      	"+partOwner"
				pctDist    	0.550000
				height     	113
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F7708D02AA"
			    client     	@98
			    supplier   	@95
			    vertices   	(list Points
				(471, 1141)
				(471, 1058))
			    line_style 	3
			    origin_attachment 	(471, 1141)
			    terminal_attachment 	(471, 1058)
			    label      	(object SegLabel @104
				Parent_View 	@102
				location   	(526, 1099)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.506849
				height     	55
				orientation 	1))))
		(object InheritView "" @105
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B609007A"
		    client     	@97
		    supplier   	@86
		    vertices   	(list Points
			(487, 1350)
			(487, 1437)
			(836, 1437))
		    line_style 	3
		    origin_attachment 	(487, 1350)
		    terminal_attachment 	(836, 1437))
		(object ClassView "Class" "Logical View::ImperativeOCL::OrderedTupleLiteralPart" @106
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2023, 1280)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@106
			location   	(1791, 1229)
			nlines     	1
			max_width  	464
			justify    	0
			label      	"OrderedTupleLiteralPart")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4300B66201D6"
		    width      	482
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$30" @107
		    location   	(2022, 1136)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B6BF03B0"
		    roleview_list 	(list RoleViews
			(object RoleView "part" @108
			    Parent_View 	@107
			    location   	(599, 183)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @109
				Parent_View 	@108
				location   	(2137, 1194)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	86
				justify    	0
				label      	"+part"
				pctDist    	0.732394
				height     	115
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B6C0028F"
			    client     	@107
			    supplier   	@106
			    vertices   	(list Points
				(2022, 1136)
				(2022, 1217))
			    line_style 	3
			    origin_attachment 	(2022, 1136)
			    terminal_attachment 	(2022, 1217)
			    label      	(object SegLabel @110
				Parent_View 	@108
				location   	(2076, 1208)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	0)
			    label      	(object SegLabel @111
				Parent_View 	@108
				location   	(2104, 1154)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.225352
				height     	82
				orientation 	0))
			(object RoleView "partOwner" @112
			    Parent_View 	@107
			    location   	(599, 183)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @113
				Parent_View 	@112
				location   	(2147, 1099)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	180
				justify    	0
				label      	"+partOwner"
				pctDist    	0.478873
				height     	125
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B6C00291"
			    client     	@107
			    supplier   	@96
			    vertices   	(list Points
				(2022, 1136)
				(2022, 1056))
			    line_style 	3
			    origin_attachment 	(2022, 1136)
			    terminal_attachment 	(2022, 1056)
			    label      	(object SegLabel @114
				Parent_View 	@112
				location   	(1988, 1081)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.704225
				height     	35
				orientation 	0))))
		(object InheritView "" @115
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B73C00E9"
		    client     	@106
		    supplier   	@86
		    vertices   	(list Points
			(1934, 1343)
			(1934, 1441)
			(1038, 1441))
		    line_style 	3
		    origin_attachment 	(1934, 1343)
		    terminal_attachment 	(1038, 1441))
		(object InheritTreeView "" @116
		    location   	(984, 905)
		    line_color 	3342489
		    fill_color 	13434879
		    supplier   	@66
		    vertices   	(list Points
			(984, 905)
			(984, 804)))
		(object InheritView "" @117
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F770720172"
		    client     	@95
		    supplier   	@66
		    vertices   	(list Points
			(461, 932)
			(461, 905))
		    line_style 	3
		    origin_attachment 	(461, 932)
		    terminal_attachment 	(461, 905)
		    drawSupplier 	@116)
		(object InheritView "" @118
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B67E0226"
		    client     	@96
		    supplier   	@66
		    vertices   	(list Points
			(1982, 930)
			(1982, 905))
		    line_style 	3
		    origin_attachment 	(1982, 930)
		    terminal_attachment 	(1982, 905)
		    drawSupplier 	@116)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @119
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(901, 1030)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@119
			location   	(754, 980)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$15" @120
		    location   	(726, 1248)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F778B00135"
		    roleview_list 	(list RoleViews
			(object RoleView "key" @121
			    Parent_View 	@120
			    location   	(-361, -11)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @122
				Parent_View 	@121
				location   	(726, 1143)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	78
				justify    	0
				label      	"+key"
				pctDist    	0.767677
				height     	61
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F778B100FA"
			    client     	@120
			    supplier   	@119
			    vertices   	(list Points
				(726, 1248)
				(786, 1248)
				(786, 1092))
			    line_style 	3
			    origin_attachment 	(726, 1248)
			    terminal_attachment 	(786, 1092)
			    label      	(object SegLabel @123
				Parent_View 	@121
				location   	(818, 1134)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.808081
				height     	32
				orientation 	1))
			(object RoleView "keyOwner" @124
			    Parent_View 	@120
			    location   	(-361, -11)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @125
				Parent_View 	@124
				location   	(659, 1204)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	172
				justify    	0
				label      	"+keyOwner"
				pctDist    	0.709091
				height     	45
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F778B101C2"
			    client     	@120
			    supplier   	@97
			    vertices   	(list Points
				(726, 1248)
				(630, 1248))
			    line_style 	3
			    origin_attachment 	(726, 1248)
			    terminal_attachment 	(630, 1248)
			    label      	(object SegLabel @126
				Parent_View 	@124
				location   	(665, 1285)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.631068
				height     	37
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$16" @127
		    location   	(848, 1312)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F778B60165"
		    roleview_list 	(list RoleViews
			(object RoleView "value" @128
			    Parent_View 	@127
			    location   	(-239, 53)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @129
				Parent_View 	@128
				location   	(868, 1148)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	112
				justify    	0
				label      	"+value"
				pctDist    	0.800687
				height     	41
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F778B70239"
			    client     	@127
			    supplier   	@119
			    vertices   	(list Points
				(848, 1312)
				(908, 1312)
				(908, 1092))
			    line_style 	3
			    origin_attachment 	(848, 1312)
			    terminal_attachment 	(908, 1092)
			    label      	(object SegLabel @130
				Parent_View 	@128
				location   	(946, 1111)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.931035
				height     	38
				orientation 	1))
			(object RoleView "valOwner" @131
			    Parent_View 	@127
			    location   	(-239, 53)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @132
				Parent_View 	@131
				location   	(762, 1342)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	168
				justify    	0
				label      	"+valOwner"
				pctDist    	0.396396
				height     	30
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F778B702ED"
			    client     	@127
			    supplier   	@97
			    vertices   	(list Points
				(848, 1312)
				(630, 1312))
			    line_style 	3
			    origin_attachment 	(848, 1312)
			    terminal_attachment 	(630, 1312)
			    label      	(object SegLabel @133
				Parent_View 	@131
				location   	(656, 1353)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.887387
				height     	41
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$31" @134
		    location   	(1320, 1289)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B7BC0396"
		    roleview_list 	(list RoleViews
			(object RoleView "value" @135
			    Parent_View 	@134
			    location   	(-115, 68)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @136
				Parent_View 	@135
				location   	(424, 1197)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	100
				justify    	0
				label      	"+value"
				pctDist    	0.773973
				height     	632
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B7BE0172"
			    client     	@134
			    supplier   	@119
			    vertices   	(list Points
				(1320, 1289)
				(1055, 1289)
				(1055, 1092))
			    line_style 	3
			    origin_attachment 	(1320, 1289)
			    terminal_attachment 	(1055, 1092)
			    label      	(object SegLabel @137
				Parent_View 	@135
				location   	(1109, 1143)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.891720
				height     	54
				orientation 	1))
			(object RoleView "tupValOwner" @138
			    Parent_View 	@134
			    location   	(-115, 68)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @139
				Parent_View 	@138
				location   	(1544, 1254)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	222
				justify    	0
				label      	"+tupValOwner"
				pctDist    	0.484716
				height     	36
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B7BE023B"
			    client     	@134
			    supplier   	@106
			    vertices   	(list Points
				(1320, 1289)
				(1782, 1289))
			    line_style 	3
			    origin_attachment 	(1320, 1289)
			    terminal_attachment 	(1782, 1289)
			    label      	(object SegLabel @140
				Parent_View 	@138
				location   	(1735, 1343)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.897436
				height     	54
				orientation 	1))))
		(object ClassView "Class" "Logical View::ImperativeOCL::ListLiteralExp" @141
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    location   	(1538, 1025)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@141
			location   	(1399, 974)
			nlines     	1
			max_width  	278
			justify    	0
			label      	"ListLiteralExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    quidu      	"4AF9ADE002FB"
		    width      	296
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object InheritView "" @142
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4AF9AE1E022F"
		    client     	@141
		    supplier   	@66
		    vertices   	(list Points
			(1537, 962)
			(1537, 905))
		    line_style 	3
		    origin_attachment 	(1537, 962)
		    terminal_attachment 	(1537, 905)
		    drawSupplier 	@116)
		(object AssociationViewNew "$UNNAMED$43" @143
		    location   	(1223, 1026)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4AF9AE3B0347"
		    roleview_list 	(list RoleViews
			(object RoleView "element" @144
			    Parent_View 	@143
			    location   	(-315, 14)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @145
				Parent_View 	@144
				location   	(1125, 991)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	152
				justify    	0
				label      	"+element"
				pctDist    	0.587736
				height     	36
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4AF9AE3D027C"
			    client     	@143
			    supplier   	@119
			    vertices   	(list Points
				(1223, 1026)
				(1057, 1028))
			    line_style 	0
			    label      	(object SegLabel @146
				Parent_View 	@144
				location   	(1076, 1082)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	28
				justify    	0
				label      	"*"
				pctDist    	0.889477
				height     	54
				orientation 	0)
			    label      	(object SegLabel @147
				Parent_View 	@144
				location   	(1168, 1069)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.334398
				height     	42
				orientation 	0))
			(object RoleView "elementOwner" @148
			    Parent_View 	@143
			    location   	(-315, 14)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @149
				Parent_View 	@148
				location   	(1257, 941)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	246
				justify    	0
				label      	"+elementOwner"
				pctDist    	0.207896
				height     	85
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4AF9AE3D02CA"
			    client     	@143
			    supplier   	@141
			    vertices   	(list Points
				(1223, 1026)
				(1389, 1025))
			    line_style 	0
			    label      	(object SegLabel @150
				Parent_View 	@148
				location   	(1337, 1064)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.685343
				height     	39
				orientation 	1))))))
	(object ClassDiagram "Control expressions"
	    quid       	"43004989011A"
	    title      	"Control expressions"
	    zoom       	100
	    max_height 	28350
	    max_width  	21600
	    origin_x   	1475
	    origin_y   	0
	    items      	(list diagram_item_list
		(object ClassView "Class" "Logical View::ImperativeOCL::SwitchExp" @151
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1604, 232)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@151
			location   	(1485, 181)
			nlines     	1
			max_width  	238
			justify    	0
			label      	"SwitchExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"40C9E50E01E5"
		    width      	256
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @152
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1875, 920)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@152
			location   	(1728, 870)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$2" @153
		    location   	(1568, 662)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4157E7BD021A"
		    roleview_list 	(list RoleViews
			(object RoleView "elsePart" @154
			    Parent_View 	@153
			    location   	(721, -1682)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @155
				Parent_View 	@154
				location   	(1594, 911)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	150
				justify    	0
				label      	"+elsePart"
				pctDist    	0.660066
				height     	33
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4157E7BE02C5"
			    client     	@153
			    supplier   	@152
			    vertices   	(list Points
				(1568, 662)
				(1568, 878)
				(1719, 878))
			    line_style 	3
			    origin_attachment 	(1568, 662)
			    terminal_attachment 	(1719, 878)
			    label      	(object SegLabel @156
				Parent_View 	@154
				location   	(1683, 826)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.901786
				height     	53
				orientation 	0))
			(object RoleView "elsePartOwner" @157
			    Parent_View 	@153
			    location   	(721, -1682)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @158
				Parent_View 	@157
				location   	(1492, 405)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	244
				justify    	0
				label      	"+elsePartOwner"
				pctDist    	0.703008
				height     	77
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4157E7BE02ED"
			    client     	@153
			    supplier   	@151
			    vertices   	(list Points
				(1568, 662)
				(1568, 295))
			    line_style 	3
			    origin_attachment 	(1568, 662)
			    terminal_attachment 	(1568, 295)
			    label      	(object SegLabel @159
				Parent_View 	@157
				location   	(1622, 331)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.901786
				height     	54
				orientation 	1))))
		(object ClassView "Class" "Logical View::ImperativeOCL::AltExp" @160
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1871, 513)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@160
			location   	(1790, 472)
			nlines     	1
			max_width  	162
			justify    	0
			label      	"AltExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"416AE618029E"
		    height     	107
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$1" @161
		    location   	(1856, 271)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4157E74A0047"
		    roleview_list 	(list RoleViews
			(object RoleView "alternativePart" @162
			    Parent_View 	@161
			    location   	(1009, -2073)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @163
				Parent_View 	@162
				location   	(1860, 403)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	246
				justify    	0
				label      	"+alternativePart"
				pctDist    	0.704762
				height     	4
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4157E74B0071"
			    client     	@161
			    supplier   	@160
			    vertices   	(list Points
				(1856, 271)
				(1856, 459))
			    line_style 	3
			    origin_attachment 	(1856, 271)
			    terminal_attachment 	(1856, 459)
			    label      	(object SegLabel @164
				Parent_View 	@162
				location   	(1803, 439)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	24
				justify    	0
				label      	"*"
				pctDist    	0.895000
				height     	54
				orientation 	1)
			    label      	(object SegLabel @165
				Parent_View 	@162
				location   	(1858, 310)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.211864
				height     	2
				orientation 	0))
			(object RoleView "altOwner" @166
			    Parent_View 	@161
			    location   	(1009, -2073)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @167
				Parent_View 	@166
				location   	(1820, 206)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	162
				justify    	0
				label      	"+altOwner"
				pctDist    	0.343374
				height     	37
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4157E74B0099"
			    client     	@161
			    supplier   	@151
			    vertices   	(list Points
				(1856, 271)
				(1856, 206)
				(1732, 206))
			    line_style 	3
			    origin_attachment 	(1856, 271)
			    terminal_attachment 	(1732, 206)
			    label      	(object SegLabel @168
				Parent_View 	@166
				location   	(1789, 155)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.698492
				height     	52
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$3" @169
		    location   	(1802, 711)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"416AE67401A6"
		    roleview_list 	(list RoleViews
			(object RoleView "condition" @170
			    Parent_View 	@169
			    location   	(576, -1364)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @171
				Parent_View 	@170
				location   	(1800, 815)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	168
				justify    	0
				label      	"+condition"
				pctDist    	0.709091
				height     	3
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"416AE675011C"
			    client     	@169
			    supplier   	@152
			    vertices   	(list Points
				(1802, 711)
				(1802, 858))
			    line_style 	3
			    origin_attachment 	(1802, 711)
			    terminal_attachment 	(1802, 858)
			    label      	(object SegLabel @172
				Parent_View 	@170
				location   	(1761, 783)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.496970
				height     	42
				orientation 	1))
			(object RoleView "altCondOwner" @173
			    Parent_View 	@169
			    location   	(576, -1364)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @174
				Parent_View 	@173
				location   	(1760, 667)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	240
				justify    	0
				label      	"+altCondOwner"
				pctDist    	0.307087
				height     	43
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"416AE6750158"
			    client     	@169
			    supplier   	@160
			    vertices   	(list Points
				(1802, 711)
				(1802, 565))
			    line_style 	3
			    origin_attachment 	(1802, 711)
			    terminal_attachment 	(1802, 565)
			    label      	(object SegLabel @175
				Parent_View 	@173
				location   	(1846, 611)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.694690
				height     	44
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$4" @176
		    location   	(2140, 655)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"416AE68E032A"
		    roleview_list 	(list RoleViews
			(object RoleView "body" @177
			    Parent_View 	@176
			    location   	(914, -1420)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @178
				Parent_View 	@177
				location   	(2105, 878)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	102
				justify    	0
				label      	"+body"
				pctDist    	0.794444
				height     	29
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"416AE6900279"
			    client     	@176
			    supplier   	@152
			    vertices   	(list Points
				(2140, 655)
				(2140, 906)
				(2031, 906))
			    line_style 	3
			    origin_attachment 	(2140, 655)
			    terminal_attachment 	(2031, 906)
			    label      	(object SegLabel @179
				Parent_View 	@177
				location   	(2068, 960)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.900452
				height     	54
				orientation 	0))
			(object RoleView "altBodyOwner" @180
			    Parent_View 	@176
			    location   	(914, -1420)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @181
				Parent_View 	@180
				location   	(2093, 599)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	236
				justify    	0
				label      	"+altBodyOwner"
				pctDist    	0.155882
				height     	48
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"416AE69002B5"
			    client     	@176
			    supplier   	@160
			    vertices   	(list Points
				(2140, 655)
				(2140, 474)
				(1961, 474))
			    line_style 	3
			    origin_attachment 	(2140, 655)
			    terminal_attachment 	(1961, 474)
			    label      	(object SegLabel @182
				Parent_View 	@180
				location   	(2033, 531)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.800905
				height     	57
				orientation 	0))))
		(object ClassView "Class" "Logical View::EssentialOCL::Variable" @183
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(237, 933)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@183
			location   	(90, 883)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"Variable")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DAF870288"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ImperativeIterateExp" @184
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(249, 509)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@184
			location   	(44, 458)
			nlines     	1
			max_width  	410
			justify    	0
			label      	"ImperativeIterateExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"43004432004C"
		    width      	428
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$26" @185
		    location   	(166, 721)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"43007F43017B"
		    roleview_list 	(list RoleViews
			(object RoleView "target" @186
			    Parent_View 	@185
			    location   	(2, 199)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @187
				Parent_View 	@186
				location   	(128, 828)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	114
				justify    	0
				label      	"+target"
				pctDist    	0.719721
				height     	39
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"43007F4303A2"
			    client     	@185
			    supplier   	@183
			    vertices   	(list Points
				(166, 721)
				(166, 870))
			    line_style 	3
			    origin_attachment 	(166, 721)
			    terminal_attachment 	(166, 870)
			    label      	(object SegLabel @188
				Parent_View 	@186
				location   	(228, 821)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.679105
				height     	62
				orientation 	0))
			(object RoleView "tgtOwner" @189
			    Parent_View 	@185
			    location   	(2, 199)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @190
				Parent_View 	@189
				location   	(143, 686)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	162
				justify    	0
				label      	"+tgtOwner"
				pctDist    	0.238260
				height     	24
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"43007F440032"
			    client     	@185
			    supplier   	@184
			    vertices   	(list Points
				(166, 721)
				(166, 572))
			    line_style 	3
			    origin_attachment 	(166, 721)
			    terminal_attachment 	(166, 572)
			    label      	(object SegLabel @191
				Parent_View 	@189
				location   	(225, 605)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.776119
				height     	59
				orientation 	1))))
		(object ClassView "Class" "Logical View::ImperativeOCL::BlockExp" @192
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1237, 339)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@192
			location   	(1134, 288)
			nlines     	1
			max_width  	206
			justify    	0
			label      	"BlockExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"40E8677C0300"
		    width      	224
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ImperativeLoopExp" @193
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(233, 302)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@193
			location   	(46, 251)
			nlines     	1
			max_width  	374
			justify    	0
			label      	"ImperativeLoopExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42FCD2B00184"
		    width      	392
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object InheritView "" @194
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"430044F90084"
		    client     	@184
		    supplier   	@193
		    vertices   	(list Points
			(166, 445)
			(166, 365))
		    line_style 	3
		    origin_attachment 	(166, 445)
		    terminal_attachment 	(166, 365))
		(object ClassView "Class" "Logical View::ImperativeOCL::WhileExp" @195
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(874, 568)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@195
			location   	(772, 517)
			nlines     	1
			max_width  	204
			justify    	0
			label      	"WhileExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4157DC9B00A4"
		    width      	222
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ComputeExp" @196
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1257, 536)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@196
			location   	(1122, 485)
			nlines     	1
			max_width  	270
			justify    	0
			label      	"ComputeExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"415A808D0107"
		    width      	288
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @197
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(669, 122)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@197
			location   	(522, 72)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$42" @198
		    location   	(1165, 78)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"40E8862F03B2"
		    roleview_list 	(list RoleViews
			(object RoleView "body" @199
			    Parent_View 	@198
			    location   	(-842, -962)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @200
				Parent_View 	@199
				location   	(926, 48)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	102
				justify    	0
				label      	"+body"
				pctDist    	0.702970
				height     	31
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40E8863003B4"
			    client     	@198
			    supplier   	@197
			    vertices   	(list Points
				(1165, 78)
				(825, 78))
			    line_style 	3
			    origin_attachment 	(1165, 78)
			    terminal_attachment 	(825, 78)
			    label      	(object SegLabel @201
				Parent_View 	@199
				location   	(860, 132)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	0)
			    label      	(object SegLabel @202
				Parent_View 	@199
				location   	(1055, 114)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.323404
				height     	36
				orientation 	0))
			(object RoleView "blockOwner" @203
			    Parent_View 	@198
			    location   	(-842, -962)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @204
				Parent_View 	@203
				location   	(1343, 139)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	200
				justify    	0
				label      	"+blockOwner"
				pctDist    	0.597826
				height     	37
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40E8863003D2"
			    client     	@198
			    supplier   	@192
			    vertices   	(list Points
				(1165, 78)
				(1306, 78)
				(1306, 276))
			    line_style 	3
			    origin_attachment 	(1165, 78)
			    terminal_attachment 	(1306, 276)
			    label      	(object SegLabel @205
				Parent_View 	@203
				location   	(1352, 210)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.807692
				height     	46
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$0" @206
		    location   	(681, 417)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4157E1BE02A7"
		    roleview_list 	(list RoleViews
			(object RoleView "condition" @207
			    Parent_View 	@206
			    location   	(-163, -1507)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @208
				Parent_View 	@207
				location   	(681, 234)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	168
				justify    	0
				label      	"+condition"
				pctDist    	0.791304
				height     	1
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4157E1BF0081"
			    client     	@206
			    supplier   	@197
			    vertices   	(list Points
				(681, 417)
				(681, 183))
			    line_style 	3
			    origin_attachment 	(681, 417)
			    terminal_attachment 	(681, 183)
			    label      	(object SegLabel @209
				Parent_View 	@207
				location   	(731, 263)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.658824
				height     	50
				orientation 	1))
			(object RoleView "whileExpression" @210
			    Parent_View 	@206
			    location   	(-163, -1507)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @211
				Parent_View 	@210
				location   	(711, 483)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	264
				justify    	0
				label      	"+whileExpression"
				pctDist    	0.283262
				height     	30
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4157E1BF009F"
			    client     	@206
			    supplier   	@195
			    vertices   	(list Points
				(681, 417)
				(681, 568)
				(763, 568))
			    line_style 	3
			    origin_attachment 	(681, 417)
			    terminal_attachment 	(763, 568)
			    label      	(object SegLabel @212
				Parent_View 	@210
				location   	(727, 604)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.851852
				height     	36
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$24" @213
		    location   	(317, 104)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FCD35502CC"
		    roleview_list 	(list RoleViews
			(object RoleView "condition" @214
			    Parent_View 	@213
			    location   	(27, -1205)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @215
				Parent_View 	@214
				location   	(402, 132)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	217
				justify    	0
				label      	"+condition"
				pctDist    	0.431818
				height     	28
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FCD3560346"
			    client     	@213
			    supplier   	@197
			    vertices   	(list Points
				(317, 104)
				(513, 104))
			    line_style 	3
			    origin_attachment 	(317, 104)
			    terminal_attachment 	(513, 104)
			    label      	(object SegLabel @216
				Parent_View 	@214
				location   	(475, 170)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.809278
				height     	66
				orientation 	1))
			(object RoleView "loopCondOwner" @217
			    Parent_View 	@213
			    location   	(27, -1205)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @218
				Parent_View 	@217
				location   	(216, 173)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	315
				justify    	0
				label      	"+loopCondOwner"
				pctDist    	0.663594
				height     	42
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FCD35603D2"
			    client     	@213
			    supplier   	@193
			    vertices   	(list Points
				(317, 104)
				(257, 104)
				(257, 239))
			    line_style 	3
			    origin_attachment 	(317, 104)
			    terminal_attachment 	(257, 239)
			    label      	(object SegLabel @219
				Parent_View 	@217
				location   	(317, 215)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.877273
				height     	60
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$17" @220
		    location   	(855, 335)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F787D5010A"
		    roleview_list 	(list RoleViews
			(object RoleView "body" @221
			    Parent_View 	@220
			    location   	(-174, -966)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @222
				Parent_View 	@221
				location   	(839, 236)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	96
				justify    	0
				label      	"+body"
				pctDist    	0.754098
				height     	39
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F787D60043"
			    client     	@220
			    supplier   	@197
			    vertices   	(list Points
				(855, 335)
				(800, 335)
				(800, 184))
			    line_style 	3
			    origin_attachment 	(855, 335)
			    terminal_attachment 	(800, 184)
			    label      	(object SegLabel @223
				Parent_View 	@221
				location   	(765, 297)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"1"
				pctDist    	0.455696
				height     	36
				orientation 	0))
			(object RoleView "whileOwner" @224
			    Parent_View 	@220
			    location   	(-174, -966)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @225
				Parent_View 	@224
				location   	(888, 395)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	218
				justify    	0
				label      	"+whileOwner"
				pctDist    	0.510549
				height     	23
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F787D60093"
			    client     	@220
			    supplier   	@195
			    vertices   	(list Points
				(855, 335)
				(910, 335)
				(910, 505))
			    line_style 	3
			    origin_attachment 	(855, 335)
			    terminal_attachment 	(910, 505)
			    label      	(object SegLabel @226
				Parent_View 	@224
				location   	(874, 453)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.771690
				height     	37
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$25" @227
		    location   	(1042, 265)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FFAB670393"
		    roleview_list 	(list RoleViews
			(object RoleView "body" @228
			    Parent_View 	@227
			    location   	(-286, -1263)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @229
				Parent_View 	@228
				location   	(949, 195)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	102
				justify    	0
				label      	"+body"
				pctDist    	0.617555
				height     	36
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FFAB6A0211"
			    client     	@227
			    supplier   	@197
			    vertices   	(list Points
				(1042, 265)
				(1042, 159)
				(825, 159))
			    line_style 	3
			    origin_attachment 	(1042, 265)
			    terminal_attachment 	(825, 159)
			    label      	(object SegLabel @230
				Parent_View 	@228
				location   	(881, 185)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.830721
				height     	26
				orientation 	0))
			(object RoleView "computeOwner" @231
			    Parent_View 	@227
			    location   	(-286, -1263)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @232
				Parent_View 	@231
				location   	(1108, 442)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	252
				justify    	0
				label      	"+computeOwner"
				pctDist    	0.548589
				height     	66
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FFAB6A02D9"
			    client     	@227
			    supplier   	@196
			    vertices   	(list Points
				(1042, 265)
				(1042, 517)
				(1113, 517))
			    line_style 	3
			    origin_attachment 	(1042, 265)
			    terminal_attachment 	(1113, 517)
			    label      	(object SegLabel @233
				Parent_View 	@231
				location   	(1081, 571)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.899687
				height     	54
				orientation 	1))))
		(object ClassView "Class" "Logical View::EMOF::Class" @234
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(506, 930)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@234
			location   	(411, 880)
			fill_color 	13434879
			nlines     	1
			max_width  	190
			justify    	0
			label      	"Class")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454016
		    quidu      	"401DAE57014A"
		    width      	208
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::Variable" @235
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1180, 933)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@235
			location   	(1033, 883)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"Variable")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DAF870288"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$9" @236
		    location   	(1241, 735)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42203480015C"
		    roleview_list 	(list RoleViews
			(object RoleView "returnedElement" @237
			    Parent_View 	@236
			    location   	(261, -719)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @238
				Parent_View 	@237
				location   	(1283, 809)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	278
				justify    	0
				label      	"+returnedElement"
				pctDist    	0.554545
				height     	42
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4220348101CC"
			    client     	@236
			    supplier   	@235
			    vertices   	(list Points
				(1241, 735)
				(1241, 871))
			    line_style 	3
			    origin_attachment 	(1241, 735)
			    terminal_attachment 	(1241, 871)
			    label      	(object SegLabel @239
				Parent_View 	@237
				location   	(1208, 854)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"1"
				pctDist    	0.873395
				height     	34
				orientation 	1))
			(object RoleView "computeOwner" @240
			    Parent_View 	@236
			    location   	(261, -719)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @241
				Parent_View 	@240
				location   	(1270, 699)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	339
				justify    	0
				label      	"+computeOwner"
				pctDist    	0.263636
				height     	29
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42203481021C"
			    client     	@236
			    supplier   	@196
			    vertices   	(list Points
				(1241, 735)
				(1241, 599))
			    line_style 	3
			    origin_attachment 	(1241, 735)
			    terminal_attachment 	(1241, 599)
			    label      	(object SegLabel @242
				Parent_View 	@240
				location   	(1182, 616)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.876506
				height     	60
				orientation 	0))))
		(object ClassView "Class" "Logical View::ImperativeOCL::InstantiationExp" @243
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(506, 655)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@243
			location   	(341, 604)
			nlines     	1
			max_width  	330
			justify    	0
			label      	"InstantiationExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42F718DE004D"
		    width      	348
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$20" @244
		    location   	(577, 375)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FB0C6501FE"
		    roleview_list 	(list RoleViews
			(object RoleView "argument" @245
			    Parent_View 	@244
			    location   	(-252, -5055)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @246
				Parent_View 	@245
				location   	(555, 257)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	172
				justify    	0
				label      	"+argument"
				pctDist    	0.619792
				height     	23
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FB0C670215"
			    client     	@244
			    supplier   	@197
			    vertices   	(list Points
				(577, 375)
				(577, 184))
			    line_style 	3
			    origin_attachment 	(577, 375)
			    terminal_attachment 	(577, 184)
			    label      	(object SegLabel @247
				Parent_View 	@245
				location   	(631, 204)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	1)
			    label      	(object SegLabel @248
				Parent_View 	@245
				location   	(559, 319)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.297491
				height     	19
				orientation 	0))
			(object RoleView "argOwner" @249
			    Parent_View 	@244
			    location   	(-252, -5055)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @250
				Parent_View 	@249
				location   	(508, 462)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	172
				justify    	0
				label      	"+argOwner"
				pctDist    	0.570957
				height     	17
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FB0C6702D4"
			    client     	@244
			    supplier   	@243
			    vertices   	(list Points
				(577, 375)
				(577, 435)
				(491, 435)
				(491, 592))
			    line_style 	3
			    origin_attachment 	(577, 375)
			    terminal_attachment 	(491, 592)
			    label      	(object SegLabel @251
				Parent_View 	@249
				location   	(543, 532)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.805281
				height     	52
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$12" @252
		    location   	(513, 792)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F719CC008F"
		    roleview_list 	(list RoleViews
			(object RoleView "instantiatedClass" @253
			    Parent_View 	@252
			    location   	(47, -4999)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @254
				Parent_View 	@253
				location   	(521, 826)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	349
				justify    	0
				label      	"+instantiatedClass"
				pctDist    	0.459016
				height     	8
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F719CD02CB"
			    client     	@252
			    supplier   	@234
			    vertices   	(list Points
				(513, 792)
				(513, 867))
			    line_style 	3
			    origin_attachment 	(513, 792)
			    terminal_attachment 	(513, 867)
			    label      	(object SegLabel @255
				Parent_View 	@253
				location   	(460, 858)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.897436
				height     	54
				orientation 	1))
			(object RoleView "instantiationExp" @256
			    Parent_View 	@252
			    location   	(47, -4999)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @257
				Parent_View 	@256
				location   	(445, 747)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	268
				justify    	0
				label      	"+instantiationExp"
				pctDist    	0.626087
				height     	69
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F719CD0307"
			    client     	@252
			    supplier   	@243
			    vertices   	(list Points
				(513, 792)
				(513, 718))
			    line_style 	3
			    origin_attachment 	(513, 792)
			    terminal_attachment 	(513, 718)
			    label      	(object SegLabel @258
				Parent_View 	@256
				location   	(540, 733)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.815642
				height     	27
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$19" @259
		    location   	(974, 682)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FB0C1900B5"
		    roleview_list 	(list RoleViews
			(object RoleView "extent" @260
			    Parent_View 	@259
			    location   	(145, -4748)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @261
				Parent_View 	@260
				location   	(1003, 783)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	122
				justify    	0
				label      	"+extent"
				pctDist    	0.102362
				height     	101
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FB0C1A008E"
			    client     	@259
			    supplier   	@235
			    vertices   	(list Points
				(974, 682)
				(1078, 682)
				(1078, 871))
			    line_style 	3
			    origin_attachment 	(974, 682)
			    terminal_attachment 	(1078, 871)
			    label      	(object SegLabel @262
				Parent_View 	@260
				location   	(1038, 809)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.792115
				height     	41
				orientation 	1))
			(object RoleView "instantiationExp" @263
			    Parent_View 	@259
			    location   	(145, -4748)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @264
				Parent_View 	@263
				location   	(852, 697)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	268
				justify    	0
				label      	"+instantiationExp"
				pctDist    	0.413882
				height     	15
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FB0C1A00D4"
			    client     	@259
			    supplier   	@243
			    vertices   	(list Points
				(974, 682)
				(680, 682))
			    line_style 	3
			    origin_attachment 	(974, 682)
			    terminal_attachment 	(680, 682)
			    label      	(object SegLabel @265
				Parent_View 	@263
				location   	(713, 710)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.890411
				height     	28
				orientation 	0))))))
	(object ClassDiagram "Other expressions"
	    quid       	"4300499B03A1"
	    title      	"Other expressions"
	    zoom       	100
	    max_height 	28350
	    max_width  	21600
	    origin_x   	0
	    origin_y   	0
	    items      	(list diagram_item_list
		(object ClassView "Class" "Logical View::ImperativeOCL::AssignExp" @266
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(629, 490)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@266
			location   	(466, 434)
			nlines     	1
			max_width  	326
			justify    	0
			label      	"AssignExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"401DC9E201B7"
		    width      	344
		    height     	136
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @267
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(753, 104)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@267
			location   	(606, 54)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$38" @268
		    location   	(622, 293)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"403388A900E8"
		    roleview_list 	(list RoleViews
			(object RoleView "value" @269
			    Parent_View 	@268
			    location   	(-34, -1659)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @270
				Parent_View 	@269
				location   	(598, 226)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	112
				justify    	0
				label      	"+value"
				pctDist    	0.527174
				height     	25
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"403388AA0284"
			    client     	@268
			    supplier   	@267
			    vertices   	(list Points
				(622, 293)
				(622, 165))
			    line_style 	3
			    origin_attachment 	(622, 293)
			    terminal_attachment 	(622, 165)
			    label      	(object SegLabel @271
				Parent_View 	@269
				location   	(613, 174)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"*"
				pctDist    	0.932643
				height     	10
				orientation 	0)
			    label      	(object SegLabel @272
				Parent_View 	@269
				location   	(624, 274)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.146552
				height     	2
				orientation 	1))
			(object RoleView "valueOwner" @273
			    Parent_View 	@268
			    location   	(-34, -1659)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @274
				Parent_View 	@273
				location   	(616, 367)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	206
				justify    	0
				label      	"+valueOwner"
				pctDist    	0.578947
				height     	7
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"403388AA0298"
			    client     	@268
			    supplier   	@266
			    vertices   	(list Points
				(622, 293)
				(622, 422))
			    line_style 	3
			    origin_attachment 	(622, 293)
			    terminal_attachment 	(622, 422)
			    label      	(object SegLabel @275
				Parent_View 	@273
				location   	(570, 409)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.898701
				height     	53
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$40" @276
		    location   	(497, 201)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"40C961550296"
		    roleview_list 	(list RoleViews
			(object RoleView "left" @277
			    Parent_View 	@276
			    location   	(-255, -615)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @278
				Parent_View 	@277
				location   	(502, 20)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	78
				justify    	0
				label      	"+left"
				pctDist    	0.683871
				height     	39
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40C9615A009F"
			    client     	@276
			    supplier   	@267
			    vertices   	(list Points
				(497, 201)
				(468, 201)
				(468, 58)
				(597, 58))
			    line_style 	3
			    origin_attachment 	(497, 201)
			    terminal_attachment 	(597, 58)
			    label      	(object SegLabel @279
				Parent_View 	@277
				location   	(577, 20)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.935484
				height     	39
				orientation 	0))
			(object RoleView "leftOwner" @280
			    Parent_View 	@276
			    location   	(-255, -615)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @281
				Parent_View 	@280
				location   	(513, 314)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	172
				justify    	0
				label      	"+leftOwner"
				pctDist    	0.568627
				height     	14
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40C9615A00B3"
			    client     	@276
			    supplier   	@266
			    vertices   	(list Points
				(497, 201)
				(526, 201)
				(526, 422))
			    line_style 	3
			    origin_attachment 	(497, 201)
			    terminal_attachment 	(526, 422)
			    label      	(object SegLabel @282
				Parent_View 	@280
				location   	(457, 405)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.931035
				height     	70
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$41" @283
		    location   	(732, 293)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"40C97259024B"
		    roleview_list 	(list RoleViews
			(object RoleView "defaultValue" @284
			    Parent_View 	@283
			    location   	(-20, -523)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @285
				Parent_View 	@284
				location   	(762, 236)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	222
				justify    	0
				label      	"+defaultValue"
				pctDist    	0.458716
				height     	30
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40C9725C00C9"
			    client     	@283
			    supplier   	@267
			    vertices   	(list Points
				(732, 293)
				(732, 166))
			    line_style 	3
			    origin_attachment 	(732, 293)
			    terminal_attachment 	(732, 166)
			    label      	(object SegLabel @286
				Parent_View 	@284
				location   	(701, 194)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.787819
				height     	32
				orientation 	0))
			(object RoleView "defaultOwner" @287
			    Parent_View 	@283
			    location   	(-20, -523)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @288
				Parent_View 	@287
				location   	(755, 348)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	228
				justify    	0
				label      	"+defaultOwner"
				pctDist    	0.431193
				height     	23
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40C9725C00E7"
			    client     	@283
			    supplier   	@266
			    vertices   	(list Points
				(732, 293)
				(732, 421))
			    line_style 	3
			    origin_attachment 	(732, 293)
			    terminal_attachment 	(732, 421)
			    label      	(object SegLabel @289
				Parent_View 	@287
				location   	(786, 408)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.900958
				height     	54
				orientation 	0))))
		(object ClassView "Class" "Logical View::ImperativeOCL::UnlinkExp" @290
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1156, 497)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@290
			location   	(1050, 446)
			nlines     	1
			max_width  	212
			justify    	0
			label      	"UnlinkExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"419B1D3602C3"
		    width      	230
		    height     	126
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$5" @291
		    location   	(1220, 118)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"419B1D62023C"
		    roleview_list 	(list RoleViews
			(object RoleView "target" @292
			    Parent_View 	@291
			    location   	(-324, -3474)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @293
				Parent_View 	@292
				location   	(984, 18)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	114
				justify    	0
				label      	"+target"
				pctDist    	0.797357
				height     	41
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"419B1D6300F3"
			    client     	@291
			    supplier   	@267
			    vertices   	(list Points
				(1220, 118)
				(1220, 58)
				(909, 58))
			    line_style 	3
			    origin_attachment 	(1220, 118)
			    terminal_attachment 	(909, 58)
			    label      	(object SegLabel @294
				Parent_View 	@292
				location   	(976, 91)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.820433
				height     	33
				orientation 	0))
			(object RoleView "tgtUnlink" @295
			    Parent_View 	@291
			    location   	(-324, -3474)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @296
				Parent_View 	@295
				location   	(1281, 306)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	158
				justify    	0
				label      	"+tgtUnlink"
				pctDist    	0.595455
				height     	61
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"419B1D63011B"
			    client     	@291
			    supplier   	@290
			    vertices   	(list Points
				(1220, 118)
				(1220, 434))
			    line_style 	3
			    origin_attachment 	(1220, 118)
			    terminal_attachment 	(1220, 434)
			    label      	(object SegLabel @297
				Parent_View 	@295
				location   	(1274, 401)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.895455
				height     	54
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$6" @298
		    location   	(1072, 204)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"419B1D6B01E5"
		    roleview_list 	(list RoleViews
			(object RoleView "item" @299
			    Parent_View 	@298
			    location   	(-472, -3388)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @300
				Parent_View 	@299
				location   	(979, 153)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	96
				justify    	0
				label      	"+item"
				pctDist    	0.697248
				height     	16
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"419B1D6C007E"
			    client     	@298
			    supplier   	@267
			    vertices   	(list Points
				(1072, 204)
				(1072, 137)
				(909, 137))
			    line_style 	3
			    origin_attachment 	(1072, 204)
			    terminal_attachment 	(909, 137)
			    label      	(object SegLabel @301
				Parent_View 	@299
				location   	(1057, 53)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.359813
				height     	85
				orientation 	1))
			(object RoleView "itemUnlink" @302
			    Parent_View 	@298
			    location   	(-472, -3388)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @303
				Parent_View 	@302
				location   	(1081, 254)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	186
				justify    	0
				label      	"+itemUnlink"
				pctDist    	0.220183
				height     	9
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"419B1D6C00A6"
			    client     	@298
			    supplier   	@290
			    vertices   	(list Points
				(1072, 204)
				(1072, 434))
			    line_style 	3
			    origin_attachment 	(1072, 204)
			    terminal_attachment 	(1072, 434)
			    label      	(object SegLabel @304
				Parent_View 	@302
				location   	(1126, 409)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.889908
				height     	54
				orientation 	0))))
		(object ClassView "Class" "Logical View::EssentialOCL::OperationCallExp" @305
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1477, 1078)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@305
			location   	(1297, 1028)
			fill_color 	13434879
			nlines     	1
			max_width  	360
			justify    	0
			label      	"OperationCallExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"40C96BA800C2"
		    width      	378
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::ReturnExp" @306
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1320, 686)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@306
			location   	(1202, 635)
			nlines     	1
			max_width  	236
			justify    	0
			label      	"ReturnExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C8A8702EF"
		    width      	254
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::RaiseExp" @307
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(949, 1146)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@307
			location   	(845, 1095)
			nlines     	1
			max_width  	208
			justify    	0
			label      	"RaiseExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C9F8601CB"
		    width      	226
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::TryExp" @308
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(398, 962)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@308
			location   	(315, 911)
			nlines     	1
			max_width  	166
			justify    	0
			label      	"TryExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"421C9F80033F"
		    width      	184
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @309
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(925, 791)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@309
			location   	(778, 741)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$8" @310
		    location   	(760, 971)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB7AB023D"
		    roleview_list 	(list RoleViews
			(object RoleView "tryBody" @311
			    Parent_View 	@310
			    location   	(409, -1104)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @312
				Parent_View 	@311
				location   	(874, 939)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	154
				justify    	0
				label      	"+tryBody"
				pctDist    	0.424603
				height     	33
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"421CB7AC0072"
			    client     	@310
			    supplier   	@309
			    vertices   	(list Points
				(760, 971)
				(912, 971)
				(912, 853))
			    line_style 	3
			    origin_attachment 	(760, 971)
			    terminal_attachment 	(912, 853)
			    label      	(object SegLabel @313
				Parent_View 	@311
				location   	(947, 891)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"*"
				pctDist    	0.860577
				height     	35
				orientation 	1)
			    label      	(object SegLabel @314
				Parent_View 	@311
				location   	(790, 890)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.113971
				height     	82
				orientation 	0))
			(object RoleView "tryBodyOwner" @315
			    Parent_View 	@310
			    location   	(409, -1104)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @316
				Parent_View 	@315
				location   	(627, 939)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	234
				justify    	0
				label      	"+tryBodyOwner"
				pctDist    	0.498024
				height     	33
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"421CB7AC00C2"
			    client     	@310
			    supplier   	@308
			    vertices   	(list Points
				(760, 971)
				(490, 971))
			    line_style 	3
			    origin_attachment 	(760, 971)
			    terminal_attachment 	(490, 971)
			    label      	(object SegLabel @317
				Parent_View 	@315
				location   	(578, 1010)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.676328
				height     	39
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$18" @318
		    location   	(1219, 822)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42F789360213"
		    roleview_list 	(list RoleViews
			(object RoleView "value" @319
			    Parent_View 	@318
			    location   	(935, -3814)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @320
				Parent_View 	@319
				location   	(1116, 857)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	112
				justify    	0
				label      	"+value"
				pctDist    	0.750880
				height     	35
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F7893700FC"
			    client     	@318
			    supplier   	@309
			    vertices   	(list Points
				(1219, 822)
				(1081, 822))
			    line_style 	3
			    origin_attachment 	(1219, 822)
			    terminal_attachment 	(1081, 822)
			    label      	(object SegLabel @321
				Parent_View 	@319
				location   	(1097, 775)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"0..1"
				pctDist    	0.886139
				height     	48
				orientation 	1))
			(object RoleView "returnExp" @322
			    Parent_View 	@318
			    location   	(935, -3814)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @323
				Parent_View 	@322
				location   	(1386, 772)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	172
				justify    	0
				label      	"+returnExp"
				pctDist    	0.834356
				height     	102
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42F7893701CE"
			    client     	@318
			    supplier   	@306
			    vertices   	(list Points
				(1219, 822)
				(1284, 822)
				(1284, 749))
			    line_style 	3
			    origin_attachment 	(1219, 822)
			    terminal_attachment 	(1284, 749)
			    label      	(object SegLabel @324
				Parent_View 	@322
				location   	(1242, 792)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.686577
				height     	43
				orientation 	0))))
		(object AssociationViewNew "$UNNAMED$35" @325
		    location   	(1000, 968)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4656B3AA0176"
		    roleview_list 	(list RoleViews
			(object RoleView "argument" @326
			    Parent_View 	@325
			    location   	(51, -178)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @327
				Parent_View 	@326
				location   	(1037, 942)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	172
				justify    	0
				label      	"+argument"
				pctDist    	0.226087
				height     	37
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4656B3AB02B8"
			    client     	@325
			    supplier   	@309
			    vertices   	(list Points
				(1000, 968)
				(1000, 853))
			    line_style 	3
			    origin_attachment 	(1000, 968)
			    terminal_attachment 	(1000, 853)
			    label      	(object SegLabel @328
				Parent_View 	@326
				location   	(1046, 887)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.704348
				height     	46
				orientation 	1))
			(object RoleView "raiseExp" @329
			    Parent_View 	@325
			    location   	(51, -178)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @330
				Parent_View 	@329
				location   	(910, 1043)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	156
				justify    	0
				label      	"+raiseExp"
				pctDist    	0.660870
				height     	91
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4656B3AB0326"
			    client     	@325
			    supplier   	@307
			    vertices   	(list Points
				(1000, 968)
				(1000, 1083))
			    line_style 	3
			    origin_attachment 	(1000, 968)
			    terminal_attachment 	(1000, 1083)
			    label      	(object SegLabel @331
				Parent_View 	@329
				location   	(1054, 1071)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.895652
				height     	54
				orientation 	0))))
		(object ClassView "Class" "Logical View::EMOF::Type" @332
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(304, 1124)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@332
			location   	(214, 1074)
			fill_color 	13434879
			nlines     	1
			max_width  	180
			justify    	0
			label      	"Type")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454016
		    quidu      	"40C78BB303B7"
		    width      	198
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$7" @333
		    location   	(619, 1140)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"421CB4D7026E"
		    roleview_list 	(list RoleViews
			(object RoleView "exception" @334
			    Parent_View 	@333
			    location   	(-1271, 801)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @335
				Parent_View 	@334
				location   	(542, 1111)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	174
				justify    	0
				label      	"+exception"
				pctDist    	0.358696
				height     	30
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"421CB4D90195"
			    client     	@333
			    supplier   	@332
			    vertices   	(list Points
				(619, 1140)
				(403, 1140))
			    line_style 	3
			    origin_attachment 	(619, 1140)
			    terminal_attachment 	(403, 1140)
			    label      	(object SegLabel @336
				Parent_View 	@334
				location   	(427, 1194)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.894977
				height     	54
				orientation 	0))
			(object RoleView "raiseExpression" @337
			    Parent_View 	@333
			    location   	(-1271, 801)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @338
				Parent_View 	@337
				location   	(671, 1172)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	256
				justify    	0
				label      	"+raiseExpression"
				pctDist    	0.243243
				height     	32
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"421CB4D901B3"
			    client     	@333
			    supplier   	@307
			    vertices   	(list Points
				(619, 1140)
				(836, 1140))
			    line_style 	3
			    origin_attachment 	(619, 1140)
			    terminal_attachment 	(836, 1140)
			    label      	(object SegLabel @339
				Parent_View 	@337
				location   	(808, 1124)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.877451
				height     	17
				orientation 	0))))
		(object ClassView "Class" "Logical View::ImperativeOCL::CatchExp" @340
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(420, 655)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@340
			location   	(308, 604)
			nlines     	1
			max_width  	224
			justify    	0
			label      	"CatchExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"46568AE60256"
		    width      	242
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$32" @341
		    location   	(425, 808)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"46568B1F03CA"
		    roleview_list 	(list RoleViews
			(object RoleView "exceptOwner" @342
			    Parent_View 	@341
			    location   	(-497, 83)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @343
				Parent_View 	@342
				location   	(399, 840)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	222
				justify    	0
				label      	"+exceptOwner"
				pctDist    	0.356164
				height     	27
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"46568B1F03CC"
			    client     	@341
			    supplier   	@308
			    vertices   	(list Points
				(425, 808)
				(425, 898))
			    line_style 	3
			    origin_attachment 	(425, 808)
			    terminal_attachment 	(425, 898)
			    label      	(object SegLabel @344
				Parent_View 	@342
				location   	(481, 878)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.780822
				height     	56
				orientation 	0))
			(object RoleView "exceptClause" @345
			    Parent_View 	@341
			    location   	(-497, 83)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @346
				Parent_View 	@345
				location   	(383, 768)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	221
				justify    	0
				label      	"+exceptClause"
				pctDist    	0.444915
				height     	43
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"46568B1F03CB"
			    client     	@341
			    supplier   	@340
			    vertices   	(list Points
				(425, 808)
				(425, 718))
			    line_style 	3
			    origin_attachment 	(425, 808)
			    terminal_attachment 	(425, 718)
			    label      	(object SegLabel @347
				Parent_View 	@345
				location   	(467, 738)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.777778
				height     	42
				orientation 	1)
			    label      	(object SegLabel @348
				Parent_View 	@345
				location   	(548, 734)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.822222
				height     	123
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$33" @349
		    location   	(769, 633)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"46568B5B0178"
		    roleview_list 	(list RoleViews
			(object RoleView "body" @350
			    Parent_View 	@349
			    location   	(25, 158)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @351
				Parent_View 	@350
				location   	(846, 661)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	102
				justify    	0
				label      	"+body"
				pctDist    	0.345133
				height     	28
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"46568B5C00F7"
			    client     	@349
			    supplier   	@309
			    vertices   	(list Points
				(769, 633)
				(900, 633)
				(900, 729))
			    line_style 	3
			    origin_attachment 	(769, 633)
			    terminal_attachment 	(900, 729)
			    label      	(object SegLabel @352
				Parent_View 	@350
				location   	(954, 706)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	0)
			    label      	(object SegLabel @353
				Parent_View 	@350
				location   	(976, 655)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.676991
				height     	76
				orientation 	0))
			(object RoleView "catchExp" @354
			    Parent_View 	@349
			    location   	(25, 158)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @355
				Parent_View 	@354
				location   	(635, 681)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	164
				justify    	0
				label      	"+catchExp"
				pctDist    	0.586667
				height     	48
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"46568B5C0151"
			    client     	@349
			    supplier   	@340
			    vertices   	(list Points
				(769, 633)
				(541, 633))
			    line_style 	3
			    origin_attachment 	(769, 633)
			    terminal_attachment 	(541, 633)
			    label      	(object SegLabel @356
				Parent_View 	@354
				location   	(567, 580)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.887097
				height     	54
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$34" @357
		    location   	(221, 813)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4656B2F8010C"
		    roleview_list 	(list RoleViews
			(object RoleView "exception" @358
			    Parent_View 	@357
			    location   	(-130, -1262)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @359
				Parent_View 	@358
				location   	(192, 971)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	225
				justify    	0
				label      	"+exception"
				pctDist    	0.639676
				height     	30
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4656B2F8010E"
			    client     	@357
			    supplier   	@332
			    vertices   	(list Points
				(221, 813)
				(221, 1061))
			    line_style 	3
			    origin_attachment 	(221, 813)
			    terminal_attachment 	(221, 1061)
			    label      	(object SegLabel @360
				Parent_View 	@358
				location   	(168, 1037)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	1)
			    label      	(object SegLabel @361
				Parent_View 	@358
				location   	(192, 918)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.425101
				height     	30
				orientation 	1))
			(object RoleView "tryExpression" @362
			    Parent_View 	@357
			    location   	(-130, -1262)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @363
				Parent_View 	@362
				location   	(198, 795)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	222
				justify    	0
				label      	"+tryExpression"
				pctDist    	0.072874
				height     	24
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4656B2F8010D"
			    client     	@357
			    supplier   	@340
			    vertices   	(list Points
				(221, 813)
				(221, 642)
				(299, 642))
			    line_style 	3
			    origin_attachment 	(221, 813)
			    terminal_attachment 	(299, 642)
			    label      	(object SegLabel @364
				Parent_View 	@362
				location   	(273, 696)
				font       	(object Font
				    size       	10
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	15
				justify    	0
				label      	"*"
				pctDist    	0.900000
				height     	54
				orientation 	1))))
		(object ClassView "Class" "Logical View::ImperativeOCL::VariableInitExp" @365
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1572, 484)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@365
			location   	(1318, 428)
			nlines     	1
			max_width  	508
			justify    	0
			label      	"VariableInitExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"405AF03101AF"
		    width      	526
		    height     	136
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @366
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1530, 107)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@366
			location   	(1383, 57)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object ClassView "Class" "Logical View::ImperativeOCL::LogExp" @367
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(1585, 864)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@367
			location   	(1496, 813)
			nlines     	1
			max_width  	178
			justify    	0
			label      	"LogExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42FB7CE3021C"
		    width      	196
		    height     	126
		    autoResize 	TRUE)
		(object InheritView "" @368
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"43DF9C6400EE"
		    client     	@367
		    supplier   	@305
		    vertices   	(list Points
			(1540, 927)
			(1540, 1015))
		    line_style 	3
		    origin_attachment 	(1540, 927)
		    terminal_attachment 	(1540, 1015))
		(object ClassView "Class" "Logical View::ImperativeOCL::AssertExp" @369
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2003, 1072)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@369
			location   	(1736, 1016)
			nlines     	1
			max_width  	534
			justify    	0
			label      	"AssertExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"42FCAEE9006C"
		    width      	552
		    height     	136
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$22" @370
		    location   	(1823, 850)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FCBAC20276"
		    roleview_list 	(list RoleViews
			(object RoleView "log" @371
			    Parent_View 	@370
			    location   	(-90, -2975)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @372
				Parent_View 	@371
				location   	(1734, 835)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	78
				justify    	0
				label      	"+log"
				pctDist    	0.640212
				height     	16
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FCBAC30079"
			    client     	@370
			    supplier   	@367
			    vertices   	(list Points
				(1823, 850)
				(1683, 850))
			    line_style 	3
			    origin_attachment 	(1823, 850)
			    terminal_attachment 	(1683, 850)
			    label      	(object SegLabel @373
				Parent_View 	@371
				location   	(1757, 803)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.474576
				height     	48
				orientation 	1))
			(object RoleView "assertExp" @374
			    Parent_View 	@370
			    location   	(-90, -2975)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @375
				Parent_View 	@374
				location   	(1860, 880)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	166
				justify    	0
				label      	"+assertExp"
				pctDist    	0.171429
				height     	30
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FCBAC3008D"
			    client     	@370
			    supplier   	@369
			    vertices   	(list Points
				(1823, 850)
				(1883, 850)
				(1883, 1004))
			    line_style 	3
			    origin_attachment 	(1823, 850)
			    terminal_attachment 	(1883, 1004)
			    label      	(object SegLabel @376
				Parent_View 	@374
				location   	(1937, 931)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.657143
				height     	54
				orientation 	0))))
		(object ClassView "Class" "Logical View::EssentialOCL::Variable" @377
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2085, 114)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@377
			location   	(1938, 64)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"Variable")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DAF870288"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$39" @378
		    location   	(1866, 350)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"40E90766025B"
		    roleview_list 	(list RoleViews
			(object RoleView "referredVariable" @379
			    Parent_View 	@378
			    location   	(1557, -820)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @380
				Parent_View 	@379
				location   	(1979, 314)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	268
				justify    	0
				label      	"+referredVariable"
				pctDist    	0.269608
				height     	37
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40E9076B03AD"
			    client     	@378
			    supplier   	@377
			    vertices   	(list Points
				(1866, 350)
				(2115, 350)
				(2115, 176))
			    line_style 	3
			    origin_attachment 	(1866, 350)
			    terminal_attachment 	(2115, 176)
			    label      	(object SegLabel @381
				Parent_View 	@379
				location   	(2169, 220)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.896842
				height     	54
				orientation 	1))
			(object RoleView "declaration" @382
			    Parent_View 	@378
			    location   	(1557, -820)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @383
				Parent_View 	@382
				location   	(1677, 388)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	196
				justify    	0
				label      	"+declaration"
				pctDist    	0.446078
				height     	38
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40E9076B03C1"
			    client     	@378
			    supplier   	@365
			    vertices   	(list Points
				(1866, 350)
				(1509, 350)
				(1509, 416))
			    line_style 	3
			    origin_attachment 	(1866, 350)
			    terminal_attachment 	(1509, 416)
			    label      	(object SegLabel @384
				Parent_View 	@382
				location   	(1474, 352)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.848039
				height     	36
				orientation 	1))))
		(object AssociationViewNew "" @385
		    location   	(1816, 279)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"40C97174021A"
		    roleview_list 	(list RoleViews
			(object RoleView "initExpression" @386
			    Parent_View 	@385
			    location   	(856, -281)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @387
				Parent_View 	@386
				location   	(1508, 235)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	234
				justify    	0
				label      	"+initExpression"
				pctDist    	0.775086
				height     	130
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40C9717502E4"
			    client     	@385
			    supplier   	@366
			    vertices   	(list Points
				(1816, 279)
				(1637, 279)
				(1637, 169))
			    line_style 	3
			    origin_attachment 	(1816, 279)
			    terminal_attachment 	(1637, 169)
			    label      	(object SegLabel @388
				Parent_View 	@386
				location   	(1600, 276)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.628866
				height     	38
				orientation 	0))
			(object RoleView "initializedElement" @389
			    Parent_View 	@385
			    location   	(856, -281)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @390
				Parent_View 	@389
				location   	(1940, 249)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	333
				justify    	0
				label      	"+initializedElement"
				pctDist    	0.427184
				height     	31
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"40C971750302"
			    client     	@385
			    supplier   	@377
			    vertices   	(list Points
				(1816, 279)
				(2003, 279)
				(2003, 176))
			    line_style 	3
			    origin_attachment 	(1816, 279)
			    terminal_attachment 	(2003, 176)
			    label      	(object SegLabel @391
				Parent_View 	@389
				location   	(2055, 207)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.896907
				height     	52
				orientation 	1))))
		(object ClassView "Class" "Logical View::EssentialOCL::OclExpression" @392
		    ShowCompartmentStereotypes 	TRUE
		    SuppressAttribute 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2181, 728)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	TRUE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@392
			location   	(2034, 678)
			fill_color 	13434879
			nlines     	1
			max_width  	294
			justify    	0
			label      	"OclExpression")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	8454143
		    quidu      	"401DB533025E"
		    width      	312
		    height     	124
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$21" @393
		    location   	(1804, 622)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FB7E140257"
		    roleview_list 	(list RoleViews
			(object RoleView "condition" @394
			    Parent_View 	@393
			    location   	(174, -4049)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @395
				Parent_View 	@394
				location   	(1953, 648)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	217
				justify    	0
				label      	"+condition"
				pctDist    	0.358140
				height     	26
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FB7E1403DD"
			    client     	@393
			    supplier   	@392
			    vertices   	(list Points
				(1804, 622)
				(2175, 622)
				(2175, 666))
			    line_style 	3
			    origin_attachment 	(1804, 622)
			    terminal_attachment 	(2175, 666)
			    label      	(object SegLabel @396
				Parent_View 	@394
				location   	(2092, 594)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	200
				justify    	0
				label      	"0..1"
				pctDist    	0.695187
				height     	29
				orientation 	0))
			(object RoleView "logOwner" @397
			    Parent_View 	@393
			    location   	(174, -4049)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @398
				Parent_View 	@397
				location   	(1658, 723)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	217
				justify    	0
				label      	"+logOwner"
				pctDist    	0.811594
				height     	89
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FB7E1500D1"
			    client     	@393
			    supplier   	@367
			    vertices   	(list Points
				(1804, 622)
				(1569, 622)
				(1569, 801))
			    line_style 	3
			    origin_attachment 	(1804, 622)
			    terminal_attachment 	(1569, 801)
			    label      	(object SegLabel @399
				Parent_View 	@397
				location   	(1519, 744)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.862319
				height     	51
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$23" @400
		    location   	(2267, 896)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"42FCBAF20289"
		    roleview_list 	(list RoleViews
			(object RoleView "assertion" @401
			    Parent_View 	@400
			    location   	(354, -2929)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @402
				Parent_View 	@401
				location   	(2151, 820)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	158
				justify    	0
				label      	"+assertion"
				pctDist    	0.710280
				height     	116
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FCBAF40173"
			    client     	@400
			    supplier   	@392
			    vertices   	(list Points
				(2267, 896)
				(2267, 789))
			    line_style 	3
			    origin_attachment 	(2267, 896)
			    terminal_attachment 	(2267, 789)
			    label      	(object SegLabel @403
				Parent_View 	@401
				location   	(2321, 801)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.893939
				height     	54
				orientation 	1))
			(object RoleView "assertOwner" @404
			    Parent_View 	@400
			    location   	(354, -2929)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @405
				Parent_View 	@404
				location   	(2140, 962)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	256
				justify    	0
				label      	"+assertOwner"
				pctDist    	0.611111
				height     	127
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"42FCBAF40228"
			    client     	@400
			    supplier   	@369
			    vertices   	(list Points
				(2267, 896)
				(2267, 1004))
			    line_style 	3
			    origin_attachment 	(2267, 896)
			    terminal_attachment 	(2267, 1004)
			    label      	(object SegLabel @406
				Parent_View 	@404
				location   	(2339, 977)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.752688
				height     	72
				orientation 	0))))
		(object ClassView "Class" "Logical View::ImperativeOCL::UnpackExp" @407
		    ShowCompartmentStereotypes 	TRUE
		    SuppressOperation 	TRUE
		    IncludeAttribute 	TRUE
		    IncludeOperation 	TRUE
		    location   	(2018, 488)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    label      	(object ItemLabel
			Parent_View 	@407
			location   	(1895, 437)
			nlines     	1
			max_width  	246
			justify    	0
			label      	"UnpackExp")
		    icon_style 	"Icon"
		    line_color 	3342489
		    fill_color 	16777215
		    quidu      	"4300B2A901FE"
		    width      	264
		    height     	126
		    annotation 	8
		    autoResize 	TRUE)
		(object AssociationViewNew "$UNNAMED$27" @408
		    location   	(2224, 344)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"4300B2C703AF"
		    roleview_list 	(list RoleViews
			(object RoleView "targetVariable" @409
			    Parent_View 	@408
			    location   	(206, -144)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @410
				Parent_View 	@409
				location   	(2248, 258)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	242
				justify    	0
				label      	"+targetVariable"
				pctDist    	0.517045
				height     	24
				orientation 	1)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B2CA0006"
			    client     	@408
			    supplier   	@377
			    vertices   	(list Points
				(2224, 344)
				(2224, 175))
			    line_style 	3
			    origin_attachment 	(2224, 344)
			    terminal_attachment 	(2224, 175)
			    label      	(object SegLabel @411
				Parent_View 	@409
				location   	(2260, 213)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	62
				justify    	0
				label      	"1..*"
				pctDist    	0.784530
				height     	36
				orientation 	1)
			    label      	(object SegLabel @412
				Parent_View 	@409
				location   	(2228, 308)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	3
				anchor_loc 	1
				nlines     	1
				max_width  	142
				justify    	0
				label      	"{ordered}"
				pctDist    	0.215909
				height     	4
				orientation 	1))
			(object RoleView "$UNNAMED$28" @413
			    Parent_View 	@408
			    location   	(206, -144)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"4300B2CA0075"
			    client     	@408
			    supplier   	@407
			    vertices   	(list Points
				(2224, 344)
				(2224, 439)
				(2150, 439))
			    line_style 	3
			    origin_attachment 	(2224, 344)
			    terminal_attachment 	(2150, 439)
			    label      	(object SegLabel @414
				Parent_View 	@413
				location   	(2183, 405)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.362694
				height     	42
				orientation 	1))))
		(object AssociationViewNew "$UNNAMED$36" @415
		    location   	(2224, 564)
		    font       	(object Font
			size       	10
			face       	"Arial"
			bold       	FALSE
			italics    	FALSE
			underline  	FALSE
			strike     	FALSE
			color      	0
			default_color 	TRUE)
		    stereotype 	TRUE
		    line_color 	3342489
		    quidu      	"465C4FA2007C"
		    roleview_list 	(list RoleViews
			(object RoleView "source" @416
			    Parent_View 	@415
			    location   	(206, 76)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    label      	(object SegLabel @417
				Parent_View 	@416
				location   	(2236, 602)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	1
				anchor_loc 	1
				nlines     	1
				max_width  	124
				justify    	0
				label      	"+source"
				pctDist    	0.368421
				height     	12
				orientation 	0)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"465C4FA501B7"
			    client     	@415
			    supplier   	@392
			    vertices   	(list Points
				(2224, 564)
				(2224, 665))
			    line_style 	3
			    origin_attachment 	(2224, 564)
			    terminal_attachment 	(2224, 665)
			    label      	(object SegLabel @418
				Parent_View 	@416
				location   	(2263, 632)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	30
				justify    	0
				label      	"1"
				pctDist    	0.673684
				height     	39
				orientation 	0))
			(object RoleView "$UNNAMED$37" @419
			    Parent_View 	@415
			    location   	(206, 76)
			    font       	(object Font
				size       	10
				face       	"Arial"
				bold       	FALSE
				italics    	FALSE
				underline  	FALSE
				strike     	FALSE
				color      	0
				default_color 	TRUE)
			    stereotype 	TRUE
			    line_color 	3342489
			    quidu      	"465C4FA50211"
			    client     	@415
			    supplier   	@407
			    vertices   	(list Points
				(2224, 564)
				(2224, 504)
				(2150, 504))
			    line_style 	3
			    origin_attachment 	(2224, 564)
			    terminal_attachment 	(2150, 504)
			    label      	(object SegLabel @420
				Parent_View 	@419
				location   	(2276, 511)
				font       	(object Font
				    size       	8
				    face       	"Arial"
				    bold       	FALSE
				    italics    	FALSE
				    underline  	FALSE
				    strike     	FALSE
				    color      	0
				    default_color 	TRUE)
				anchor     	2
				anchor_loc 	1
				nlines     	1
				max_width  	68
				justify    	0
				label      	"0..1"
				pctDist    	0.402985
				height     	52
				orientation 	1))))))))