# 
# File: test-SATEXAMPLESDB-OneConstraint.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2024-02-24 (2024-02-24/Manfred)
# -----------------------------------------------------
# Call: cbshell  test-SATEXAMPLESDB-OneConstraint.cb
# This script tests the MultiDim constraint (just one)
#



# connect 
startServer -d MULTIDIMDB -t low -u nonpersistent 

cd MultiDim
mkdir SatelliteArtifacts
cd SatelliteArtifacts


tell "
MultiDimRules with
  constraint
      c3c: $ forall lab/DimensionLabel exists c/Element 
                     (forall x,y/Element (x instanceOf/lab y)  ==>  (x instanceOf_trans/lab c)) $
end
"

tellModel SatelliteArtifacts.sml.txt