A PDF Interactive Logic Model