multiplicities vs. quantifiers

Comparison

	multiplicities	quantifiers
Key Words	* set * one * some * lone	* all * one * some * lone * no
Expression	m sig S {} sig S {f: m A} sig S {f: A m -> n B}	( m x: S | F )