Answer set solving in practice, axiomatic characterization, exercise 1-d

Playlist on axiomatic characterization: https://www.youtube.com/watch?v=7HGHNq8UclE&list=PL7DBaibuDD9P_bClrNMkTC9X71oqGOMiA Slides and more at https://teaching.potassco.org/