NL Formulations
LSP Formalization
(NP<subclass>,)* and] NP<subclass> be [CN-CATV] NP<superclass>
Reusable JAPE code: SC_1_2.jape
Abbreviation and symbols