EX37

(EXAMPLE
     :NAME                   EX37
     :GENERATEDFORM          "Um microônibus circula entre pontos e o Aeroporto"
     :GLOSS                  ( :ENGLISH
                               "A minibus runs between spots and the airport")
     :TARGETFORM             "Um microônibus circula entre pontos e o Aeroporto"
     :LOGICALFORM
     (SPL / |space#NonAffectingDirectedMotion|
          :|processInConfiguration|
          (PIC / |Process|
               :LEX CIRCULATE )

          :|actor|
          (ACO / |SimpleThing|
               :LEX MINIBUS
               :IDENTIFIABILITY NOT-IDENTIFIABLE )

          :|space#route|
          (ROU / |space#GeneralizedRoute|
               :|space#destination|
               (DES / |space#GeneralizedLocation|
                    :|space#relatum|
                    (REL / |NamedObject|
                         :LEX SPOTS-AIRPORT )

                    :|space#hasSpatialModality|
                    (MOD / |space#MultipleDirectional|
                         :LEX BETWEEN )
                    )
               )
          )
     :SET-NAME               |curitiba|
     )

Return to index.