clear

fun clear()

Clear all propositions and cached embeddings. Useful for testing.