[...] "Subtype coercion". A semantic operation that converts an argument to the subtype which is expected by a function, where it would otherwise result in a subtype error (e.g. selectional violation).- Pustejovsky & Boguraev (2004), a pag.349