12 lines
140 B
Plaintext
12 lines
140 B
Plaintext
SK(A,'c')? Yes(2)
|
|
A='a'
|
|
A='b'
|
|
SK('b','c')? Yes(1)
|
|
SK(X,X)? Yes(1)
|
|
X='b'
|
|
SK(A,B)? Yes(3)
|
|
A='a', B='c'
|
|
A='b', B='b'
|
|
A='b', B='c'
|
|
|