for x in s.matchs(rp("Instance $Noum $Kind") ):
print( x)
print("------------")
def func_eval_if( ex ):
# (If X THEN_ELEM ELSE_ELEM )
return True
print("F: ", s.func_is_kind("diary", "Animal"))
print("------------")
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"))
