create implication maple_tree -> tree
create implication fir_tree -> tree
create implication apple_tree -> tree
create implication tree -> plant
The first three are more or less random stuff but the implication tree to plant should be done because a tree ist a plant. It is even stated in the wiki page.
On the other hand I see that nearly nothing implicates plant...Is there a reason for that?