0 to speak about something quickly, giving little detail or using few words: --
Did she mention me in her letter?
[ + question word ] Did she happen to mention whether she would be coming?
[ + -ing verb ] My wife mentioned seeing you the other day.
[ + (that) ] He casually mentioned (that) he was leaving his job.
1 a short remark or written statement: --
At the awards ceremony, Chrissie Scott got/received a special mention for her reporting on the conflict.
Mentions are a useful way to measure brand awareness and find out who’s really talking about you online.
Tracking brand mentions can lead to a clearer understanding of how others interact with your brand's products or services.
When I ordered the catalogue, there was no mention of any payment.
2 to speak about someone or something, esp. briefly and without giving much detail: --
I promised never to mention her again.
[ + (that) clause ] Has he mentioned (that) he’s leaving his job?
If t, u are equated in the model, then, in particular, (t) = (u) for the environment mentioned above, and #t tr #u.
Later, after the definition, it is mentioned that this is simply the same as direct application of the functor to the predicate.
Respondents mentioned several politician-owned companies which allegedly have never paid tax.
Indeed, they mentioned that they would be unable to compete in the market if they paid tax.
Of course, our work on observational equivalence mentioned above also applies mutatis mutandi to this system.
One final effect of context and high frequency of use should be mentioned.
Names mentioned by par ticipants in the conversations have been changed.
In fact, the only time it mentioned slavery was to talk about the experiences of the characters there.