# 
# File: test-cb4.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2023-03-01 (2023-03-18/Manfred)
# -----------------------------------------------------
# Call: cbshell -v test-cb4.cbs
#



# connect 
startServer -t no -u nonpersistent -e -1


# cd oHome
echo "Preparing oHome module ..."
tellModel "00-oHome.sml.txt"
showAnswer
why

mkdir MultiDim
cd MultiDim
echo "Preparing MultiDim module ..."
tellModel "01-multidim-constructs.sml.txt"
showAnswer
why


cd MultiDim
echo "Adding constraints to MultiDim module ..."
tellModel "01a-Constraints.sml.txt"
showAnswer
why




cd MultiDim
mkdir TestC4
cd TestC4

# should fail:
tellModel c4-neg1.sml.txt
showAnswer
why
# also violates ac2!

# should fail:
tellModel c4-neg3.sml.txt
showAnswer
why
# also violates c3a and a builtin Telos constraint on specialization when all objects have potencies with the same label


# should not fail:
tellModel c4-pos1.sml.txt
showAnswer