? 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