Encoding Legal Documents in Blawx