extract a signature from TPTP declarations, without type inference