TSM-EN-MAXI2-FI-22

(EXAMPLE
     :NAME                   TSM-EN-MAXI2-FI-22
     :GENERATEDFORM          "Enter the distance from the end point of the arc, and enter an angle from the end point of the arc."
     :GLOSS                  ( :ENGLISH NIL)
     :LOGICALFORM
     (G8259 / CONJUNCTION
          :DOMAIN
          (|a160| / DM::ENTER
               :SPEECHACT IMPERATIVE
               :ACTEE
               (|a162| / DM::DISTANCE-FROM
                    :SOURCE
                    (|a163| / DM::POINT
                         :PROPERTY-ASCRIPTION
                         (G6156 / QUALITY
                              :LEX END )

                         :PRE-OR-POST-POSSESSION-Q POST
                         :GENERALIZED-POSSESSION-INVERSE
                         (|a71| / DM::ARC
                              :IDENTIFIABILITY-Q DM::IDENTIFIABLE )

                         :IDENTIFIABILITY-Q DM::IDENTIFIABLE )

                    :DESTINATION
                    (|a124| / 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 )
               )

          :RANGE
          (|a168| / DM::ENTER
               :SPEECHACT IMPERATIVE
               :ACTEE
               (|a170| / DM::ANGLE-FROM
                    :SOURCE
                    (|a171| / DM::POINT
                         :PROPERTY-ASCRIPTION
                         (G6156 / QUALITY
                              :LEX END )

                         :PRE-OR-POST-POSSESSION-Q POST
                         :GENERALIZED-POSSESSION-INVERSE
                         (|a71| / DM::ARC
                              :IDENTIFIABILITY-Q DM::IDENTIFIABLE )
                         )

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

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

Return to index.