r:rel(), I:Fmla, A:ioa{i:l}(), a:Label. covers_pred(A;I) r I (r':rel(). r' col_subst2(x.smts_eff(action_effect(a;A.eff;A.frame);x);r))

1	1. r: rel() 2. I: Collection(rel()) 3. A: ioa{i:l}() 4. a: Label 5. x:Label. (r:rel(). r I & rel_mentions(r;x)) covers_var(A;x) 6. r I r':rel(). r' col_subst2(x.smts_eff(action_effect(a;A.eff;A.frame);x);r)

About: