- Create a fork of the repository.
- Push your changes to a branch in your fork.
- Start a pull request: go to your branch on the GitHub website, then click "New pull request". Describe your changes.
- Writing a lambda calculus for a new language or use-case. Please create a new folder in lib_data and add enhancement, binarization, and substitution files. Please also add a README.md describing your use case.
- Changes to existing rule files if the construction hasn't been handled properly in the current proposal.
- Addition/Changes to current codebase.
- Raising issues.
Logical expression parser has difficulty parsing certain characters. Replace these characters with parsable symbols.- Visualization of logical forms in graph format -- brat visualization?
- Alternate output forms
- Documentation describing sentences and logical forms.
- Making the rules fine grained, e.g., arg0 is not always required. Instantiate it only when it is necessary.
- A nicer web demo
- Move from tregex to semgrex -- a major change
Thanks a lot for contributing! This is the only way to keep this project alive.