% Input: specify parts of the rules ...


 rule(r1). head(bird,r1).

 rule(r2). head(swims,r1). 

 rule(r3). head(neg_flies,r3). pbl(peng,r3). nbl(flies,r3).

 rule(r4). head(flies,r4).  pbl(bird,r4). nbl(neg_flies,r4).

 rule(r5). head(peng,r5). pbl(bird,r5). pbl(swims,r5). nbl(neg_peng,r5).

 compl(flies,neg_flies). 
 compl(peng,neg_peng). 

 pr(r3,r4).


