TSM-EN-MAXI2-FI-16

(EXAMPLE
     :NAME                   TSM-EN-MAXI2-FI-16
     :GENERATEDFORM          "Draw a segment of a line."
     :GLOSS                  ( :ENGLISH NIL)
     :LOGICALFORM
     (|a122| / DM::DRAW
          :SPEECHACT IMPERATIVE
          :ACTEE
          (|a124| / DM::SEGMENT
               :PRE-OR-POST-POSSESSION-Q POST
               :GENERALIZED-POSSESSION-INVERSE (G6162 / DM::LINE ) )

          :ACTOR
          (HEARER / DM::USER
               :IDENTIFIABILITY-Q DM::IDENTIFIABLE )
          )
     :SET-NAME               TSM-EN-MAXI2-FI
     )

Return to index.