class Sexp::PTimeIdentifier