Skip to content
Snippets Groups Projects
Select Git revision
  • d57054a0d0895fea48ee8879ab150ed57611e19c
  • main default protected
  • export
  • 28-conversion-tests
  • extraction
  • exploration
  • exploration-old
  • 2-encoding-fix
  • main-old
9 results

mcli

Blame
  • WikiAbstract-SolarSystem-23.stog.amr.penman 943 B
    # ::id WikiAbstract-SolarSystem-23
    # ::snt The nearest stars are within the so-called Local Bubble, with the closest, Proxima Centauri, at 4.25 light-years.
    (s / star
          :ARG1-of (h / have-degree-91
                :ARG2 (n / near-02
                      :ARG1 s)
                :ARG3 (m / most))
          :ARG2-of (ii / include-91
                :ARG1 (s2 / star
                      :name (n2 / name
                            :op1 "Proxima"
                            :op2 "Centre")
                      :ARG1-of (h2 / have-degree-91
                            :ARG2 (c / close-10
                                  :ARG1 s2
                                  :ARG2 s)
                            :ARG3 (m2 / most
                                  :ord (o / ordinal-entity
                                        :value 4.25
                                        :scale (l / light-year))))))
          :location (b / bubble
                :ARG1-of (l2 / local-02)
                :mod (s3 / so-called)))