Has(Frege,x)