Mental Verbs in Terminist Logic