Soc'ul': Nominal Categories: Conjunctions and Universal Quantifiers: Formally different

Local description missing.