resource ParamBasic = {
param Flag = ExistS NumQuant | ForallS NumQuant | NothingS ;
param SentForm = Indep | Attrib ;
param NumQuant = One | Many ;
}