of proteins, which has an entrez gene id no more than 12028?
(AND biology.protein (le biology.protein.entrez_gene_id 12028^^http://www.w3.org/2001/XMLSchema#integer))