{
  "t": "type",
  "id": "Tp3GreaterThanZero",
  "spec": {
		"t":"list",
		"bounds": {
			"t":"bounds",
			"from": [[{ "t":"factor", "arg0":{"t":"integer", "value":3}, "quals0":[], "arg1":null, "quals1":null }]],
			"to": [[{ "t":"factor", "arg0":{"t":"integer", "value":3}, "quals0":[], "arg1":null, "quals1":null }]]
		},
		"unique": false,
		"spec": {
			"t":"type_ref",
	    "id":"TpIntegerGreaterThanZero"
		}
  },
  "wheres":[]
}