clause
  =: conphrase
  <: conphrase
  :=
