modified:   definition_parser.py - intra-definition unification done, not tested yet
modified:   definition_parser.py
- intra-definition unification done, not tested yet

kornai/pymachine,recski/pymachine,Eszti/pymachine,recski/pymachine,kornai/pymachine,Eszti/pymachine