Thank you for your inquiry. preconditions should be stored as a tagged value of a use case. Let me ask our developers for a way to retrieve the value. I will let you know when there is any updates.
Curently, what I have been doing is right-clicking on a use case in the diagram, and selecting “Generate Requirements Spec” from the menu. The I right click on the generated document and select “Binding Details…” from the menu. This gives me a ${ELEMENT…} that I can put in the document base. There are two issues with this: 1) It is a manual process that requires manual updating, and 2) I can’t iterate in the document base.
I had assumed that I could access access the preConditions and postConditions properties as they were listed in the “UseCase” website.