Partial semantics

[Broes De Cat]

In the theory below, changing comparison operators does not always results in the correct semantics.

vocabulary V{ partial c:int type X isa int P(X) } theory T:V{ ~(sum{x: P(x) : x}=c). } structure S:V{ X = {1..10} c = {} } procedure main(){ stdoptions.cpsupport=true stdoptions.verbosity.creategrounders=1 print(modelexpand(T,S)[1]) }