%lemmaB1

lemmaB1(S,T,I) == (0=<I => (beta(S,T) => (free(T,I) => free(S,I)))).

%top_predicates_precedence([lemmaB1]). !!!