private void gatherDisjunctionsExploreArgument(Term term, List<Term> expressions) {
    """
	Explores one argument of a disjunction as part of the {@link #gatherDisjunctions(Disjunction, List)} function.
	
	@param term        The argument to explore.
	@param expressions The flattened list of disjunctive terms.
    """
        if (term instanceof Disjunction)
        {
            gatherDisjunctions((Disjunction) term, expressions);
        }
        else
        {
            expressions.add(term);
        }
    }
private void gatherDisjunctionsExploreArgument(Term term, List<Term> expressions)
    {
        if (term instanceof Disjunction)
        {
            gatherDisjunctions((Disjunction) term, expressions);
        }
        else
        {
            expressions.add(term);
        }
    }
private void gatherDisjunctionsExploreArgument ( Term term , List < Term > expressions ) { if ( term instanceof Disjunction ) { gatherDisjunctions ( ( Disjunction ) term , expressions ) ; } else { expressions . add ( term ) ; } }
Explores one argument of a disjunction as part of the {@link #gatherDisjunctions(Disjunction, List)} function.

@param term        The argument to explore.
@param expressions The flattened list of disjunctive terms.
Explores one argument of a disjunction as part of the { @link #gatherDisjunctions ( Disjunction List ) } function .