0N/A

0N/Alibrary SyntaxTest

0N/A

0N/Alogic CASL_DL

0N/A

0N/Aspec X0 = {}

0N/A

0N/Aspec X1 =

0N/A sort T1,T2,T3 < Thing

0N/A pred R1 : T1 * T2

0N/A pred R1 : Thing * Thing

0N/A op i1 : T2

0N/A forall x : T1

0N/A . x in T3 <=> minCardinality[(pred R1: T1 * T2)](x,10)

0N/A . forall x : Thing

0N/A . x in T3 <=> minCardinality[R1](x,3)

0N/A . R1(x as T1,i1)

0N/Aend

0N/A

0N/Aspec X2 =

0N/A sort S1 < Thing

0N/A pred R : S1 * Thing

0N/A forall x : S1

0N/A . x in S1 <=> cardinality[R](x,2)

0N/A

0N/A