It is therefore natural to think that considering both the syntax and local symmetry of conjuncts would lead to a more accurate analysis.
it is difficult to consider both of them in a dynamic programming algorithm, which has been often used for each of them, because it explodes the computational and implementational complexity.