1: \begin{abstract}

2: Gromov asked what a typical (finitely presented) group looks like, and he suggested a way to make the question precise in terms of \emph{limiting density}.  The typical finitely generated group is known to share some important properties with the non-abelian free groups.  We ask Gromov's question more generally, for structures in an arbitrary \emph{algebraic variety} (in the sense of universal algebra), with presentations of a specific form.  We focus on elementary properties.  We give examples illustrating different behaviors of the limiting density.  Based on the examples, we identify sufficient conditions for the elementary first-order theory of the free structure to match that of the typical structure; i.e., a sentence is true in the free structure iff it has limiting density $1$.    

3: \end{abstract}

4: