premises
#ax_branch_inc_l_pl

line(1)
plane(2)

conclusions

inc_l_pl(1, 2)

|
~inc_l_pl(1, 2)


