From individual opinion representation, each subgraph of G which takes an opinion expression as root is connected and acyclic.
the connectedness is guaranteed for opinion expressions are connected in opinion thread; the acyclic is guaranteed by the fact that if a modifier is shared by different opinion expressions, the inedges from them always keep (directed) acyclic.