XSaiga-1.3.0.1: Interactive.hs

{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE NoImplicitPrelude #-}
module Interactive where

import SolarmanTriplestore
import Getts

a $ b = a b
infixr 0 $
a . b = \x -> a (b (x))
infixr 9 .

discover tmph = make_filtered_relation dataStore "discover_ev" [(["object"],tmph)]
discover' tmph preps = make_filtered_relation dataStore "discover_ev" $ (["object"], tmph):preps
discover_ = make_inverted_filtered_relation dataStore "discover_ev"

discovers tmph = make_filtered_relation dataStore "discover_ev" [(["object"],tmph)]
discovers' tmph preps = make_filtered_relation dataStore "discover_ev" $ (["object"], tmph):preps
discovers_ = make_inverted_filtered_relation dataStore "discover_ev"

discovered tmph = make_filtered_relation dataStore "discover_ev" [(["object"],tmph)]
discovered' tmph preps = make_filtered_relation dataStore "discover_ev" $ (["object"], tmph):preps
discovered_ = make_inverted_filtered_relation dataStore "discover_ev"

orbit tmph = make_filtered_relation dataStore "orbit_ev" [(["object"],tmph)]
orbit' tmph preps = make_filtered_relation dataStore "orbit_ev" $ (["object"], tmph):preps
orbit_ = make_inverted_filtered_relation dataStore "orbit_ev"

orbits tmph = make_filtered_relation dataStore "orbit_ev" [(["object"],tmph)]
orbits' tmph preps = make_filtered_relation dataStore "orbit_ev" $ (["object"], tmph):preps
orbits_ = make_inverted_filtered_relation dataStore "orbit_ev"

orbited tmph = make_filtered_relation dataStore "orbit_ev" [(["object"],tmph)]
orbited' tmph preps = make_filtered_relation dataStore "orbit_ev" $ (["object"], tmph):preps
orbited_ = make_inverted_filtered_relation dataStore "orbit_ev"

discoverer = get_subjs_of_event_type dataStore "discover_ev"
discoverers = get_subjs_of_event_type dataStore "discover_ev"
anyone = a person
anything = a thing
anybody = a person
someone = a person
something = a thing
somebody = a person
everyone = every person
everything = every thing
everybody = every person
thing = get_members dataStore "thing"
things = get_members dataStore "thing"
planets = get_members dataStore "planet"
planet = get_members dataStore "planet"
person = get_members dataStore "person"
sun = get_members dataStore "sun"
moon = get_members dataStore "moon"
moons = get_members dataStore "moon"
satellite = get_members dataStore "moon"
satellites = get_members dataStore "moon"
atmospheric = get_members dataStore "atmospheric"
blue = get_members dataStore "blue"
solid = get_members dataStore "solid"
brown = get_members dataStore "brown"
gaseous = get_members dataStore "gaseous"
green = get_members dataStore "green"
red = get_members dataStore "red"
ringed = get_members dataStore "ringed"
vacuumous = get_members dataStore "vacuumous"
exist = get_members dataStore "thing"
exists = get_members dataStore "thing"
spin = get_members dataStore "spin"
spins = get_members dataStore "spin"
bernard = make_pnoun "bernard"
bond = make_pnoun "bond"
venus = make_pnoun "venus"
cassini = make_pnoun "cassini"
dollfus = make_pnoun "dollfus"
galileo = make_pnoun "galileo"
hall = make_pnoun "hall"
herschel = make_pnoun "herschel"
huygens = make_pnoun "huygens"
kowal = make_pnoun "kowal"
kuiper = make_pnoun "kuiper"
larsen = make_pnoun "larsen"
lassell = make_pnoun "lassell"
melotte = make_pnoun "melotte"
nicholson = make_pnoun "nicholson"
perrine = make_pnoun "perrine"
pickering = make_pnoun "pickering"
almathea = make_pnoun "almathea"
ariel = make_pnoun "ariel"
callisto = make_pnoun "callisto"
charon = make_pnoun "charon"
deimos = make_pnoun "deimos"
dione = make_pnoun "dione"
earth = make_pnoun "earth"
enceladus = make_pnoun "enceladus"
europa = make_pnoun "europa"
ganymede = make_pnoun "ganymede"
hyperion = make_pnoun "hyperion"
iapetus = make_pnoun "iapetus"
io = make_pnoun "io"
janus = make_pnoun "janus"
jupiter = make_pnoun "jupiter"
jupitereighth = make_pnoun "jupitereighth"
jupitereleventh = make_pnoun "jupitereleventh"
jupiterfourteenth = make_pnoun "jupiterfourteenth"
jupiterninth = make_pnoun "jupiterninth"
jupiterseventh = make_pnoun "jupiterseventh"
jupitersixth = make_pnoun "jupitersixth"
jupitertenth = make_pnoun "jupitertenth"
jupiterthirteenth = make_pnoun "jupiterthirteenth"
jupitertwelfth = make_pnoun "jupitertwelfth"
luna = make_pnoun "luna"
mars = make_pnoun "mars"
mercury = make_pnoun "mercury"
mimas = make_pnoun "mimas"
miranda = make_pnoun "miranda"
neptune = make_pnoun "neptune"
nereid = make_pnoun "nereid"
oberon = make_pnoun "oberon"
phobos = make_pnoun "phobos"
phoebe = make_pnoun "phoebe"
pluto = make_pnoun "pluto"
rhea = make_pnoun "rhea"
saturn = make_pnoun "saturn"
saturnfirst = make_pnoun "saturnfirst"
sol = make_pnoun "sol"
tethys = make_pnoun "tethys"
titan = make_pnoun "titan"
titania = make_pnoun "titania"
triton = make_pnoun "triton"
umbriel = make_pnoun "umbriel"
uranus = make_pnoun "uranus"
human = get_members dataStore "person"
humans = get_members dataStore "person"
people = get_members dataStore "person"
telescope = get_members dataStore "telescope"
telescopes = get_members dataStore "telescopes"
cassegrain_telescope = make_pnoun "cassegrain_telescope"
hooker_telescope = make_pnoun "hooker_telescope"
schmidt_telescope = make_pnoun "schmidt_telescope"
subaru_reflector_telescope = make_pnoun "subaru_reflector_telescope"
canada_france_hawaii_telescope = make_pnoun "canada-france-hawaii_telescope"
aerial_telescope_1 = make_pnoun "aerial_telescope_1"
bruce_astrograph = make_pnoun "bruce_astrograph"
telescope_1 = make_pnoun "telescope_1"
hale_telescope = make_pnoun "hale_telescope"
hubble_space_telescope = make_pnoun "hubble_space_telescope"
blanco_telescope = make_pnoun "blanco_telescope"
crossley_reflector_telescope = make_pnoun "crossley_reflector_telescope"
refractor_telescope_1 = make_pnoun "refractor_telescope_1"
refractor_telescope_2 = make_pnoun "refractor_telescope_2"
refractor_telescope_3 = make_pnoun "refractor_telescope_3"
refractor_telescope_4 = make_pnoun "refractor_telescope_4"
reflector_telescope_1 = make_pnoun "reflector_telescope_1"
reflector_telescope_2 = make_pnoun "reflector_telescope_2"
reflector_telescope_3 = make_pnoun "reflector_telescope_3"
reflector_telescope_4 = make_pnoun "reflector_telescope_4"
ground_based_telescope_1 = make_pnoun "ground_based_telescope_1"
ground_based_telescope_2 = make_pnoun "ground_based_telescope_2"
ground_based_telescope_3 = make_pnoun "ground_based_telescope_3"
galilean_telescope_1 = make_pnoun "galilean_telescope_1"
team = get_members dataStore "science_team"
teams = get_members dataStore "science_team"
voyager_science_team = make_pnoun "voyager_science_team"
cassini_imaging_science_team = make_pnoun "cassini_imaging_science_team"
science_team_1 = make_pnoun "science_team_1"
science_team_2 = make_pnoun "science_team_2"
science_team_3 = make_pnoun "science_team_3"
science_team_4 = make_pnoun "science_team_4"
science_team_5 = make_pnoun "science_team_5"
science_team_6 = make_pnoun "science_team_6"
science_team_7 = make_pnoun "science_team_7"
science_team_8 = make_pnoun "science_team_8"
science_team_9 = make_pnoun "science_team_9"
science_team_10 = make_pnoun "science_team_10"
science_team_11 = make_pnoun "science_team_11"
science_team_12 = make_pnoun "science_team_12"
science_team_13 = make_pnoun "science_team_13"
science_team_14 = make_pnoun "science_team_14"
science_team_15 = make_pnoun "science_team_15"
science_team_16 = make_pnoun "science_team_16"
science_team_17 = make_pnoun "science_team_17"
science_team_18 = make_pnoun "science_team_18"
science_team_19 = make_pnoun "science_team_19"
science_team_20 = make_pnoun "science_team_20"
science_team_21 = make_pnoun "science_team_21"
larson = make_pnoun "larson"
fountain = make_pnoun "fountain"
scotti = make_pnoun "scotti"
spahr = make_pnoun "spahr"
mcmillan = make_pnoun "mcmillan"
montani = make_pnoun "montani"
gleason = make_pnoun "gleason"
gehrels = make_pnoun "gehrels"
roemer = make_pnoun "roemer"
sheppard = make_pnoun "sheppard"
jewitt = make_pnoun "jewitt"
fernandez = make_pnoun "fernandez"
magnier = make_pnoun "magnier"
kleyna = make_pnoun "kleyna"
gladman = make_pnoun "gladman"
kavelaars = make_pnoun "kavelaars"
petit = make_pnoun "petit"
allen = make_pnoun "allen"
laques = make_pnoun "laques"
lecacheux = make_pnoun "lecacheux"
smith = make_pnoun "smith"
reitsema = make_pnoun "reitsema"
pascu = make_pnoun "pascu"
seidelmann = make_pnoun "seidelmann"
baum = make_pnoun "baum"
currie = make_pnoun "currie"
showalter = make_pnoun "showalter"
scholl = make_pnoun "scholl"
holman = make_pnoun "holman"
marsden = make_pnoun "marsden"
burns = make_pnoun "burns"
milisavljevic = make_pnoun "milisavljevic"
grav = make_pnoun "grav"
karkoschka = make_pnoun "karkoschka"
lissauer = make_pnoun "lissauer"
fraser = make_pnoun "fraser"
christy = make_pnoun "christy"
weaver = make_pnoun "weaver"
stern = make_pnoun "stern"
mutchler = make_pnoun "mutchler"
steffl = make_pnoun "steffl"
buie = make_pnoun "buie"
merline = make_pnoun "merline"
spencer = make_pnoun "spencer"
young_e_f = make_pnoun "young_e_f"
young_l_a = make_pnoun "young_l_a"
hamilton = make_pnoun "hamilton"
soummer = make_pnoun "soummer"
throop = make_pnoun "throop"
spacecraft = get_members dataStore "spacecraft"
spacecrafts = get_members dataStore "spacecrafts"
voyager_1 = make_pnoun "voyager_1"
voyager_2 = make_pnoun "voyager_2"
place = get_members dataStore "place"
places = get_members dataStore "places"
mt_hopkins = make_pnoun "mt_hopkins"
fort_davis = make_pnoun "fort_davis"
cerro_tololo = make_pnoun "cerro_tololo"
us_naval_observatory = make_pnoun "us_naval_observatory"
padua = make_pnoun "padua"
mt_hamilton = make_pnoun "mt_hamilton"
greenwich = make_pnoun "greenwich"
mt_wilson = make_pnoun "mt_wilson"
mt_palomar = make_pnoun "mt_palomar"
kitt_peak = make_pnoun "kitt_peak"
mauna_kea = make_pnoun "mauna_kea"
slough = make_pnoun "slough"
paris = make_pnoun "paris"
the_hague = make_pnoun "the_hague"
cambridge = make_pnoun "cambridge"
liverpool = make_pnoun "liverpool"
arequipa = make_pnoun "arequipa"
pic_du_midi = make_pnoun "pic_du_midi"
flagstaff = make_pnoun "flagstaff"
la_silla = make_pnoun "la_silla"
himalia = make_pnoun "himalia"
elara = make_pnoun "elara"
pasiphae = make_pnoun "pasiphae"
sinope = make_pnoun "sinope"
lysithea = make_pnoun "lysithea"
carme = make_pnoun "carme"
ananke = make_pnoun "ananke"
leda = make_pnoun "leda"
thebe = make_pnoun "thebe"
adrastea = make_pnoun "adrastea"
metis = make_pnoun "metis"
callirrhoe = make_pnoun "callirrhoe"
themisto = make_pnoun "themisto"
megaclite = make_pnoun "megaclite"
taygete = make_pnoun "taygete"
chaldene = make_pnoun "chaldene"
harpalyke = make_pnoun "harpalyke"
kalyke = make_pnoun "kalyke"
iocaste = make_pnoun "iocaste"
erinome = make_pnoun "erinome"
isonoe = make_pnoun "isonoe"
praxidike = make_pnoun "praxidike"
autonoe = make_pnoun "autonoe"
thyone = make_pnoun "thyone"
hermippe = make_pnoun "hermippe"
aitne = make_pnoun "aitne"
eurydome = make_pnoun "eurydome"
euanthe = make_pnoun "euanthe"
euporie = make_pnoun "euporie"
orthosie = make_pnoun "orthosie"
sponde = make_pnoun "sponde"
kale = make_pnoun "kale"
pasithee = make_pnoun "pasithee"
hegemone = make_pnoun "hegemone"
mneme = make_pnoun "mneme"
aoede = make_pnoun "aoede"
thelxinoe = make_pnoun "thelxinoe"
arche = make_pnoun "arche"
kallichore = make_pnoun "kallichore"
helike = make_pnoun "helike"
carpo = make_pnoun "carpo"
eukelade = make_pnoun "eukelade"
cyllene = make_pnoun "cyllene"
kore = make_pnoun "kore"
herse = make_pnoun "herse"
epimetheus = make_pnoun "epimetheus"
helene = make_pnoun "helene"
telesto = make_pnoun "telesto"
calypso = make_pnoun "calypso"
atlas = make_pnoun "atlas"
prometheus = make_pnoun "prometheus"
pandora = make_pnoun "pandora"
pan = make_pnoun "pan"
ymir = make_pnoun "ymir"
paaliaq = make_pnoun "paaliaq"
tarvos = make_pnoun "tarvos"
ijiraq = make_pnoun "ijiraq"
suttungr = make_pnoun "suttungr"
kiviuq = make_pnoun "kiviuq"
mundilfari = make_pnoun "mundilfari"
albiorix = make_pnoun "albiorix"
skathi = make_pnoun "skathi"
erriapus = make_pnoun "erriapus"
siarnaq = make_pnoun "siarnaq"
thrymr = make_pnoun "thrymr"
narvi = make_pnoun "narvi"
methone = make_pnoun "methone"
pallene = make_pnoun "pallene"
polydeuces = make_pnoun "polydeuces"
daphnis = make_pnoun "daphnis"
aegir = make_pnoun "aegir"
bebhionn = make_pnoun "bebhionn"
bergelmir = make_pnoun "bergelmir"
bestla = make_pnoun "bestla"
farbauti = make_pnoun "farbauti"
fenrir = make_pnoun "fenrir"
fornjot = make_pnoun "fornjot"
hati = make_pnoun "hati"
hyrrokkin = make_pnoun "hyrrokkin"
kari = make_pnoun "kari"
loge = make_pnoun "loge"
skoll = make_pnoun "skoll"
surtur = make_pnoun "surtur"
anthe = make_pnoun "anthe"
jarnsaxa = make_pnoun "jarnsaxa"
greip = make_pnoun "greip"
tarqeq = make_pnoun "tarqeq"
aegaeon = make_pnoun "aegaeon"
cordelia = make_pnoun "cordelia"
ophelia = make_pnoun "ophelia"
bianca = make_pnoun "bianca"
cressida = make_pnoun "cressida"
desdemona = make_pnoun "desdemona"
juliet = make_pnoun "juliet"
portia = make_pnoun "portia"
rosalind = make_pnoun "rosalind"
belinda = make_pnoun "belinda"
puck = make_pnoun "puck"
caliban = make_pnoun "caliban"
sycorax = make_pnoun "sycorax"
prospero = make_pnoun "prospero"
setebos = make_pnoun "setebos"
stephano = make_pnoun "stephano"
trinculo = make_pnoun "trinculo"
francisco = make_pnoun "francisco"
margaret = make_pnoun "margaret"
ferdinand = make_pnoun "ferdinand"
perdita = make_pnoun "perdita"
mab = make_pnoun "mab"
cupid = make_pnoun "cupid"
naiad = make_pnoun "naiad"
thalassa = make_pnoun "thalassa"
despina = make_pnoun "despina"
galatea = make_pnoun "galatea"
larissa = make_pnoun "larissa"
proteus = make_pnoun "proteus"
halimede = make_pnoun "halimede"
psamathe = make_pnoun "psamathe"
sao = make_pnoun "sao"
laomedeia = make_pnoun "laomedeia"
neso = make_pnoun "neso"
nix = make_pnoun "nix"
hydra = make_pnoun "hydra"
kerberos = make_pnoun "kerberos"
styx = make_pnoun "styx"