**Is your feature request related to a problem? Please describe.** Support for First-Order logic semantics is missing. **Describe the solution you'd like** Implement it. **Describe alternatives you've considered** n/a **Additional context** Depends on #48
