pub type UncertainActivationPredicate<D, S, T, ST, SYM, VS, VT> = fn(&Context<D, S, T, ST, SYM, VS, VT>, &ProposedAction) -> Result<Uncertain<bool>, CausalityError>;pub type UncertainActivationPredicate<D, S, T, ST, SYM, VS, VT> = fn(&Context<D, S, T, ST, SYM, VS, VT>, &ProposedAction) -> Result<Uncertain<bool>, CausalityError>;