"Mine" （解释器类型）

矿山的自然语言名称.

允许格式

	Restricted["Mine",{{choice₁,…}}]	在 choices 中
	Restricted["Mine",entityclass]	在 entityclass 中的矿山
	Restricted["Mine",reg]	在 reg 范围中作为 Entity 的矿山
	Restricted["Mine",{property₁value₁,…}]	属性 property_i 的值为 value_i 的矿山

解释矿山：

限制矿山在肯塔基州：

添加限制属性：

顶部