OLG++: A Semantic Extension of Obligation Logic Graph