- definitions are read and used in creating constructions, too - instead of using only,  as many machines to use for matching   as there are in a construction
- definitions are read and used in creating constructions, too
- instead of using only,  as many machines to use for matching
  as there are in a construction

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