Restricted inference for transitions

[danielhers]

Constraints:

• Top level must be F, L, H, G or U
• L must also be LR
• H must have P or S
• F must not have children
• Scene (units with P, S or A) must have exactly one P or S
• Scene must be H, A, E or C thereof
• Scenes must have only P, S, A, D, G, F, T and U
• Complex units (units with C) must have only C, E, R, F and U; or only C, N, F and U
• Complex units with E must have only one C
• Linkage units (units with LR or LA) must have only LR (exactly one) and LA (at least two)

Some are already implemented, but some are violated in training data and so disabled.

Should by unified with constraints from static/js/classes.js in the old web app or the constraints in UCCAApp.

From danielhers/ucca#22.

[macleginn]

What about C+E? These should obligatorily have an A parent.

[danielhers]

This is certainly not the case; here are the violations of this rule in the Wiki corpus. violations.txt

[macleginn]

Ok, more precisely: C/Es must obligatorily have an A/P (D?) parent at some point up in the tree.