Separating textbook reference file to test inclusion semantics