{Classifying Properties: an Alternative to the Safety-Liveness Classification}