Details of rules for our inference challenge will follow in due course.