Rule ghibojprnbvcwjos

[id: ghibojprnbvcwjos]
  input(what is a good data structure for a $x?)
  && fact(the state of a $x is defined by $y)
  => enter
  && entity(the $x)
  && entity(the state of the $x)
  && entity($y)
  && fact($y defines {the state of the $x})
  && input(what is a good data structure for {the state of the $x}?)

Loaded as

[id: ghibojprnbvcwjos] input(what is a good data structure for a $x?|what is an good data structure for a $x?|what is a good data structure for an $x?|what is an good data structure for an $x?) && fact(the state of a $x is defined by $y|the state of an $x is defined by $y) => enter && entity(the $x) && entity(the state of the $x) && entity($y) && fact($y defines {the state of the $x}) && input(what is a good data structure for {the state of the $x}?)