definitionDef :: Def
definitionDef =
    Def "query" ["q", "res"] (
      call "capacities1" [V "q"] &&& call "checkAnswer" [V "res", V "q", seven, true])
definitionDef :: Def
definitionDef =
    Def "query" ["q", "res"] (
      call "capacities1" [V "q"] &&& call "checkAnswer" [V "res", V "q", seven, true])
definitionDef =
    Def "query" ["q", "res"] (
      call "capacities1" [V "q"] &&& call "checkAnswer" [V "res", V "q", seven, true])