Law to Binary Tree -- An Formal Interpretation of Legal Natural Language