TSM-EN-MAXI1234-OVIEWS-2

(EXAMPLE
     :NAME                   TSM-EN-MAXI1234-OVIEWS-2
     :GENERATEDFORM          "The program draws a polyline from a line and an arc, and you may draw a segment of a line, and you may draw an arc."
     :GLOSS                  ( :ENGLISH NIL)
     :LOGICALFORM
     (G8096 / CONJUNCTION
          :DOMAIN
          (G8095 / CONJUNCTION
               :DOMAIN
               (|a119| / DM::DRAW
                    :SPEECHACT ASSERTION
                    :CONATION-ASPECT POTENTIAL
                    :ACTEE
                    (|a121| / DM::POLYLINE
                         :SOURCE ((G6159 / DM::LINE ) (G6160 / DM::ARC ) ) )

                    :ACTOR
                    (SYSTEM / DM::PROGRAM
                         :IDENTIFIABILITY-Q DM::IDENTIFIABLE )
                    )

               :RANGE
               (|a164| / DM::DRAW
                    :SPEECHACT ASSERTION
                    :MODAL-PROPERTY-ASCRIPTION POSSIBILITY
                    :ACTEE
                    (|a166| / DM::SEGMENT
                         :PRE-OR-POST-POSSESSION-Q POST
                         :GENERALIZED-POSSESSION-INVERSE (G6162 / DM::LINE ) )

                    :ACTOR
                    (HEARER / DM::USER
                         :IDENTIFIABILITY-Q DM::IDENTIFIABLE )
                    )
               )

          :RANGE
          (|a186| / DM::DRAW
               :SPEECHACT ASSERTION
               :MODAL-PROPERTY-ASCRIPTION POSSIBILITY
               :ACTEE (|a188| / DM::ARC )
               :ACTOR
               (HEARER / DM::USER
                    :IDENTIFIABILITY-Q DM::IDENTIFIABLE )
               )
          )
     :SET-NAME               TSM-EN-MAXI1234-OVIEWS
     )

Return to index.