! [P,A,Q] : (line(P) & point(A) & ninc_po_l(A,P) & line(Q) & inc_po_l(A,Q) & int_l_l(P,Q))
? [R] : (plane(R) & inc_po_pl(A,R) & inc_l_pl(P,R))
(inc_l_pl(Q,R))