diff --git a/Interactive.hs b/Interactive.hs
new file mode 100644
--- /dev/null
+++ b/Interactive.hs
@@ -0,0 +1,386 @@
+{-# 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"
diff --git a/XSaiga.cabal b/XSaiga.cabal
--- a/XSaiga.cabal
+++ b/XSaiga.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                XSaiga
-version:             1.3.0.0
+version:             1.3.0.1
 synopsis:            An implementation of a polynomial-time top-down parser suitable for NLP
 -- description:
 homepage:            http://hafiz.myweb.cs.uwindsor.ca/proHome.html
@@ -39,9 +39,11 @@
 Library
   build-depends: base >=4.6 && < 5, pretty, hsparql >=0.2, rdf4h, text, containers
   exposed-modules: Getts, AGParser2, TypeAg2, SolarmanTriplestore
+  other-modules: Interactive
 
 Executable Solarman
   main-is: Main.hs
   --other-modules:  SolarmanTriplestore
+  other-modules: Interactive
   build-depends:  base >=4.6 && < 5, containers >=0.5, pretty >=1.1, cgi >=3001.1, rdf4h >=1.2, hsparql >=0.2, text >=0.11
   extensions: DoAndIfThenElse,FlexibleInstances,NoMonomorphismRestriction