A:ioa{i:l}(), Q:Fmla, de:sig(), a:Label. tc_ioa(A;de) single_valued_decls(A.ds) tc_pred(Q;A.ds;dec_lookup(A.da;a);de) tc_pred(wp(A;a;Q);A.ds;dec_lookup(A.da;a);de)

1	1. A: ioa{i:l}() 2. Q: Fmla 3. de: sig() 4. a: Label 5. tc_ioa(A;de) 6. single_valued_decls(A.ds) 7. tc_pred(Q;A.ds;dec_lookup(A.da;a);de) tc_pred(smts_eff_pred(action_effect(a;A.eff;A.frame);Q);A.ds;dec_lookup(A.da;a);de)

About: