Encoded half of the PMF specification rules
Merge branch 'master' of https://github.com/SiLeBAT/Other.git