29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd{- |

01c674544bd4c211141bcd9fb09b96ffc18c6c3dndModule : $Header$

01c674544bd4c211141bcd9fb09b96ffc18c6c3dndDescription : The SZS ontology for TPTP prover results

01c674544bd4c211141bcd9fb09b96ffc18c6c3dndCopyright : (c) Christian Maeder DFKI GmbH 2010

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndLicense : GPLv2 or higher, see LICENSE.txt

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndMaintainer : Christian.Maeder@dfki.de

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndStability : provisional

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndPortability : portable

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndsee <http://www.cs.miami.edu/~tptp/> under Documents and SZSOntology

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd-}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndmodule Common.SZSOntology where

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndimport Data.Char

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndsuccesses :: [(String, String)]

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26ndsuccesses =

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd [ ("Success", "SUC")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd -- The logical data has been processed successfully.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("UnsatisfiabilityPreserving", "UNP")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- If there does not exist a model of Ax then there does not exist a model of

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd C, i.e., if Ax is unsatisfiable then C is unsatisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("SatisfiabilityPreserving", "SAP")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- If there exists a model of Ax then there exists a model of C, i.e., if Ax

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd is satisfiable then C is satisfiable.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is satisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("EquiSatisfiable", "ESA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- There exists a model of Ax iff there exists a model of C, i.e., Ax is

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (un)satisfiable iff C is (un)satisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("Satisfiable", "SAT")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some models of Ax are models of C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is satisfiable, and ~F is not valid.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Models of Ax | C. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("FinitelySatisfiable", "FSA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some finite interpretations are finite models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some finite models of Ax are finite models of C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is satisfiable, and ~F is not valid.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are FiniteModels of Ax | C. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("Theorem", "THM")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- All models of Ax are models of C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is valid, and C is a theorem of Ax.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Proofs of C from Ax. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("Equivalent", "EQV")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax,

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of Ax are models of C, and

f5f948a91315652103ddae08be22d76f63ba96d4nd all models of C are models of Ax.

f5f948a91315652103ddae08be22d76f63ba96d4nd - F is valid, C is a theorem of Ax, and Ax is a theorem of C.

f5f948a91315652103ddae08be22d76f63ba96d4nd - Possible dataforms are Proofs of C from Ax and of Ax from C. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("TautologousConclusion", "TAC")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- Some interpretations are models of Ax, and

f5f948a91315652103ddae08be22d76f63ba96d4nd all interpretations are models of C.

f5f948a91315652103ddae08be22d76f63ba96d4nd - F is valid, and C is a tautology.

f5f948a91315652103ddae08be22d76f63ba96d4nd - Possible dataforms are Proofs of C. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("WeakerConclusion", "WEC")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- Some interpretations are models of Ax,

f5f948a91315652103ddae08be22d76f63ba96d4nd all models of Ax are models of C, and

f5f948a91315652103ddae08be22d76f63ba96d4nd some models of C are not models of Ax.

f5f948a91315652103ddae08be22d76f63ba96d4nd - See Theorem and Satisfiable. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("EquivalentTheorem", "ETH")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- Some, but not all, interpretations are models of Ax,

f5f948a91315652103ddae08be22d76f63ba96d4nd all models of Ax are models of C, and

f5f948a91315652103ddae08be22d76f63ba96d4nd all models of C are models of Ax.

f5f948a91315652103ddae08be22d76f63ba96d4nd - See Equivalent. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("Tautology", "TAU")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- All interpretations are models of Ax, and

f5f948a91315652103ddae08be22d76f63ba96d4nd all interpretations are models of C.

f5f948a91315652103ddae08be22d76f63ba96d4nd - F is valid, ~F is unsatisfiable, and C is a tautology.

f5f948a91315652103ddae08be22d76f63ba96d4nd - Possible dataforms are Proofs of Ax and of C. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("WeakerTautologousConclusion", "WTC")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- Some, but not all, interpretations are models of Ax, and

f5f948a91315652103ddae08be22d76f63ba96d4nd all interpretations are models of C.

f5f948a91315652103ddae08be22d76f63ba96d4nd - F is valid, and C is a tautology.

f5f948a91315652103ddae08be22d76f63ba96d4nd - See TautologousConclusion and WeakerConclusion. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("WeakerTheorem", "WTH")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- Some interpretations are models of Ax,

f5f948a91315652103ddae08be22d76f63ba96d4nd all models of Ax are models of C,

f5f948a91315652103ddae08be22d76f63ba96d4nd some models of C are not models of Ax, and

f5f948a91315652103ddae08be22d76f63ba96d4nd some interpretations are not models of C.

f5f948a91315652103ddae08be22d76f63ba96d4nd - See Theorem and Satisfiable. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("ContradictoryAxioms", "CAX")

f5f948a91315652103ddae08be22d76f63ba96d4nd {- No interpretations are models of Ax.

f5f948a91315652103ddae08be22d76f63ba96d4nd - F is valid, and anything is a theorem of Ax.

f5f948a91315652103ddae08be22d76f63ba96d4nd - Possible dataforms are Refutations of Ax. -}

f5f948a91315652103ddae08be22d76f63ba96d4nd

f5f948a91315652103ddae08be22d76f63ba96d4nd , ("SatisfiableConclusionContradictoryAxioms", "SCA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- No interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some interpretations are models of C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See ContradictoryAxioms. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("TautologousConclusionContradictoryAxioms", "TCA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- No interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all interpretations are models of C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See TautologousConclusion and SatisfiableConclusionContradictoryAxioms. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("WeakerConclusionContradictoryAxioms", "WCA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- No interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some, but not all, interpretations are models of C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See SatisfiableConclusionContradictoryAxioms and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd SatisfiableCounterConclusionContradictoryAxioms. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("CounterUnsatisfiabilityPreserving", "CUP")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- If there does not exist a model of Ax then there does not exist a model of

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd ~C, i.e., if Ax is unsatisfiable then ~C is unsatisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("CounterSatisfiabilityPreserving", "CSP")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- If there exists a model of Ax then there exists a model of ~C, i.e., if Ax

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd is satisfiable then ~C is satisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("EquiCounterSatisfiable", "ECS")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- There exists a model of Ax iff there exists a model of ~C, i.e., Ax is

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (un)satisfiable iff ~C is (un)satisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("CounterSatisfiable", "CSA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some models of Ax are models of ~C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is not valid, ~F is satisfiable, and C is not a theorem of Ax.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Models of Ax | ~C. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("CounterTheorem", "CTH")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- All models of Ax are models of ~C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is not valid, and ~C is a theorem of Ax.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Proofs of ~C from Ax. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("CounterEquivalent", "CEQ")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax,

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of Ax are models of ~C, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of ~C are models of Ax

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (i.e., all interpretations are models of Ax xor of C).

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is not valid, and ~C is a theorem of Ax.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Proofs of ~C from Ax and of Ax from ~C. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("UnsatisfiableConclusion", "UNC")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all interpretations are models of ~C

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (i.e., no interpretations are models of C).

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is not valid, and ~C is a tautology.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Proofs of ~C. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("WeakerCounterConclusion", "WCC")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of Ax are models of ~C, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some models of ~C are not models of Ax.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See CounterTheorem and CounterSatisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("EquivalentCounterTheorem", "ECT")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some, but not all, interpretations are models of Ax,

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of Ax are models of ~C, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of ~C are models of Ax.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See CounterEquivalent. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("FinitelyUnsatisfiable", "FUN")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- All finite interpretations are finite models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all finite interpretations are finite models of ~C

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (i.e., no finite interpretations are finite models of C). -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("Unsatisfiable", "UNS")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- All interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all interpretations are models of ~C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (i.e., no interpretations are models of C).

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - F is unsatisfiable, ~F is valid, and ~C is a tautology.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - Possible dataforms are Proofs of Ax and of C, and Refutations of F. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("WeakerUnsatisfiableConclusion", "WUC")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some, but not all, interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all interpretations are models of ~C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See Unsatisfiable and WeakerCounterConclusion. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("WeakerCounterTheorem", "WCT")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- Some interpretations are models of Ax,

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all models of Ax are models of ~C,

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some models of ~C are not models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some interpretations are not models of ~C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See CounterSatisfiable. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("SatisfiableCounterConclusionContradictoryAxioms", "SCC")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- No interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd some interpretations are models of ~C.

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See ContradictoryAxioms. -}

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd , ("UnsatisfiableConclusionContradictoryAxioms", "UCA")

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd {- No interpretations are models of Ax, and

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd all interpretations are models of ~C

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd (i.e., no interpretations are models of C).

29fb68cf24dbdb4985cbb4734cb6074ea4bbab26nd - See UnsatisfiableConclusion and

- SatisfiableCounterConclusionContradictoryAxioms. -}

, ("NoConsequence", "NOC") ]

{- Some interpretations are models of Ax,

some models of Ax are models of C, and

some models of Ax are models of ~C.

- F is not valid, F is satisfiable, ~F is not valid, ~F is satisfiable, and

C is not a theorem of Ax.

- Possible dataforms are pairs of models, one Model of Ax | C and one Model

of Ax | ~C. -}

nosuccess :: [(String, String)]

nosuccess =

[ ("NoSuccess", "NOS")

-- The logical data has not been processed successfully (yet).

, ("Open", "OPN")

-- A success value has never been established.

, ("Unknown", "UNK")

-- Success value unknown, and no assumption has been made.

, ("Assumed", "ASS(U,S)")

{- The success ontology value S has been assumed because the actual value is

unknown for the no-success ontology reason U. U is taken from the

subontology starting at Unknown in the no-success ontology. -}

, ("Stopped", "STP")

{- Software attempted to process the data, and stopped without a success

status. -}

, ("Error", "ERR")

-- Software stopped due to an error.

, ("OSError", "OSE")

-- Software stopped due to an operating system error.

, ("InputError", "INE")

-- Software stopped due to an input error.

, ("SyntaxError", "SYE")

-- Software stopped due to an input syntax error.

, ("SemanticError", "SEE")

-- Software stopped due to an input semantic error.

, ("TypeError", "TYE")

-- Software stopped due to an input type error (for typed logical data).

, ("Forced", "FOR")

-- Software was forced to stop by an external force.

, ("User", "USR")

-- Software was forced to stop by the user.

, ("ResourceOut", "RSO")

-- Software stopped because some resource ran out.

, ("Timeout", "TMO")

-- Software stopped because the CPU time limit ran out.

, ("MemoryOut", "MMO")

-- Software stopped because the memory limit ran out.

, ("GaveUp", "GUP")

-- Software gave up of its own accord.

, ("Incomplete", "INC")

-- Software gave up because it's incomplete.

, ("Inappropriate", "IAP")

-- Software gave up because it cannot process this type of data.

, ("InProgress", "INP")

-- Software is still running.

, ("NotTried", "NTT")

-- Software has not tried to process the data.

, ("NotTriedYet", "NTY") ]

-- Software has not tried to process the data yet, but might in the future.

szsCheck :: [(String, String)] -> [String] -> String -> Bool

szsCheck pl l = maybe False (`elem` l)

. (`lookup` map (\ (t, r) -> (map toLower t, r)) pl) . map toLower

szsProved :: String -> Bool

szsProved = szsCheck successes ["SAT", "THM"]

szsDisproved :: String -> Bool

szsDisproved = szsCheck successes ["CSA", "UNS"]

szsTimeout :: String -> Bool

szsTimeout = szsCheck nosuccess ["TMO", "RSO"]

szsMemoryOut :: String -> Bool

szsMemoryOut = szsCheck nosuccess ["MMO"]

szsStopped :: String -> Bool

szsStopped = szsCheck nosuccess ["STP"]