We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Added proposal about restructuring predicates and synopses
Added proposal about putting CARG in predicate synopses
Added proposal to encode constraint relations
Updated BNF and added notes about the hierarchies
Added proposals
Add note about redefining predicate hierarchies; added table of contents
Revision based on my understanding of the 1.0 SEM-I format
Add/Update SemiRfc.md
Beginning to describe .smi files
Added another note.
Adding SemiRfc placeholder with proposal for gpred hierarchies