Uses of Class
tptp_parser.SimpleTptpParserOutput.Source.Name

No usage of tptp_parser.SimpleTptpParserOutput.Source.Name