# 
# File: test-SATEXAMPLESDB-Queries.cbs
# Author: Manfred Jeusfeld, Thomas Kuehne
# Created: 2024-02-24 (2024-02-26/Manfred)
# -----------------------------------------------------
# Call: cbshell -v test-SATEXAMPLESDB-Queries.cb
# This script test the MultiDim constarints formulated as queries
#



# connect 
startServer -d SATEXAMPLESDB -t low -u nonpersistent -c transient


cd MultiDim-SatelliteArtifacts



# ask Cb1_PotencyNotDimension OBJNAMES  FRAME  Now

ask C0a_PotencyNotDecreasingInstanceOf OBJNAMES  FRAME  Now

ask C0b_PotencyNotDecreasingSpecialization OBJNAMES  FRAME  Now

ask C1_AmbiguousFeatures OBJNAMES  FRAME  Now

ask C2a_MultipleNonZeroPotency OBJNAMES  FRAME  Now

ask C2b_InstancesInDifferentDimensions OBJNAMES  FRAME  Now

ask C2c_MultiDimNonZero OBJNAMES  FRAME  Now

ask C3a_MultipleClassification_1 OBJNAMES  FRAME  Now

ask C3b_MultipleSuperclassesInDim OBJNAMES  FRAME  Now

ask C3c_DisjointDimensions_plain OBJNAMES  FRAME  Now

ask C4a_CycleInHierarchy OBJNAMES  FRAME  Now

ask C4b_InconsistentOrder OBJNAMES FRAME  Now

ask C4c_NotLevelRespecting OBJNAMES FRAME  Now