Now, in our context, Arg contains the argument, and SysInt an interpretation generated by our system.
any representation that supports the generation of a connected argument involving a given set of propositions would be appropriate.