KIF quoted term expression.
(<=> (Quoterm ?Expr) (And (Term ?Expr) (List ?Expr) (= (First ?Expr) 'Quote) (Expression (First (First ?Expr)))))