Legal modeling and automated reasoning with ON-LINE · Study