patTermPair :: [String] -> AParser st (FplTerm, FplTerm)
patTermPair ks = do
  p <- eqTerm ks
  implKey
  t <- eqTerm ks
  return (p, t)
patTermPair :: [String] -> AParser st (FplTerm, FplTerm)
patTermPair ks = do
  p <- eqTerm ks
  implKey
  t <- eqTerm ks
  return (p, t)
patTermPair ks = do
  p <- eqTerm ks
  implKey
  t <- eqTerm ks
  return (p, t)