A definition of an abstract (strategy game) may require that something-is-the-case.
An abstract theory of (closure operators) may be translated.
A (client software) may create an implementation of an abstract factory.
A (presentation structure) may use basic (encoding rules) of abstract (syntax notation).