A:ioa{i:l}(), I:Fmla, r:rel().
r 
I 
covers_pred(A;I) covers_rel(A;r)x:Label. rel_mentions(r;x) covers_var(A;x)
is mentioned by
|
Thm* A:ioa{i:l}(), I:Fmla, r:rel().
r I covers_pred(A;I) covers_rel(A;r) | [covers_pred_rel_member] |
Try larger context: GenAutomata