1 | 21. as: (Label Term) List 22. 1of(unzip(as)) = rel_primed_vars(r) 23. i: . i < ||as||  2of(as[i]) ( x.smts_eff(action_effect(kind(a);A.eff;A.frame);x))(1of(as[i])) 24. r@0 = rel_subst2(as;r) [[rel_subst2(as;r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr |