logic CSMOF

from MOF/classExampleCSMOF get Spec
from MOF/classExampleCSMOF2 get Spec |-> Spec2
view v : Spec to Spec2
end