public static boolean explicitlyQualifiedLogicObjectNameP(GeneralizedSymbol objectname, Module definitionmodule) {
    if (Logic.$HANDLE_EXPLICITLY_QUALIFIED_LOGIC_OBJECTSp$) {
      definitionmodule = ((definitionmodule != null) ? definitionmodule : ((Module)(Stella.$MODULE$.get())));
      return (!Context.visibleFromP(((Module)(objectname.homeContext)), definitionmodule));
    }
    return (false);
  }