At:
rel effect lemma
2
1.
A: ioa{i:l}()
2.
rho: Decl
3.
de: sig()
4.
act: (
[[A.da]] rho)
5.
r: rel()
6.
r0: rel()
7.
tc_ioa(A;de)
smts_eff_rel(action_effect(kind(act);A.eff;A.frame);r0) 
Collection(rel())
By:
Fold `pred` 0
Generated subgoals:
None
About:
