print("T: ", s.func_is_kind("jairo", "Animal"))
print("IS------------")
print("T: ", s.func_obj_is("diary", "rare"))
print("IS Portable----------")
print("T: ", s.func_obj_is("diary", "portable"))
print("F: ", s.func_obj_is("jairo", "portable"))
print("T: ", s.func_obj_is("diary", "book"))
print("Property----------")
print("T: ", s.func_eval_named_prop("location","diary"))
print("N: ", s.func_eval_named_prop("color","jairo"))
print("Kind Values ----------")
print("T: ", s.func_is_kind("red", "KindValue"))
print("T: ", s.func_is_kind("green", "Color"))
print("F: ", s.func_is_kind("white", "Color"))
# Brightness is a kind of value. The brightnesses are guttering, weak, radiant and blazing.
s << rp("Kind Brightness KindValue")
s << rp("Instance guttering Brightness")
s << rp("Instance weak Brightness")
s << rp("Instance radiant Brightness")
s << rp("Instance blazing Brightness")
