A:ioa{i:l}(), rho:Decl, de:sig(), act:([[A.da]] rho), r,r0:rel(). tc_ioa(A;de) r smts_eff_rel(action_effect(kind(act);A.eff;A.frame);r0) rel_eq(rel_unprime(r);rel_unprime(r0)) (t:dec(). t A.da & t.lbl = kind(act))

1	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) 8. r smts_eff_rel(action_effect(kind(act);A.eff;A.frame);r0) 9. rel_eq(rel_unprime(r);rel_unprime(r0)) t:dec(). t A.da & t.lbl = kind(act)
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())

About: