complete MLN parsing; !-operator; internal predicate and functions;