Class SemiJoinRule