public static PropositionNeuralNetwork createNeuralNetwork(Proposition prop) {
    { PropositionNeuralNetwork net = null;
      int numIn = prop.arguments.length() + 1;
      int numHidden = Stella.integer_min(numIn + 0, 20);

      if (numIn > 100) {
        numHidden = Native.floor(numIn / 10.0) + 10;
      }
      net = Logic.allocateNeuralNetwork(numIn, numHidden);
      Logic.$MASTER_NEURAL_NETWORK_LIST$.push(net);
      net.proposition = prop;
      { Keyword testValue000 = prop.kind;

        if ((testValue000 == Logic.KWD_AND) ||
            (testValue000 == Logic.KWD_OR)) {
          PropositionNeuralNetwork.randomizeNeuralNetwork(net);
        }
        else {
          PropositionNeuralNetwork.randomizeNeuralNetwork(net);
        }
      }
      return (net);
    }
  }