{
  "t": "typ",
  "id": "Tp3GreaterThanZero",
  "spc": {
		"t":"lst",
		"bds": {
			"t":"bds",
			"fr": {"t":"a_sxp_trms", "s":[{"t":"a_trm_ftrs", "s":[{ "t":"ftr", "arg0":{"t":"int", "val":3}, "qals0":null, "arg1":null, "qals1":null }]}]},
			"to": {"t":"a_sxp_trms", "s":[{"t":"a_trm_ftrs", "s":[{ "t":"ftr", "arg0":{"t":"int", "val":3}, "qals0":null, "arg1":null, "qals1":null }]}]}
		},
		"unq": false,
		"spc": {"t":"any_ref","id":"TpIntegerGreaterThanZero"}
  },
  "whrs":null
}