NL Formulations
LSP Formalization
(NP<subclass>,)* and] NP<subclass> classify as NP<superclass>
Reusable JAPE code: SC_3.jape
Abbreviation and symbols