Universal Dependencies Deductions plan is for example Universal Dependencies ⇐ (Universal Dependencies is a plan), (is a is inverse of is for example)