Find!
k1 is an artistic class/category/subgroup/subset within art k2=l1 with defining property k3. k1 is a genre.