Since premises of argumentation schemes are represented using Go maps, the order of the premises is non-deterministic. The order in the YAML source file is not necessarily preserved. But it needs to be since we are compiling schemes to CHR rules, where the order is important in the operational semantics. To do: change the representation of scheme premises from a map to a slice (list)
Since premises of argumentation schemes are represented using Go maps, the order of the premises is non-deterministic. The order in the YAML source file is not necessarily preserved. But it needs to be since we are compiling schemes to CHR rules, where the order is important in the operational semantics. To do: change the representation of scheme premises from a map to a slice (list)