18 lines
213 B
Text
18 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
|