Implies

reldef:clab:implies

implies — the source implies the target.