If P And A B Then In Terms Definition