? fido :Animal
# value: <fido>
? fido :Cat
# problem: <fido> is not a Cat
? fido :Lab
? tom :Animal
# value: <tom>
? tom :Cat
? brick :Animal
# problem: <brick> is not a Animal