tail → consequence
Relation Type