"is M marked as being of stereotype S?" true for example for M=UserController and S=Controller
"is S marked as an annotation indicating something being of a stereotype?" true for things like Component, Controller, etc
See Source File