Covering defined classes (inverse limit expansions)