Title: ProofPower Compliance Tool Language Description