public static Sentence newDisjunction(Sentence... disjuncts){
  return newDisjunction(Arrays.asList(disjuncts));
}

public static Sentence newDisjunction ( Sentence ... disjuncts ) { return newDisjunction ( Arrays . asList ( disjuncts ) ) ; }
create a disjunction of disjuncts .
