2345e3272a67acf0f2b524f3244b1ebf
per discussion with Barry Smith
2345e3272a67acf0f2b524f3244b1ebf
per discussion with Barry Smith
has axiom label
type
comment
per discussion with Barry Smith
annotatedProperty
annotatedSource
annotatedTarget
Specifically dependent continu ...... are promises, obligation, etc.
@en