NL Formulations
LSP Formalization
(NP<subclass>,)* and] NP<subclass> (belong to)\(fall into) CN-CATV NP<superclass>
Reusable JAPE code: SC_3.jape
Abbreviation and symbols