Boxer Output

  • Syntax of Discourse Representation Structures (DRSs)
  • Syntax of Segmented Discourse Representation Structures (SDRSs)
  • Syntax of First-Order Logic (FOL)