TSM-EN-MAXI2-SI-7

(EXAMPLE
     :NAME                   TSM-EN-MAXI2-SI-7
     :GENERATEDFORM          "Specify the end point of the segment of a line."
     :GLOSS                  ( :ENGLISH NIL)
     :LOGICALFORM
     (|a62| / DM::SPECIFY-COMPONENT
          :SPEECHACT IMPERATIVE
          :ACTEE
          (|a64| / DM::POINT
               :PROPERTY-ASCRIPTION
               (G6156 / QUALITY
                    :LEX END )

               :PRE-OR-POST-POSSESSION-Q POST
               :GENERALIZED-POSSESSION-INVERSE
               (|a49| / DM::SEGMENT
                    :PRE-OR-POST-POSSESSION-Q POST
                    :GENERALIZED-POSSESSION-INVERSE (G6162 / DM::LINE )
                    :IDENTIFIABILITY-Q DM::IDENTIFIABLE )

               :IDENTIFIABILITY-Q DM::IDENTIFIABLE )

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

Return to index.