x1 is a singularity of function/object x2 of type/with properties x3; x2 has a singularity of type/severity x3 at (locus) x1
x3 can be used in order to specify cosmetic/removable singularity, pole (and the degree/severity thereof), and essential singularity; none of these aforementioned options are a default. x1 may be at infinity or in various other spaces.