1 | 13. r ( r I.smts_eff_rel(action_effect(a.lbl;A.eff;A.frame);r)) 14. r1: rel() 15. r1 I 16. as: (Label Term) List 17. 1of(unzip(as)) = rel_vars(r1) 18. i: . i < ||as||  2of(as[i]) ( x.smts_eff(action_effect(a.lbl;A.eff;A.frame);x))(1of(as[i])) 19. r = rel_subst(as;r1) tc(rel_subst(as;r1);A.ds;dec_lookup(A.da;a.lbl);de) |