Complex sentence: In software engineering, an abstract type is a type in a nominative type system which is declared by the programmer, and which has the property that it contains members which are also members of some declared subtype.
Split into simpler sentences: In software engineering, an abstract type is a type in a nominative type system which is declared by the programmer. It has at least one method or property that contains members which are also shared members of some declared subtype.