(|predtest|
 (|predthm| "" (FLATTEN)
  (("" (SPLIT)
    (("1" (SKOLEM!) (("1" (INST - "x!1") (("1" (FLATTEN) NIL NIL)) NIL)) NIL)
     ("2" (SKOSIMP*) (("2" (INST?) (("2" (PROP) NIL NIL)) NIL)) NIL))
    NIL))
  NIL)
 (|predthm_2| "" (REDUCE) NIL NIL))