Avery PPKFS

## gist:1526572b167d2e357bcd
Once upon a time, an introduction to the hero.
Later, an interdiction is given to the hero.
Later, the villain attempts to deceive their victim to take possession of them/their belongings.
Soon after, the villain causes harm or injury to a member of the family.
Later, one member of a family either lacks something or desires something.
Soon after, misfortune or lack is made known; the hero is approached with a request or command; they are allowed to go or are dispatched.
Later, the seeker agrees to or decides upon counteraction.
Soon after, the hero leaves home.
Later, the hero is tested.
Later, the hero reacts to the actions of the future donor.

## gist:c68f032e0e6429a1fc8e
type predicate_type =
  | PredicateType of string * int * string list;;

module PromiseSet = Set.Make(struct
  type t = predicate_type
  let compare p1 p2 = match (p1, p2) with (PredicateType(str1, ar1, list1), PredicateType(str2, ar2, list2)) -> (str1 = str2) && (ar1 = ar2) && (list1 = list2));;
	Once upon a time, an introduction to the hero.
	Later, an interdiction is given to the hero.
	Later, the villain attempts to deceive their victim to take possession of them/their belongings.
	Soon after, the villain causes harm or injury to a member of the family.
	Later, one member of a family either lacks something or desires something.
	Soon after, misfortune or lack is made known; the hero is approached with a request or command; they are allowed to go or are dispatched.
	Later, the seeker agrees to or decides upon counteraction.
	Soon after, the hero leaves home.
	Later, the hero is tested.
	Later, the hero reacts to the actions of the future donor.
	type predicate_type =
	\| PredicateType of string * int * string list;;

	module PromiseSet = Set.Make(struct
	type t = predicate_type
	let compare p1 p2 = match (p1, p2) with (PredicateType(str1, ar1, list1), PredicateType(str2, ar2, list2)) -> (str1 = str2) && (ar1 = ar2) && (list1 = list2));;