"is M marked as being of stereotype S?" true for example for M=UserController and S=Controller
See Implementation
"is M marked as being of stereotype S?" true for example for M=UserController and S=Controller