(=> (Setterm ?Expr) (= (First ?Expr) 'Setof))
(<=> (Setterm ?Expr) (And (Term ?Expr) (List ?Expr) (= (First ?Expr) 'Setof)))