mkObjEnt :: String -> Id -> Int -> String -> FrameBit -> Named Axiom
mkObjEnt s i n m = makeNamed (s ++ show i
  ++ (if n < 0 then "" else '_' : show n) ++ m) . PlainAxiom
       (ObjectEntity $ toO i n)
mkObjEnt :: String -> Id -> Int -> String -> FrameBit -> Named Axiom
mkObjEnt s i n m = makeNamed (s ++ show i
  ++ (if n < 0 then "" else '_' : show n) ++ m) . PlainAxiom
       (ObjectEntity $ toO i n)
mkObjEnt s i n m = makeNamed (s ++ show i
  ++ (if n < 0 then "" else '_' : show n) ++ m) . PlainAxiom
       (ObjectEntity $ toO i n)