17 lines
213 B
Text
17 lines
213 B
Text
? fido :Animal
|
|
# value: <fido>
|
|
|
|
? fido :Cat
|
|
# problem: <fido> is not a Cat
|
|
|
|
? fido :Lab
|
|
# value: <fido>
|
|
|
|
? tom :Animal
|
|
# value: <tom>
|
|
|
|
? tom :Cat
|
|
# value: <tom>
|
|
|
|
? brick :Animal
|
|
# problem: <brick> is not a Animal
|