HOME |
consequences |
I+ |
I- |
C+ |
C- |
qprop |
qprop+ |
qprop- |
instantiation |
rassert! |
assume! |
defMFI |
parameters |
question-variable |
colon-conditions |
colon-constraints |
colon-participants |
colon-quantities |
colon-self |
colon-subclass-of |
predefined-predicates |
physical-process |
physical-object |
has-participant-role |
active |
trivial-rocket-example |
in-the-beginning |
move-thing-move |
contains-constraint |
things-within-things |
simple-rocket-domain-model |
simple-rocket-scenario-file |
top-level-forms |
defCMLConstant |
defDimension |
defEntity |
defModelFragment |
defQuantityFunction |
defRelation |
defScenario |
defUnit |
defUniversalFact |
forAll |