Improved comments, reinitialized base_law_type as Asimov