On generic structures with a strong amalgamation property

Let S? be a finite relational language and a = (a/? : R € J??) a tuple with 0 0 for any substructure X of A. We show that the theory of the generic model of KQ is AE-axiomatizable for any a. §