content: module Sem where
  import Eprover.Abs
  sem :: Database
  sem = Db [Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "CombRed"))])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_1")),VarT (V (UIdent "Q_1"))],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_2")),VarT (V (UIdent "Q_2"))]])) [TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "P_1")),Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],VarT (V (UIdent "P_2"))]),TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "Q_1")),Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],VarT (V (UIdent "Q_2"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_1")),VarT (V (UIdent "Q_1"))],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_2")),VarT (V (UIdent "Q_2"))]])) [TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "P_1")),Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],VarT (V (UIdent "P_2"))]),TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "Q_1")),Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],VarT (V (UIdent "Q_2"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_1")),VarT (V (UIdent "Q_1"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_2")),VarT (V (UIdent "Q_2"))]])) [TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "P_1")),Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],VarT (V (UIdent "P_2"))]),TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "Q_1")),Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (V (UIdent "L"))],VarT (V (UIdent "Q_2"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_1")),VarT (V (UIdent "Q_1"))],Complex (Atm (LIdent "delta")) [VarT (V (UIdent "T"))],Complex (Atm (LIdent "par")) [VarT (V (UIdent "P_2")),VarT (V (UIdent "Q_2"))]])) [TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "P_1")),Complex (Atm (LIdent "delta")) [VarT (V (UIdent "T"))],VarT (V (UIdent "P_2"))]),TPred (Complex (Atm (LIdent "step")) [VarT (V (UIdent "Q_1")),Complex (Atm (LIdent "delta")) [VarT (V (UIdent "T"))],VarT (V (UIdent "Q_2"))])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "CombRed"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "ExclusiveAreas"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Enter")) [VarT (V (UIdent "X")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "enter"))],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),Complex (Atm (LIdent "cons")) [VarT (V (UIdent "X")),VarT (V (UIdent "Xs"))],Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "ok"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),Complex (Atm (LIdent "cons")) [VarT (V (UIdent "X")),VarT (V (UIdent "Xs"))],Complex (Atm (LIdent "rte_Exit")) [VarT (V (UIdent "X")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "exit"))],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "ok"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "excl")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "free"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "enter"))],Complex (Atm (LIdent "excl")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "taken"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "excl")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "taken"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "exit"))],Complex (Atm (LIdent "excl")) [Complex (Atm (LIdent "x")) [VarT (V (UIdent "X")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "free"))]])),Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "ExclusiveAreas"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "InterrunnableVariables"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_IrvRead")) [VarT (V (UIdent "S")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "irvr")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "V"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_IrvWrite")) [VarT (V (UIdent "S")),VarT (V (UIdent "V")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "irvw")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "ok"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "irv")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],VarT (V (UIdent "V"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "irvr")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "irv")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],VarT (V (UIdent "V"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "irv")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],VarT (A (Wild "_"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "irvw")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "irv")) [Complex (Atm (LIdent "s")) [VarT (V (UIdent "S")),VarT (V (UIdent "I"))],VarT (V (UIdent "V"))]])),Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "InterrunnableVariables"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "SendingReceiving"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Receive")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))],VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "rcv")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "V"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Send")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))],VarT (V (UIdent "V")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "snd")) [VarT (V (UIdent "V")),VarT (V (UIdent "Res"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "Res"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),Complex (Atm (LIdent "cons")) [VarT (V (UIdent "V")),VarT (V (UIdent "Vs"))]],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "rcv")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),TAtom (Atm (LIdent "eps"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "rcv")) [TAtom (Atm (LIdent "no_data"))]],Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),TAtom (Atm (LIdent "eps"))]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "snd")) [VarT (V (UIdent "V")),TAtom (Atm (LIdent "ok"))]],Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),Complex (Atm (LIdent "seq")) [VarT (V (UIdent "Vs")),VarT (V (UIdent "V"))]]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "less")) [Complex (Atm (LIdent "length")) [VarT (V (UIdent "Vs"))],VarT (V (UIdent "N"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "snd")) [VarT (A (Wild "_")),TAtom (Atm (LIdent "limit"))]],Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "equal")) [Complex (Atm (LIdent "length")) [VarT (V (UIdent "Vs"))],VarT (V (UIdent "N"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "snd")) [VarT (V (UIdent "V")),TAtom (Atm (LIdent "limit"))]],Complex (Atm (LIdent "qelem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "N")),Complex (Atm (LIdent "seq")) [VarT (V (UIdent "Vs")),VarT (V (UIdent "V"))]]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "less")) [Complex (Atm (LIdent "length")) [VarT (V (UIdent "Vs"))],VarT (V (UIdent "N"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (A (Wild "_")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "snd")) [VarT (A (Wild "_")),TAtom (Atm (LIdent "ok"))]],Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),TAtom (Atm (LIdent "pending")),VarT (V (UIdent "N"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "dataReceived")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "events")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (V (UIdent "Act")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "snd")) [VarT (A (Wild "_")),TAtom (Atm (LIdent "limit"))]],Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (V (UIdent "Act")),VarT (V (UIdent "N"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "dataReceived")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "events")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "SendingReceiving"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "ReadingWriting"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Read")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))],VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "rd")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "V"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Write")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))],VarT (V (UIdent "V")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "wr")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "ok"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (A (Wild "_")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "rd")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "false")),VarT (V (UIdent "V"))]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (A (Wild "_")),VarT (A (Wild "_"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "wr")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "true")),VarT (V (UIdent "V"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (A (Wild "_")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "wr")) [VarT (A (Wild "_"))]],Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),TAtom (Atm (LIdent "pending")),VarT (V (UIdent "N"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "dataReceived")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "events")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]])],Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_IsUpdated")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))],VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "up")) [VarT (V (UIdent "U"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "U"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Invalidate")) [Complex (Atm (LIdent "e")) [VarT (V (UIdent "E")),VarT (V (UIdent "P"))],VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "inv"))],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "ok"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "U")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "up")) [VarT (V (UIdent "U"))]],Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "U")),VarT (V (UIdent "V"))]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (A (Wild "_U")),VarT (A (Wild "_"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "inv"))],Complex (Atm (LIdent "delem")) [Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "true")),TAtom (Atm (LIdent "invalid"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "ep")) [VarT (V (UIdent "E")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "ReadingWriting"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "CallServer"))])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Call")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))],VarT (V (UIdent "V")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "call")) [VarT (V (UIdent "V")),TAtom (Atm (LIdent "ok"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Result")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))],VarT (V (UIdent "K"))]]])) [TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "sync")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "serverCallPoint")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Call")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))],VarT (V (UIdent "V")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "call")) [VarT (V (UIdent "V")),TAtom (Atm (LIdent "ok"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "Res"))]]])) [TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "async")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "serverCallPoint")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]])],Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Call")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))],VarT (V (UIdent "V")),VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "call")) [VarT (V (UIdent "V")),TAtom (Atm (LIdent "limit"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "Res"))]]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),Complex (Atm (LIdent "serving")) [VarT (V (UIdent "Cs")),VarT (V (UIdent "Vs"))],VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "call")) [VarT (V (UIdent "V")),TAtom (Atm (LIdent "ok"))]],Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),Complex (Atm (LIdent "serving")) [Complex (Atm (LIdent "seq")) [VarT (V (UIdent "Cs")),VarT (V (UIdent "A"))],Complex (Atm (LIdent "seq")) [VarT (V (UIdent "Vs")),VarT (V (UIdent "V"))]],VarT (V (UIdent "N"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "operationInvoked")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "events")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]]),NPred (Complex (Atm (LIdent "member")) [VarT (V (UIdent "A")),VarT (V (UIdent "Cs"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),Complex (Atm (LIdent "serving")) [VarT (V (UIdent "Cs")),VarT (V (UIdent "Vs"))],VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "call")) [VarT (A (Wild "_")),TAtom (Atm (LIdent "limit"))]],Complex (Atm (LIdent "runnable")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "K")),VarT (V (UIdent "T")),Complex (Atm (LIdent "serving")) [VarT (V (UIdent "Cs")),VarT (V (UIdent "Vs"))],VarT (V (UIdent "N"))]])) [TPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]]),TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "operationInvoked")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))]],Complex (Atm (LIdent "events")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))]]]),TPred (Complex (Atm (LIdent "member")) [VarT (V (UIdent "A")),VarT (V (UIdent "Cs"))])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "CallServer"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "ServerResult"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "rte_Result")) [Complex (Atm (LIdent "o")) [VarT (V (UIdent "O")),VarT (V (UIdent "P"))],VarT (V (UIdent "K"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "res")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [Complex (Atm (LIdent "r")) [VarT (V (UIdent "R")),VarT (V (UIdent "I"))],VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "V"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "return")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "say")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "ret")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "nil")),TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "return")) [TAtom (Atm (LIdent "void"))]]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "opres")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "cons")) [VarT (V (UIdent "V")),VarT (V (UIdent "Vs"))]],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "res")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "opres")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "Vs"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "opres")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "ret")) [VarT (V (UIdent "V"))]],Complex (Atm (LIdent "opres")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "seq")) [VarT (V (UIdent "Vs")),VarT (V (UIdent "V"))]]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "opres")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "eps"))],Complex (Atm (LIdent "hear")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],Complex (Atm (LIdent "res")) [TAtom (Atm (LIdent "no_data"))]],Complex (Atm (LIdent "opres")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))],TAtom (Atm (LIdent "eps"))]])) [TPred (Complex (Atm (LIdent "async_result")) [Complex (Atm (LIdent "op")) [VarT (V (UIdent "O")),VarT (V (UIdent "P")),VarT (V (UIdent "I"))]])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "ServerResult"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "SpawnTerminate"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "nil")),TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "return")) [VarT (A (Wild "_"))]],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "term"))],TAtom (Atm (LIdent "null"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (V (UIdent "Act")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "term"))],Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (V (UIdent "Act")),Complex (Atm (LIdent "minus")) [VarT (V (UIdent "N")),TInt 1]]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),TInt 0,TAtom (Atm (LIdent "pending")),TInt 0],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "new"))],Complex (Atm (LIdent "par")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),TAtom (Atm (LIdent "idle")),TInt 1],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "nil")),TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "void"))]]]])) [TPred (Complex (Atm (LIdent "minimumStartInterval")) [VarT (V (UIdent "A")),VarT (V (UIdent "T"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),TInt 0,TAtom (Atm (LIdent "pending")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "new"))],Complex (Atm (LIdent "par")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),TAtom (Atm (LIdent "idle")),Complex (Atm (LIdent "plus")) [VarT (V (UIdent "N")),TInt 1]],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "nil")),TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),TAtom (Atm (LIdent "void"))]]]])) [TPred (Complex (Atm (LIdent "canBeInvokedConcurrently")) [VarT (V (UIdent "A"))]),TPred (Complex (Atm (LIdent "minimumStartInterval")) [VarT (V (UIdent "A")),VarT (V (UIdent "T"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),TInt 0,Complex (Atm (LIdent "serving")) [Complex (Atm (LIdent "cons")) [VarT (V (UIdent "C")),VarT (V (UIdent "Cs"))],Complex (Atm (LIdent "cons")) [VarT (V (UIdent "V")),VarT (V (UIdent "Vs"))]],TInt 0],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "new"))],Complex (Atm (LIdent "par")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),Complex (Atm (LIdent "serving")) [VarT (V (UIdent "Cs")),VarT (V (UIdent "Vs"))],TInt 1],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),VarT (V (UIdent "C")),TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "V"))]]]])) [TPred (Complex (Atm (LIdent "minimumStartInterval")) [VarT (V (UIdent "A")),VarT (V (UIdent "T"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),TInt 0,Complex (Atm (LIdent "serving")) [Complex (Atm (LIdent "cons")) [VarT (V (UIdent "C")),VarT (V (UIdent "Cs"))],Complex (Atm (LIdent "cons")) [VarT (V (UIdent "V")),VarT (V (UIdent "Vs"))]],VarT (V (UIdent "N"))],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "new"))],Complex (Atm (LIdent "par")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),Complex (Atm (LIdent "serving")) [VarT (V (UIdent "Cs")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "plus")) [VarT (V (UIdent "N")),TInt 1]],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),VarT (V (UIdent "C")),TAtom (Atm (LIdent "eps")),Complex (Atm (LIdent "ap")) [VarT (V (UIdent "K")),VarT (V (UIdent "V"))]]]])) [TPred (Complex (Atm (LIdent "canBeInvokedConcurrently")) [VarT (V (UIdent "A"))]),TPred (Complex (Atm (LIdent "minimumStartInterval")) [VarT (V (UIdent "A")),VarT (V (UIdent "T"))])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "SpawnTerminate"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "PassingTime"))])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "timer")) [VarT (V (UIdent "A")),TInt 0],Complex (Atm (LIdent "say")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "tick"))],Complex (Atm (LIdent "timer")) [VarT (V (UIdent "A")),VarT (V (UIdent "T"))]])) [TPred (Complex (Atm (LIdent "member")) [Complex (Atm (LIdent "events")) [VarT (V (UIdent "A"))],Complex (Atm (LIdent "timing")) [VarT (V (UIdent "T"))]])],Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (A (Wild "_")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),TAtom (Atm (LIdent "tick"))],Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),TAtom (Atm (LIdent "pending")),VarT (V (UIdent "N"))]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "timer")) [VarT (V (UIdent "A")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "delta")) [VarT (V (UIdent "T"))],Complex (Atm (LIdent "timer")) [VarT (V (UIdent "A")),Complex (Atm (LIdent "minus")) [VarT (V (UIdent "V")),VarT (V (UIdent "T"))]]])) [TPred (Complex (Atm (LIdent "lesseq")) [VarT (V (UIdent "T")),VarT (V (UIdent "V"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),VarT (V (UIdent "V")),VarT (V (UIdent "Act")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "delta")) [VarT (V (UIdent "T"))],Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),Complex (Atm (LIdent "minus")) [VarT (V (UIdent "V")),VarT (V (UIdent "T"))],VarT (V (UIdent "Act")),VarT (V (UIdent "N"))]])) [TPred (Complex (Atm (LIdent "lesseq")) [VarT (V (UIdent "T")),VarT (V (UIdent "V"))])],Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),TInt 0,VarT (V (UIdent "Act")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "A")),VarT (V (UIdent "K")),TInt 0,VarT (V (UIdent "Act")),VarT (V (UIdent "N"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),VarT (V (UIdent "Code"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),VarT (V (UIdent "Code"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "excl")) [VarT (V (UIdent "A")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "excl")) [VarT (V (UIdent "A")),VarT (V (UIdent "V"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "irv")) [VarT (V (UIdent "A")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "irv")) [VarT (V (UIdent "A")),VarT (V (UIdent "V"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [VarT (V (UIdent "A")),VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "qelem")) [VarT (V (UIdent "A")),VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "delem")) [VarT (V (UIdent "A")),VarT (V (UIdent "U")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "delem")) [VarT (V (UIdent "A")),VarT (V (UIdent "U")),VarT (V (UIdent "V"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "opres")) [VarT (V (UIdent "A")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "delta")) [VarT (A (Wild "_"))],Complex (Atm (LIdent "opres")) [VarT (V (UIdent "A")),VarT (V (UIdent "Vs"))]])),Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "PassingTime"))])),Fact (TPred (Complex (Atm (LIdent "begingroup")) [VarT (V (UIdent "IgnoreBroadcast"))])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),VarT (V (UIdent "K"))],Complex (Atm (LIdent "hear")) [VarT (A (Wild "_")),VarT (A (Wild "_"))],Complex (Atm (LIdent "rinst")) [VarT (V (UIdent "A")),VarT (V (UIdent "C")),VarT (V (UIdent "Xs")),VarT (V (UIdent "K"))]])),Fact (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "timer")) [VarT (V (UIdent "B")),VarT (V (UIdent "T"))],Complex (Atm (LIdent "hear")) [VarT (A (Wild "_")),VarT (A (Wild "_"))],Complex (Atm (LIdent "timer")) [VarT (V (UIdent "B")),VarT (V (UIdent "T"))]])),Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "B")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (V (UIdent "Act")),VarT (V (UIdent "N"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (A (Wild "_"))],Complex (Atm (LIdent "runnable")) [VarT (V (UIdent "B")),VarT (V (UIdent "K")),VarT (V (UIdent "T")),VarT (V (UIdent "Act")),VarT (V (UIdent "N"))]])) [NPred (Complex (Atm (LIdent "equal")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "excl")) [VarT (V (UIdent "B")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (A (Wild "_"))],Complex (Atm (LIdent "excl")) [VarT (V (UIdent "B")),VarT (V (UIdent "V"))]])) [NPred (Complex (Atm (LIdent "equal")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "irv")) [VarT (V (UIdent "B")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (A (Wild "_"))],Complex (Atm (LIdent "irv")) [VarT (V (UIdent "B")),VarT (V (UIdent "V"))]])) [NPred (Complex (Atm (LIdent "equal")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "qelem")) [VarT (V (UIdent "B")),VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (A (Wild "_"))],Complex (Atm (LIdent "qelem")) [VarT (V (UIdent "B")),VarT (V (UIdent "N")),VarT (V (UIdent "Vs"))]])) [NPred (Complex (Atm (LIdent "equal")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))]),NPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "delem")) [VarT (V (UIdent "B")),VarT (V (UIdent "U")),VarT (V (UIdent "V"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (A (Wild "_"))],Complex (Atm (LIdent "delem")) [VarT (V (UIdent "B")),VarT (V (UIdent "U")),VarT (V (UIdent "V"))]])) [NPred (Complex (Atm (LIdent "equal")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))]),NPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))])],Rule (TPred (Complex (Atm (LIdent "step")) [Complex (Atm (LIdent "opres")) [VarT (V (UIdent "B")),VarT (V (UIdent "Vs"))],Complex (Atm (LIdent "hear")) [VarT (V (UIdent "A")),VarT (A (Wild "_"))],Complex (Atm (LIdent "opres")) [VarT (V (UIdent "B")),VarT (V (UIdent "Vs"))]])) [NPred (Complex (Atm (LIdent "equal")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))]),NPred (Complex (Atm (LIdent "connect")) [VarT (V (UIdent "A")),VarT (V (UIdent "B"))])],Fact (TPred (Complex (Atm (LIdent "endgroup")) [VarT (V (UIdent "IgnoreBroadcast"))]))]
  