Because it requires domain-specific knowledge, although present in the specification, Permanence is not currently annotated.
annotators are trained on the basic idea and told about subsequent axiomatic assignment.