Phylogenetic Flexibility via Hall-Type Inequalities and Submodularity