abc :- fgh.

f :- (
		(gh, kl)
	; (qw, po)


   ; k) ;
   					p.