modified:   definition_parser.py - unaries now can contain integers to accept "90 IS_A" - now automatic filling is always the definiendum
modified:   definition_parser.py
- unaries now can contain integers to accept "90 IS_A"
- now automatic filling is always the definiendum

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