A minimal corpus was costructed for semantic parsing task evaluation on isda2022 knowledge. The corpus captures:
- Quantitfiers: universal and existential quantification
- Negation
- Logical connectives: conjunction, disjunction and implication
- Equality
- More than one variable
- Questions
| Formalism | Parser | Results |
|---|---|---|
| AMR | armlib | results |
| UCCA | TUPA | results |
| UDS | PredPatt | brief and full |
| DRS | TreeDRSParsing | results |