//import { Wordnet } from "https://deno.land/x/wordnet_ts/mod.ts";
import { Wordnet } from "https://raw.githubusercontent.com/hviana/wordnet_ts/main/mod.ts";
const wordnet = new Wordnet();
await wordnet.init(); //will download the database if it does not exist.
const w = wordnet.logic(); //get logic functions

import { and, lvar, run } from "https://deno.land/x/logic_ts/mod.ts";

const y = lvar("y");
const synsets = run([y], w.lemmas(y, "dark"));
console.log(synsets);

const lemmas = run([y], w.lemmas(105976849, y));

const pos = run([y], w.pos(105976849, y));

const definition = run([y], w.definition(105976849, y));

const links = run([y], w.links(105976849, lvar(), y));

const links = run([y], () => {
  const z = lvar();
  return and(
    () => w.lemmas(z, "dark"),
    () => w.links(z, lvar(), y), //Arrow notation is needed to delay execution and calculate variables
  );
});

const antonyms = run([y], () => {
  const z = lvar();
  const zy = lvar();
  return and(
    () => w.lemmas(z, "dark"),
    () => w.links(z, lvar(), zy, "antonym"),
    () => w.lemmas(zy, y),
  );
});

type LinkTypes =
  | "verb group"
  | "substance meronym"
  | "substance holonym"
  | "similar"
  | "pertainym"
  | "participle"
  | "part meronym"
  | "part holonym"
  | "member meronym"
  | "member holonym"
  | "member"
  | "is entailed by"
  | "is caused by"
  | "instance hyponym"
  | "instance hypernym"
  | "hyponym"
  | "hypernym"
  | "entail"
  | "domain usage"
  | "domain region"
  | "domain member usage"
  | "domain member region"
  | "domain member category"
  | "domain category"
  | "domain"
  | "derivation"
  | "cause"
  | "attribute"
  | "antonym"
  | "also";