Text this: Structure of Laws as represented by symbolic methods.