Frame inference predicate - continued