public static boolean applicableForwardRuleP(Proposition rule, Vector arguments) {
    { Description antecedentdescription = ((Description)((rule.arguments.theArray)[0]));

      return (Proposition.trueP(rule) &&
          (arguments.length() == antecedentdescription.ioVariables.length()));
    }
  }