Class ImplicationAcceptanceCondition