Presupposes

reldef:clab:presupposes

presupposes — the source presupposes the target.