01-TRANSITIVITY

(EXAMPLE
     :NAME                   01-TRANSITIVITY
     :GENERATEDFORM          "Uživatel nakreslí úsečku."
     :GLOSS                  ( :ENGLISH )
     :TARGETFORM             "Uživatel nakreslí úsečku."
     :LOGICALFORM
     (S / DM::DRAW
          :ACTOR
          (AR / DM::USER
               :CONTEXTUAL-BOUNDNESS YES
               :IDENTIFIABILITY-Q DM::IDENTIFIABLE )

          :ACTEE
          (AE / DM::LINE
               :CONTEXTUAL-BOUNDNESS NO )
          )
     :SET-NAME               CZ-LC
     )

Return to index. BGCOLOR="#FFFFCC">