public static boolean atomicForallArgumentP(Proposition forallprop, Keyword headortail) {
    return (Proposition.atomicGoalPropositionP(((headortail == Logic.KWD_HEAD) ? ((Proposition)((forallprop.arguments.theArray)[1])) : ((Proposition)((forallprop.arguments.theArray)[0])))));
  }