ג. תכונה כקטגוריה מגדירה – הבסיס ללוגיקה של החלום