implemented semanticPropUtils class, added compatibility to operators