Intensional concepts in propositional semantic networks