NL Formulations
LSP Formalization
NP<subclass> [can]be NP<superclass> and NP<superclass>
Reusable JAPE code: -
Abbreviation and symbols