END USER LICENCE AGREEMENTNovember 11th, 2022
FiledNovember 11th, 2022Figure 2.2: (i) An ASPIC+ argument B undercutting the ASPIC+ argument A shown in Figure 2.1 on A9, where nom(s, t c) = r1 (see Definition 1 where the naming function nom is defined). (ii) An ASPIC+ argument C rebutting the ASPIC+ argument A on A. (iii) An ASPIC+ argument D undermining the ASPIC+ argument A on A3.