SyntaxTest.het revision cbea3f4c0de14871391f2e9f308e705ef0039eed
98N/A
98N/Alibrary SyntaxTest
1537N/A
98N/Alogic CASL_DL
98N/A
919N/Aspec X0 = {}
919N/A
919N/Aspec X1 =
919N/A sort T1,T2,T3 < Thing
919N/A pred R1 : T1 * T2
919N/A forall x : Thing
919N/A . x in T3 <=> minCardinality[R1](x,10)
919N/Aend
919N/A
919N/A