Sethood.
Factor out a "parse TPTP string as XML" routine.