An abstract type may undergo a use.Logical formLearned from2 sentences. A variable may pertain-to an abstract type.Logical formLearned from2 sentences. (Application data types) may correspond to abstract types.Logical formLearned from2 sentences. Abstract types may be used in algorithms.Logical formLearned from2 sentences. Features can be constituted-of-or-filled-with abstract types.Logical formLearned from2 sentences. An (algorithm specification) can be abstract.Logical formLearned from2 sentences. A diagram may be associated with an abstract type.Logical formLearned from2 sentences. A procedure may be associated with an abstract type.Logical formLearned from2 sentences. A sequence can be constituted-of-or-filled-with abstract interfaces.Logical formLearned from2 sentences. A use of abstract machines may incur an increase.Logical formLearned from2 sentences. A (network model) can be abstract.Logical formLearned from2 sentences. A (protocol notation) can be abstract.Logical formLearned from2 sentences. Superclas can be abstract.Logical formLearned from2 sentences. (Tree forms) can be abstract.Logical formLearned from2 sentences. Persons can be abstract artists.Logical formLearned from2 sentences.