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