Implement Interpretations #21
Description
Implement the creation of new structures by mean of first-order interpretations from already defined automatic presentations
{{ message }}
Implement the creation of new structures by mean of first-order interpretations from already defined automatic presentations