removed qualified quantifiers (they were used only for the translation
from OWL to the internal representation)