parse and type wildcard $_ in TPTP, as a constant term