premises
#ax_int_l_l_21

line(1)
line(2)
int_l_l(2,1)

conclusions

int_l_l(1,2)

