premises
#ax_branch_int_l_pl

line(1)
plane(2)

conclusions

int_l_pl(1, 2)

|
~int_l_pl(1, 2)


