public static boolean argumentsMatchArgumentsP(Proposition subproposition, Proposition referenceproposition) {
    if (((QueryIterator)(Logic.$QUERYITERATOR$.get())) != null) {
      return (Proposition.argumentsUnifyWithArgumentsP(subproposition, referenceproposition));
    }
    else {
      return (Proposition.argumentsEqualArgumentsP(subproposition, referenceproposition));
    }
  }