InspectionGadgets Telemetry


As of the next EAP, there will be a new toolwindow available for viewing total run times of InspectionGadgets inspections. It'll be called "IG Telemetry", and is intentionally very crude. The purpose is to help me (and anyone else interested, including JetBrains) figure out just which inspections are causing excessive runtime demands, and ideally point us to solutions. The UI for this toolwindow is intentionally crude, consisting of just a table of inspection names, total and average runtimes, and a minimal set of controls (reset & refresh, right now). This is EAP-only functionality, and the toolwindow and telemetry gathering will be disabled for production release. That said, I'm already getting valuable information from this, and would welcome any unusual telemetry results anyone else sees.

--Dave Griffith

17 comments
Comment actions Permalink

Dave

>I ..would welcome any unusual telemetry results anyone else sees.
>

>

You could add a "send results to Dave" button, and enable it only when
results are "interesting" for you.


Alain

0
Comment actions Permalink

Nice!
On a related note, having a 'cost' indicator in the Inspection Settings
panel that would tell us whether an inspection is 'light', 'medium' or
'heavy' on resource consumptions could be helpful for deciding which
inspection to turn on for the Editor vs. those that we only want to run
offline.

Vince.


0
Comment actions Permalink

First drop:
2 most time consuming inspections in my profile are:
Mismatched query and update of collection: 4.49msec average, 8974 msec on
2000 run.
Auto unboxing: 1.73/3455/2000.

all the other have their average below 0.5 or so.


-


Maxim Shafirov
http://www.jetbrains.com
"Develop with pleasure!"


0
Comment actions Permalink

Which build is this slated for - Im assuming that it is not in 3273?

0
Comment actions Permalink

Now that is unfair ;)

Vince.


0
Comment actions Permalink

Don't worry. Max didn't tell me anything I didn't know. I've got some fix for the query/update one, but the autoboxing-unboxing inspection may just be slow by nature (it has to check all expressions for their types, and then check the expected types for many of them).

--Dave Griffith

0
Comment actions Permalink

Here are some preliminary results (total run count between 6000 and 6200
in all cases):

53923 Auto-unboxing
18749 Auto-boxing
16351 I/O resource opened but not safely closed
13688 Method may be 'static'
11802 Concatenation with empty string
10744 Pointless arithmetic expression

All other inspections were below 5000 milliseconds.

0
Comment actions Permalink

My bad boys (average run time):
Unused import 14.70
Auto-unboxing 7.00
Auto-boxing 4.87
Unnecessary fully qualified name 1.32

Everything else is 0.50 or under.

R

0
Comment actions Permalink

The attached file contains a generator for planning problems in a
"mystery" planning domain, from a planning competition held in 1998. It
essentially contains a number of strings written as

String str = "lots of stuff\n" +
"lots of other stuff\n" +
"lots of other stuff again\n" +
...

I certainly wouldn't write things this way today, but anyway... For this
file, "concatenation with empty string" has an average runtime of 74,79
and "Pointless arithmetic expression" has an average runtime of 4402,40.
I let IDEA try to analyze it when I was away at a meeting and two
hours later it still hadn't finished (total runtime for "pointless
arithmetic expression" is 4358379).
package generators;

import java.io.FileOutputStream;
import java.io.IOException;
import java.io.PrintStream;

public class MakeMystery
{
private final static String[] defs = {

"domain painpleasure = {\n" +
" abrasion,\n" +
" depression,\n" +
" hangover,\n" +
" rest\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" depression,\n" +
" hangover\n" +
"]\n" +
"domain planet = {\n" +
" earth,\n" +
" mars,\n" +
" uranus,\n" +
" venus\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" rest\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" bosnia,\n" +
" guanabara,\n" +
" kentucky,\n" +
" pennsylvania,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" flounder,\n" +
" lamb,\n" +
" okra,\n" +
" pear,\n" +
" pork,\n" +
" rice\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,quebec>,\n" +
" <bosnia,surrey>,\n" +
" <kentucky,bosnia>,\n" +
" <pennsylvania,alsace>,\n" +
" <quebec,guanabara>,\n" +
" <surrey,pennsylvania>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,pork>,\n" +
" <depression,flounder>,\n" +
" <hangover,rice>,\n" +
" <rest,pork>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <flounder,lamb>,\n" +
" <flounder,rice>,\n" +
" <lamb,flounder>,\n" +
" <lamb,pork>,\n" +
" <okra,pear>,\n" +
" <okra,pork>,\n" +
" <pear,okra>,\n" +
" <pear,rice>,\n" +
" <pork,lamb>,\n" +
" <pork,okra>,\n" +
" <rice,flounder>,\n" +
" <rice,pear>,\n" +
" <rice,rice>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <rest,venus>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <flounder,alsace>,\n" +
" <lamb,pennsylvania>,\n" +
" <okra,guanabara>,\n" +
" <pear,surrey>,\n" +
" <pork,quebec>,\n" +
" <rice,bosnia>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <earth,uranus>,\n" +
" <mars,earth>,\n" +
" <uranus,venus>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" boils-4,\n" +
" depression,\n" +
" depression-1,\n" +
" dread,\n" +
" dread-8,\n" +
" grief,\n" +
" grief-7,\n" +
" hangover,\n" +
" jealousy,\n" +
" jealousy-2,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" prostatitis-3,\n" +
" sciatica,\n" +
" curiosity,\n" +
" entertainment,\n" +
" satiety,\n" +
" stimulation\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" boils-4,\n" +
" depression,\n" +
" depression-1,\n" +
" dread,\n" +
" dread-8,\n" +
" grief,\n" +
" grief-7,\n" +
" hangover,\n" +
" jealousy,\n" +
" jealousy-2,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" prostatitis-3,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" jupiter,\n" +
" mercury,\n" +
" pluto,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" curiosity,\n" +
" entertainment,\n" +
" satiety,\n" +
" stimulation\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" arizona,\n" +
" bosnia,\n" +
" kentucky,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" beef,\n" +
" cherry,\n" +
" flounder,\n" +
" ham,\n" +
" muffin,\n" +
" onion,\n" +
" tuna\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,arizona>,\n" +
" <arizona,kentucky>,\n" +
" <bosnia,surrey>,\n" +
" <kentucky,bosnia>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,beef>,\n" +
" <anger,beef>,\n" +
" <angina,onion>,\n" +
" <anxiety,flounder>,\n" +
" <boils,tuna>,\n" +
" <boils-4,ham>,\n" +
" <curiosity,cherry>,\n" +
" <depression,beef>,\n" +
" <depression-1,muffin>,\n" +
" <dread,onion>,\n" +
" <dread-8,ham>,\n" +
" <entertainment,ham>,\n" +
" <grief,beef>,\n" +
" <grief-7,ham>,\n" +
" <hangover,tuna>,\n" +
" <jealousy,flounder>,\n" +
" <jealousy-2,cherry>,\n" +
" <laceration,tuna>,\n" +
" <loneliness,onion>,\n" +
" <prostatitis,beef>,\n" +
" <prostatitis-3,ham>,\n" +
" <satiety,onion>,\n" +
" <sciatica,tuna>,\n" +
" <stimulation,flounder>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <beef,cherry>,\n" +
" <beef,onion>,\n" +
" <beef,tuna>,\n" +
" <cherry,beef>,\n" +
" <cherry,flounder>,\n" +
" <cherry,onion>,\n" +
" <flounder,cherry>,\n" +
" <flounder,tuna>,\n" +
" <ham,muffin>,\n" +
" <ham,tuna>,\n" +
" <muffin,ham>,\n" +
" <muffin,onion>,\n" +
" <muffin,tuna>,\n" +
" <onion,beef>,\n" +
" <onion,cherry>,\n" +
" <onion,muffin>,\n" +
" <tuna,beef>,\n" +
" <tuna,flounder>,\n" +
" <tuna,ham>,\n" +
" <tuna,muffin>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <curiosity,pluto>,\n" +
" <entertainment,jupiter>,\n" +
" <satiety,vulcan>,\n" +
" <stimulation,pluto>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <beef,surrey>,\n" +
" <cherry,surrey>,\n" +
" <flounder,kentucky>,\n" +
" <ham,surrey>,\n" +
" <muffin,kentucky>,\n" +
" <onion,bosnia>,\n" +
" <tuna,kentucky>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mercury,vulcan>,\n" +
" <pluto,jupiter>,\n" +
" <vulcan,pluto>\n" +
"}\n",


"domain painpleasure = {\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" depression,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" entertainment,\n" +
" love,\n" +
" satisfaction,\n" +
" triumph\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" depression,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration\n" +
"]\n" +
"domain planet = {\n" +
" neptune,\n" +
" venus,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" entertainment,\n" +
" love,\n" +
" satisfaction,\n" +
" triumph\n" +
"]\n" +
"domain province = {\n" +
" arizona,\n" +
" bavaria,\n" +
" goias,\n" +
" guanabara,\n" +
" manitoba\n" +
"}\n" +
"domain food = {\n" +
" chocolate,\n" +
" ham,\n" +
" lemon,\n" +
" marzipan,\n" +
" melon,\n" +
" mutton,\n" +
" orange,\n" +
" pea,\n" +
" pepper,\n" +
" popover,\n" +
" snickers\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <arizona,manitoba>,\n" +
" <bavaria,arizona>,\n" +
" <goias,guanabara>,\n" +
" <guanabara,bavaria>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <angina,orange>,\n" +
" <anxiety,snickers>,\n" +
" <boils,melon>,\n" +
" <depression,popover>,\n" +
" <entertainment,pepper>,\n" +
" <grief,marzipan>,\n" +
" <hangover,chocolate>,\n" +
" <jealousy,ham>,\n" +
" <laceration,pepper>,\n" +
" <love,orange>,\n" +
" <satisfaction,mutton>,\n" +
" <triumph,popover>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <chocolate,ham>,\n" +
" <chocolate,orange>,\n" +
" <ham,chocolate>,\n" +
" <ham,melon>,\n" +
" <lemon,pea>,\n" +
" <lemon,popover>,\n" +
" <marzipan,pea>,\n" +
" <marzipan,popover>,\n" +
" <marzipan,snickers>,\n" +
" <melon,ham>,\n" +
" <melon,mutton>,\n" +
" <melon,pepper>,\n" +
" <mutton,melon>,\n" +
" <mutton,orange>,\n" +
" <orange,chocolate>,\n" +
" <orange,mutton>,\n" +
" <pea,lemon>,\n" +
" <pea,marzipan>,\n" +
" <pea,pepper>,\n" +
" <pea,snickers>,\n" +
" <pepper,melon>,\n" +
" <pepper,pea>,\n" +
" <pepper,popover>,\n" +
" <popover,lemon>,\n" +
" <popover,marzipan>,\n" +
" <popover,pepper>,\n" +
" <snickers,marzipan>,\n" +
" <snickers,pea>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <entertainment,venus>,\n" +
" <love,neptune>,\n" +
" <satisfaction,neptune>,\n" +
" <triumph,neptune>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <chocolate,guanabara>,\n" +
" <ham,manitoba>,\n" +
" <lemon,goias>,\n" +
" <marzipan,bavaria>,\n" +
" <melon,manitoba>,\n" +
" <mutton,guanabara>,\n" +
" <orange,bavaria>,\n" +
" <pea,bavaria>,\n" +
" <pepper,manitoba>,\n" +
" <popover,arizona>,\n" +
" <snickers,bavaria>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <venus,neptune>,\n" +
" <vulcan,venus>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" dread,\n" +
" hangover,\n" +
" jealousy,\n" +
" loneliness,\n" +
" sciatica,\n" +
" aesthetics\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" dread,\n" +
" hangover,\n" +
" jealousy,\n" +
" loneliness,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" mars,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" aesthetics\n" +
"]\n" +
"domain province = {\n" +
" bosnia,\n" +
" kentucky,\n" +
" oregon,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" arugula,\n" +
" bacon,\n" +
" cherry,\n" +
" grapefruit,\n" +
" ham,\n" +
" muffin,\n" +
" scallion,\n" +
" scallop,\n" +
" shrimp,\n" +
" wurst\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <bosnia,oregon>,\n" +
" <oregon,kentucky>,\n" +
" <quebec,bosnia>,\n" +
" <surrey,quebec>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,scallop>,\n" +
" <aesthetics,shrimp>,\n" +
" <anger,wurst>,\n" +
" <dread,ham>,\n" +
" <hangover,muffin>,\n" +
" <jealousy,bacon>,\n" +
" <loneliness,arugula>,\n" +
" <sciatica,grapefruit>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <arugula,bacon>,\n" +
" <arugula,cherry>,\n" +
" <arugula,muffin>,\n" +
" <arugula,scallop>,\n" +
" <arugula,wurst>,\n" +
" <bacon,arugula>,\n" +
" <bacon,wurst>,\n" +
" <cherry,arugula>,\n" +
" <cherry,ham>,\n" +
" <cherry,muffin>,\n" +
" <cherry,shrimp>,\n" +
" <grapefruit,scallop>,\n" +
" <grapefruit,wurst>,\n" +
" <ham,cherry>,\n" +
" <ham,muffin>,\n" +
" <muffin,arugula>,\n" +
" <muffin,cherry>,\n" +
" <muffin,ham>,\n" +
" <muffin,scallion>,\n" +
" <scallion,muffin>,\n" +
" <scallion,shrimp>,\n" +
" <scallop,arugula>,\n" +
" <scallop,grapefruit>,\n" +
" <shrimp,cherry>,\n" +
" <shrimp,scallion>,\n" +
" <wurst,arugula>,\n" +
" <wurst,bacon>,\n" +
" <wurst,grapefruit>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <aesthetics,vulcan>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <arugula,kentucky>,\n" +
" <bacon,quebec>,\n" +
" <cherry,kentucky>,\n" +
" <grapefruit,surrey>,\n" +
" <ham,bosnia>,\n" +
" <muffin,kentucky>,\n" +
" <scallion,quebec>,\n" +
" <scallop,oregon>,\n" +
" <shrimp,bosnia>,\n" +
" <wurst,surrey>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mars,vulcan>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" depression,\n" +
" dread,\n" +
" grief,\n" +
" grief-2,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica,\n" +
" excitement,\n" +
" intoxication,\n" +
" lubricity,\n" +
" satisfaction\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" depression,\n" +
" dread,\n" +
" grief,\n" +
" grief-2,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" earth,\n" +
" mars,\n" +
" mercury,\n" +
" uranus\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" excitement,\n" +
" intoxication,\n" +
" lubricity,\n" +
" satisfaction\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" arizona,\n" +
" goias,\n" +
" kentucky\n" +
"}\n" +
"domain food = {\n" +
" broccoli,\n" +
" cherry,\n" +
" chocolate,\n" +
" scallop,\n" +
" shrimp,\n" +
" sweetroll,\n" +
" tuna,\n" +
" turkey\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,kentucky>,\n" +
" <goias,arizona>,\n" +
" <kentucky,goias>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,turkey>,\n" +
" <anger,cherry>,\n" +
" <angina,shrimp>,\n" +
" <anxiety,broccoli>,\n" +
" <boils,broccoli>,\n" +
" <depression,turkey>,\n" +
" <dread,scallop>,\n" +
" <excitement,turkey>,\n" +
" <grief,broccoli>,\n" +
" <grief-2,scallop>,\n" +
" <hangover,scallop>,\n" +
" <intoxication,tuna>,\n" +
" <jealousy,shrimp>,\n" +
" <laceration,shrimp>,\n" +
" <loneliness,scallop>,\n" +
" <lubricity,sweetroll>,\n" +
" <prostatitis,turkey>,\n" +
" <satisfaction,broccoli>,\n" +
" <sciatica,broccoli>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <broccoli,chocolate>,\n" +
" <broccoli,tuna>,\n" +
" <cherry,scallop>,\n" +
" <cherry,shrimp>,\n" +
" <chocolate,broccoli>,\n" +
" <chocolate,shrimp>,\n" +
" <chocolate,turkey>,\n" +
" <scallop,cherry>,\n" +
" <scallop,sweetroll>,\n" +
" <shrimp,cherry>,\n" +
" <shrimp,chocolate>,\n" +
" <shrimp,sweetroll>,\n" +
" <sweetroll,scallop>,\n" +
" <sweetroll,shrimp>,\n" +
" <tuna,broccoli>,\n" +
" <tuna,turkey>,\n" +
" <turkey,chocolate>,\n" +
" <turkey,tuna>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <excitement,mars>,\n" +
" <intoxication,earth>,\n" +
" <lubricity,earth>,\n" +
" <satisfaction,earth>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <broccoli,arizona>,\n" +
" <cherry,kentucky>,\n" +
" <chocolate,goias>,\n" +
" <scallop,alsace>,\n" +
" <shrimp,kentucky>,\n" +
" <sweetroll,alsace>,\n" +
" <tuna,arizona>,\n" +
" <turkey,kentucky>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <earth,mars>,\n" +
" <mercury,earth>,\n" +
" <uranus,mercury>\n" +
"}\n",


"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" boils,\n" +
" grief,\n" +
" hangover,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica,\n" +
"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" boils,\n" +
" grief,\n" +
" hangover,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"}\n" +
" achievement,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" excitement,\n" +
" intoxication,\n" +
" love,\n" +
" lubricity,\n" +
" rest,\n" +
" satisfaction,\n" +
" triumph,\n" +
" understanding\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" boils,\n" +
" grief,\n" +
" hangover,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" mars,\n" +
" neptune,\n" +
" saturn,\n" +
" venus\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" achievement,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" excitement,\n" +
" intoxication,\n" +
" love,\n" +
" lubricity,\n" +
" rest,\n" +
" satisfaction,\n" +
" triumph,\n" +
" understanding\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" arizona,\n" +
" bosnia,\n" +
" goias,\n" +
" kentucky,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" bacon,\n" +
" beef,\n" +
" cantelope,\n" +
" chicken,\n" +
" marzipan,\n" +
" muffin,\n" +
" mutton,\n" +
" onion,\n" +
" papaya,\n" +
" pistachio,\n" +
" popover,\n" +
" potato,\n" +
" rice,\n" +
" scallop,\n" +
" snickers,\n" +
" tomato,\n" +
" tuna,\n" +
" turkey,\n" +
" wonderbread\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,goias>,\n" +
" <bosnia,surrey>,\n" +
" <goias,quebec>,\n" +
" <kentucky,alsace>,\n" +
" <quebec,arizona>,\n" +
" <surrey,kentucky>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,beef>,\n" +
" <achievement,chicken>,\n" +
" <aesthetics,cantelope>,\n" +
" <anger,popover>,\n" +
" <angina,snickers>,\n" +
" <boils,onion>,\n" +
" <curiosity,potato>,\n" +
" <excitement,scallop>,\n" +
" <grief,chicken>,\n" +
" <hangover,cantelope>,\n" +
" <intoxication,rice>,\n" +
" <loneliness,bacon>,\n" +
" <love,tomato>,\n" +
" <lubricity,wonderbread>,\n" +
" <prostatitis,muffin>,\n" +
" <rest,popover>,\n" +
" <satisfaction,pistachio>,\n" +
" <sciatica,papaya>,\n" +
" <triumph,turkey>,\n" +
" <understanding,marzipan>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <bacon,muffin>,\n" +
" <bacon,mutton>,\n" +
" <bacon,wonderbread>,\n" +
" <beef,papaya>,\n" +
" <beef,scallop>,\n" +
" <beef,tuna>,\n" +
" <cantelope,popover>,\n" +
" <cantelope,tomato>,\n" +
" <chicken,papaya>,\n" +
" <chicken,scallop>,\n" +
" <chicken,turkey>,\n" +
" <marzipan,potato>,\n" +
" <marzipan,wonderbread>,\n" +
" <muffin,bacon>,\n" +
" <muffin,pistachio>,\n" +
" <mutton,bacon>,\n" +
" <mutton,onion>,\n" +
" <mutton,turkey>,\n" +
" <onion,mutton>,\n" +
" <onion,pistachio>,\n" +
" <onion,turkey>,\n" +
" <papaya,beef>,\n" +
" <papaya,chicken>,\n" +
" <pistachio,muffin>,\n" +
" <pistachio,onion>,\n" +
" <popover,cantelope>,\n" +
" <popover,rice>,\n" +
" <potato,marzipan>,\n" +
" <potato,snickers>,\n" +
" <rice,popover>,\n" +
" <rice,tuna>,\n" +
" <scallop,beef>,\n" +
" <scallop,chicken>,\n" +
" <snickers,potato>,\n" +
" <snickers,turkey>,\n" +
" <tomato,cantelope>,\n" +
" <tomato,tuna>,\n" +
" <tuna,beef>,\n" +
" <tuna,rice>,\n" +
" <tuna,tomato>,\n" +
" <turkey,chicken>,\n" +
" <turkey,mutton>,\n" +
" <turkey,onion>,\n" +
" <turkey,snickers>,\n" +
" <turkey,wonderbread>,\n" +
" <wonderbread,bacon>,\n" +
" <wonderbread,marzipan>,\n" +
" <wonderbread,turkey>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <achievement,neptune>,\n" +
" <aesthetics,saturn>,\n" +
" <curiosity,saturn>,\n" +
" <excitement,saturn>,\n" +
" <intoxication,mars>,\n" +
" <love,neptune>,\n" +
" <lubricity,saturn>,\n" +
" <rest,saturn>,\n" +
" <satisfaction,mars>,\n" +
" <triumph,saturn>,\n" +
" <understanding,neptune>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <bacon,arizona>,\n" +
" <beef,kentucky>,\n" +
" <cantelope,goias>,\n" +
" <chicken,kentucky>,\n" +
" <marzipan,bosnia>,\n" +
" <muffin,alsace>,\n" +
" <mutton,kentucky>,\n" +
" <onion,goias>,\n" +
" <papaya,surrey>,\n" +
" <pistachio,alsace>,\n" +
" <popover,surrey>,\n" +
" <potato,alsace>,\n" +
" <rice,bosnia>,\n" +
" <scallop,surrey>,\n" +
" <snickers,goias>,\n" +
" <tomato,alsace>,\n" +
" <tuna,alsace>,\n" +
" <turkey,alsace>,\n" +
" <wonderbread,quebec>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mars,saturn>,\n" +
" <neptune,mars>,\n" +
" <venus,neptune>\n" +
"}\n" +
"\n" +
"\n" +
"domain painpleasure = {\n" +
" abrasion,\n" +
" abrasion-1,\n" +
" anger,\n" +
" anger-6,\n" +
" angina,\n" +
" angina-8,\n" +
" anxiety,\n" +
" boils,\n" +
" boils-15,\n" +
" depression,\n" +
" depression-4,\n" +
" dread,\n" +
" dread-3,\n" +
" grief,\n" +
" grief-5,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" loneliness-2,\n" +
" prostatitis,\n" +
" prostatitis-7,\n" +
" sciatica,\n" +
" sciatica-16,\n" +
" learning,\n" +
" stimulation\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" abrasion-1,\n" +
" anger,\n" +
" anger-6,\n" +
" angina,\n" +
" angina-8,\n" +
" anxiety,\n" +
" boils,\n" +
" boils-15,\n" +
" depression,\n" +
" depression-4,\n" +
" dread,\n" +
" dread-3,\n" +
" grief,\n" +
" grief-5,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" loneliness-2,\n" +
" prostatitis,\n" +
" prostatitis-7,\n" +
" sciatica,\n" +
" sciatica-16\n" +
"]\n" +
"domain planet = {\n" +
" mercury,\n" +
" saturn\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" learning,\n" +
" stimulation\n" +
"]\n" +
"domain province = {\n" +
" arizona,\n" +
" manitoba,\n" +
" moravia,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" haroset,\n" +
" lobster,\n" +
" muffin,\n" +
" mutton,\n" +
" pea,\n" +
" pear,\n" +
" pepper,\n" +
" popover,\n" +
" shrimp,\n" +
" snickers\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <arizona,manitoba>,\n" +
" <manitoba,moravia>,\n" +
" <moravia,surrey>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,snickers>,\n" +
" <abrasion-1,pea>,\n" +
" <anger,mutton>,\n" +
" <anger-6,lobster>,\n" +
" <angina,haroset>,\n" +
" <angina-8,muffin>,\n" +
" <anxiety,pepper>,\n" +
" <boils,shrimp>,\n" +
" <boils-15,pear>,\n" +
" <depression,mutton>,\n" +
" <depression-4,pea>,\n" +
" <dread,snickers>,\n" +
" <dread-3,pea>,\n" +
" <grief,mutton>,\n" +
" <grief-5,lobster>,\n" +
" <hangover,shrimp>,\n" +
" <jealousy,popover>,\n" +
" <laceration,pepper>,\n" +
" <learning,pea>,\n" +
" <loneliness,haroset>,\n" +
" <loneliness-2,pea>,\n" +
" <prostatitis,snickers>,\n" +
" <prostatitis-7,lobster>,\n" +
" <sciatica,snickers>,\n" +
" <sciatica-16,lobster>,\n" +
" <stimulation,snickers>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <haroset,lobster>,\n" +
" <haroset,shrimp>,\n" +
" <lobster,haroset>,\n" +
" <lobster,muffin>,\n" +
" <lobster,pear>,\n" +
" <lobster,popover>,\n" +
" <muffin,lobster>,\n" +
" <muffin,mutton>,\n" +
" <muffin,popover>,\n" +
" <mutton,muffin>,\n" +
" <mutton,pea>,\n" +
" <pea,mutton>,\n" +
" <pea,pepper>,\n" +
" <pea,snickers>,\n" +
" <pear,lobster>,\n" +
" <pear,pepper>,\n" +
" <pepper,pea>,\n" +
" <pepper,pear>,\n" +
" <pepper,shrimp>,\n" +
" <popover,lobster>,\n" +
" <popover,muffin>,\n" +
" <popover,snickers>,\n" +
" <shrimp,haroset>,\n" +
" <shrimp,pepper>,\n" +
" <shrimp,snickers>,\n" +
" <snickers,pea>,\n" +
" <snickers,popover>,\n" +
" <snickers,shrimp>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <learning,saturn>,\n" +
" <stimulation,saturn>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <haroset,arizona>,\n" +
" <lobster,surrey>,\n" +
" <muffin,arizona>,\n" +
" <mutton,arizona>,\n" +
" <pea,moravia>,\n" +
" <pear,arizona>,\n" +
" <pepper,manitoba>,\n" +
" <popover,manitoba>,\n" +
" <shrimp,moravia>,\n" +
" <snickers,arizona>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mercury,saturn>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" anxiety,\n" +
" hangover,\n" +
" sciatica,\n" +
" achievement,\n" +
" aesthetics,\n" +
" excitement,\n" +
" learning,\n" +
" love,\n" +
" lubricity,\n" +
" rest,\n" +
" stimulation,\n" +
" triumph\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" anxiety,\n" +
" hangover,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" earth,\n" +
" jupiter,\n" +
" uranus,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" achievement,\n" +
" aesthetics,\n" +
" excitement,\n" +
" learning,\n" +
" love,\n" +
" lubricity,\n" +
" rest,\n" +
" stimulation,\n" +
" triumph\n" +
"]\n" +
"domain province = {\n" +
" bavaria,\n" +
" bosnia,\n" +
" goias,\n" +
" pennsylvania,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" arugula,\n" +
" baguette,\n" +
" cantelope,\n" +
" flounder,\n" +
" hotdog,\n" +
" lobster,\n" +
" muffin,\n" +
" okra,\n" +
" pepper,\n" +
" pistachio,\n" +
" pork,\n" +
" rice,\n" +
" scallop,\n" +
" tofu,\n" +
" tomato,\n" +
" tuna,\n" +
" turkey,\n" +
" wonderbread\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <bavaria,goias>,\n" +
" <bosnia,surrey>,\n" +
" <goias,pennsylvania>,\n" +
" <pennsylvania,bosnia>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,baguette>,\n" +
" <achievement,rice>,\n" +
" <aesthetics,scallop>,\n" +
" <anger,baguette>,\n" +
" <anxiety,muffin>,\n" +
" <excitement,tomato>,\n" +
" <hangover,muffin>,\n" +
" <learning,cantelope>,\n" +
" <love,okra>,\n" +
" <lubricity,arugula>,\n" +
" <rest,wonderbread>,\n" +
" <sciatica,okra>,\n" +
" <stimulation,muffin>,\n" +
" <triumph,hotdog>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <arugula,cantelope>,\n" +
" <arugula,pistachio>,\n" +
" <baguette,tomato>,\n" +
" <baguette,turkey>,\n" +
" <cantelope,arugula>,\n" +
" <cantelope,pork>,\n" +
" <flounder,lobster>,\n" +
" <flounder,wonderbread>,\n" +
" <hotdog,okra>,\n" +
" <hotdog,tofu>,\n" +
" <lobster,flounder>,\n" +
" <lobster,pork>,\n" +
" <muffin,rice>,\n" +
" <muffin,tofu>,\n" +
" <muffin,tuna>,\n" +
" <okra,hotdog>,\n" +
" <okra,tuna>,\n" +
" <okra,wonderbread>,\n" +
" <pepper,pistachio>,\n" +
" <pepper,turkey>,\n" +
" <pistachio,arugula>,\n" +
" <pistachio,pepper>,\n" +
" <pork,cantelope>,\n" +
" <pork,lobster>,\n" +
" <rice,muffin>,\n" +
" <rice,tofu>,\n" +
" <rice,tuna>,\n" +
" <scallop,tomato>,\n" +
" <scallop,wonderbread>,\n" +
" <tofu,hotdog>,\n" +
" <tofu,muffin>,\n" +
" <tofu,rice>,\n" +
" <tomato,baguette>,\n" +
" <tomato,scallop>,\n" +
" <tuna,muffin>,\n" +
" <tuna,okra>,\n" +
" <tuna,rice>,\n" +
" <turkey,baguette>,\n" +
" <turkey,pepper>,\n" +
" <wonderbread,flounder>,\n" +
" <wonderbread,okra>,\n" +
" <wonderbread,scallop>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <achievement,vulcan>,\n" +
" <aesthetics,vulcan>,\n" +
" <excitement,jupiter>,\n" +
" <learning,vulcan>,\n" +
" <love,jupiter>,\n" +
" <lubricity,uranus>,\n" +
" <rest,jupiter>,\n" +
" <stimulation,uranus>,\n" +
" <triumph,vulcan>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <arugula,bavaria>,\n" +
" <baguette,bosnia>,\n" +
" <cantelope,pennsylvania>,\n" +
" <flounder,goias>,\n" +
" <hotdog,bavaria>,\n" +
" <lobster,goias>,\n" +
" <muffin,bavaria>,\n" +
" <okra,bosnia>,\n" +
" <pepper,goias>,\n" +
" <pistachio,pennsylvania>,\n" +
" <pork,bosnia>,\n" +
" <rice,bavaria>,\n" +
" <scallop,pennsylvania>,\n" +
" <tofu,goias>,\n" +
" <tomato,bosnia>,\n" +
" <tuna,surrey>,\n" +
" <turkey,goias>,\n" +
" <wonderbread,goias>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <earth,uranus>,\n" +
" <uranus,vulcan>,\n" +
" <vulcan,jupiter>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" dread,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica,\n" +
" curiosity,\n" +
" entertainment,\n" +
" excitement,\n" +
" intoxication\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" dread,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" earth,\n" +
" saturn,\n" +
" uranus,\n" +
" venus\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" curiosity,\n" +
" entertainment,\n" +
" excitement,\n" +
" intoxication\n" +
"]\n" +
"domain province = {\n" +
" arizona,\n" +
" bavaria,\n" +
" bosnia,\n" +
" kentucky,\n" +
" manitoba\n" +
"}\n" +
"domain food = {\n" +
" apple,\n" +
" flounder,\n" +
" guava,\n" +
" hamburger,\n" +
" haroset,\n" +
" hotdog,\n" +
" wurst\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <arizona,manitoba>,\n" +
" <bavaria,arizona>,\n" +
" <bosnia,bavaria>,\n" +
" <manitoba,kentucky>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,haroset>,\n" +
" <anger,haroset>,\n" +
" <angina,guava>,\n" +
" <anxiety,wurst>,\n" +
" <boils,guava>,\n" +
" <curiosity,hotdog>,\n" +
" <dread,flounder>,\n" +
" <entertainment,flounder>,\n" +
" <excitement,guava>,\n" +
" <grief,guava>,\n" +
" <hangover,haroset>,\n" +
" <intoxication,haroset>,\n" +
" <jealousy,guava>,\n" +
" <laceration,wurst>,\n" +
" <loneliness,haroset>,\n" +
" <prostatitis,haroset>,\n" +
" <sciatica,flounder>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <apple,guava>,\n" +
" <apple,hotdog>,\n" +
" <flounder,hamburger>,\n" +
" <flounder,wurst>,\n" +
" <guava,apple>,\n" +
" <guava,haroset>,\n" +
" <hamburger,flounder>,\n" +
" <hamburger,haroset>,\n" +
" <haroset,guava>,\n" +
" <haroset,hamburger>,\n" +
" <hotdog,apple>,\n" +
" <hotdog,wurst>,\n" +
" <wurst,flounder>,\n" +
" <wurst,hotdog>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <curiosity,uranus>,\n" +
" <entertainment,venus>,\n" +
" <excitement,uranus>,\n" +
" <intoxication,uranus>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <apple,arizona>,\n" +
" <flounder,arizona>,\n" +
" <guava,kentucky>,\n" +
" <hamburger,bosnia>,\n" +
" <haroset,arizona>,\n" +
" <hotdog,bavaria>,\n" +
" <wurst,bavaria>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <earth,uranus>,\n" +
" <saturn,venus>,\n" +
" <uranus,saturn>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" abrasion-5,\n" +
" anger,\n" +
" anger-10,\n" +
" anger-7,\n" +
" angina,\n" +
" angina-3,\n" +
" angina-30,\n" +
" anxiety,\n" +
" anxiety-12,\n" +
" anxiety-25,\n" +
" boils,\n" +
" boils-15,\n" +
" boils-32,\n" +
" depression,\n" +
" depression-14,\n" +
" dread,\n" +
" dread-31,\n" +
" dread-8,\n" +
" grief,\n" +
" grief-2,\n" +
" grief-26,\n" +
" hangover,\n" +
" hangover-29,\n" +
" hangover-6,\n" +
" jealousy,\n" +
" jealousy-16,\n" +
" jealousy-28,\n" +
" laceration,\n" +
" laceration-11,\n" +
" laceration-27,\n" +
" loneliness,\n" +
" loneliness-1,\n" +
" loneliness-9,\n" +
" prostatitis,\n" +
" prostatitis-13,\n" +
" prostatitis-24,\n" +
" sciatica,\n" +
" sciatica-4,\n" +
" aesthetics,\n" +
" expectation,\n" +
" intoxication,\n" +
" learning,\n" +
" love,\n" +
" rest,\n" +
" satisfaction,\n" +
" stimulation,\n" +
" triumph\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" abrasion-5,\n" +
" anger,\n" +
" anger-10,\n" +
" anger-7,\n" +
" angina,\n" +
" angina-3,\n" +
" angina-30,\n" +
" anxiety,\n" +
" anxiety-12,\n" +
" anxiety-25,\n" +
" boils,\n" +
" boils-15,\n" +
" boils-32,\n" +
" depression,\n" +
" depression-14,\n" +
" dread,\n" +
" dread-31,\n" +
" dread-8,\n" +
" grief,\n" +
" grief-2,\n" +
" grief-26,\n" +
" hangover,\n" +
" hangover-29,\n" +
" hangover-6,\n" +
" jealousy,\n" +
" jealousy-16,\n" +
" jealousy-28,\n" +
" laceration,\n" +
" laceration-11,\n" +
" laceration-27,\n" +
" loneliness,\n" +
" loneliness-1,\n" +
" loneliness-9,\n" +
" prostatitis,\n" +
" prostatitis-13,\n" +
" prostatitis-24,\n" +
" sciatica,\n" +
" sciatica-4\n" +
"]\n" +
"domain planet = {\n" +
" mars,\n" +
" mercury,\n" +
" neptune,\n" +
" pluto\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" aesthetics,\n" +
" expectation,\n" +
" intoxication,\n" +
" learning,\n" +
" love,\n" +
" rest,\n" +
" satisfaction,\n" +
" stimulation,\n" +
" triumph\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" kentucky,\n" +
" moravia,\n" +
" oregon,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" arugula,\n" +
" bacon,\n" +
" beef,\n" +
" cantelope,\n" +
" flounder,\n" +
" grapefruit,\n" +
" ham,\n" +
" hamburger,\n" +
" kale,\n" +
" lamb,\n" +
" melon,\n" +
" orange,\n" +
" pepper,\n" +
" popover,\n" +
" pork,\n" +
" potato,\n" +
" snickers,\n" +
" tofu,\n" +
" wurst\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,kentucky>,\n" +
" <moravia,quebec>,\n" +
" <oregon,alsace>,\n" +
" <quebec,oregon>,\n" +
" <surrey,moravia>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,pork>,\n" +
" <abrasion-5,ham>,\n" +
" <aesthetics,flounder>,\n" +
" <anger,popover>,\n" +
" <anger-10,hamburger>,\n" +
" <anger-7,orange>,\n" +
" <angina,popover>,\n" +
" <angina-3,bacon>,\n" +
" <angina-30,cantelope>,\n" +
" <anxiety,potato>,\n" +
" <anxiety-12,pepper>,\n" +
" <anxiety-25,arugula>,\n" +
" <boils,melon>,\n" +
" <boils-15,pepper>,\n" +
" <boils-32,cantelope>,\n" +
" <depression,snickers>,\n" +
" <depression-14,pepper>,\n" +
" <dread,beef>,\n" +
" <dread-31,cantelope>,\n" +
" <dread-8,bacon>,\n" +
" <expectation,beef>,\n" +
" <grief,lamb>,\n" +
" <grief-2,pork>,\n" +
" <grief-26,arugula>,\n" +
" <hangover,popover>,\n" +
" <hangover-29,grapefruit>,\n" +
" <hangover-6,ham>,\n" +
" <intoxication,grapefruit>,\n" +
" <jealousy,melon>,\n" +
" <jealousy-16,kale>,\n" +
" <jealousy-28,grapefruit>,\n" +
" <laceration,snickers>,\n" +
" <laceration-11,hamburger>,\n" +
" <laceration-27,grapefruit>,\n" +
" <learning,pepper>,\n" +
" <loneliness,snickers>,\n" +
" <loneliness-1,pork>,\n" +
" <loneliness-9,hamburger>,\n" +
" <love,orange>,\n" +
" <prostatitis,popover>,\n" +
" <prostatitis-13,pepper>,\n" +
" <prostatitis-24,arugula>,\n" +
" <rest,pork>,\n" +
" <satisfaction,ham>,\n" +
" <sciatica,melon>,\n" +
" <sciatica-4,bacon>,\n" +
" <stimulation,melon>,\n" +
" <triumph,tofu>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <arugula,beef>,\n" +
" <arugula,cantelope>,\n" +
" <arugula,hamburger>,\n" +
" <arugula,kale>,\n" +
" <bacon,orange>,\n" +
" <bacon,pork>,\n" +
" <beef,arugula>,\n" +
" <beef,ham>,\n" +
" <beef,orange>,\n" +
" <beef,snickers>,\n" +
" <cantelope,arugula>,\n" +
" <cantelope,flounder>,\n" +
" <cantelope,hamburger>,\n" +
" <cantelope,pepper>,\n" +
" <flounder,cantelope>,\n" +
" <flounder,kale>,\n" +
" <grapefruit,pepper>,\n" +
" <grapefruit,wurst>,\n" +
" <ham,beef>,\n" +
" <ham,pork>,\n" +
" <hamburger,arugula>,\n" +
" <hamburger,cantelope>,\n" +
" <hamburger,wurst>,\n" +
" <kale,arugula>,\n" +
" <kale,flounder>,\n" +
" <lamb,snickers>,\n" +
" <lamb,tofu>,\n" +
" <melon,popover>,\n" +
" <melon,potato>,\n" +
" <orange,bacon>,\n" +
" <orange,beef>,\n" +
" <orange,pork>,\n" +
" <pepper,cantelope>,\n" +
" <pepper,grapefruit>,\n" +
" <popover,melon>,\n" +
" <popover,tofu>,\n" +
" <pork,bacon>,\n" +
" <pork,ham>,\n" +
" <pork,orange>,\n" +
" <potato,melon>,\n" +
" <potato,snickers>,\n" +
" <snickers,beef>,\n" +
" <snickers,lamb>,\n" +
" <snickers,potato>,\n" +
" <tofu,lamb>,\n" +
" <tofu,popover>,\n" +
" <wurst,grapefruit>,\n" +
" <wurst,hamburger>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <aesthetics,neptune>,\n" +
" <expectation,pluto>,\n" +
" <intoxication,neptune>,\n" +
" <learning,mars>,\n" +
" <love,mars>,\n" +
" <rest,mars>,\n" +
" <satisfaction,neptune>,\n" +
" <stimulation,pluto>,\n" +
" <triumph,pluto>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <arugula,moravia>,\n" +
" <bacon,alsace>,\n" +
" <beef,moravia>,\n" +
" <cantelope,quebec>,\n" +
" <flounder,moravia>,\n" +
" <grapefruit,oregon>,\n" +
" <ham,alsace>,\n" +
" <hamburger,quebec>,\n" +
" <kale,quebec>,\n" +
" <lamb,moravia>,\n" +
" <melon,alsace>,\n" +
" <orange,quebec>,\n" +
" <pepper,oregon>,\n" +
" <popover,oregon>,\n" +
" <pork,kentucky>,\n" +
" <potato,quebec>,\n" +
" <snickers,alsace>,\n" +
" <tofu,surrey>,\n" +
" <wurst,alsace>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mars,neptune>,\n" +
" <mercury,mars>,\n" +
" <neptune,pluto>\n" +
"}\n",


"domain painpleasure = {\n" +
" boils,\n" +
" dread,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica,\n" +
" lubricity\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" boils,\n" +
" dread,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" neptune,\n" +
" saturn,\n" +
" uranus\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" lubricity\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" bosnia,\n" +
" kentucky,\n" +
" manitoba,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" bacon,\n" +
" cherry,\n" +
" chicken,\n" +
" pear,\n" +
" pistachio,\n" +
" shrimp,\n" +
" sweetroll,\n" +
" tomato\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,quebec>,\n" +
" <bosnia,surrey>,\n" +
" <manitoba,kentucky>,\n" +
" <quebec,bosnia>,\n" +
" <surrey,manitoba>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <boils,tomato>,\n" +
" <dread,bacon>,\n" +
" <hangover,chicken>,\n" +
" <jealousy,pistachio>,\n" +
" <laceration,pear>,\n" +
" <loneliness,sweetroll>,\n" +
" <lubricity,pear>,\n" +
" <prostatitis,cherry>,\n" +
" <sciatica,shrimp>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <bacon,pear>,\n" +
" <bacon,pistachio>,\n" +
" <cherry,chicken>,\n" +
" <cherry,pear>,\n" +
" <chicken,cherry>,\n" +
" <chicken,pistachio>,\n" +
" <chicken,shrimp>,\n" +
" <chicken,tomato>,\n" +
" <pear,bacon>,\n" +
" <pear,cherry>,\n" +
" <pear,sweetroll>,\n" +
" <pistachio,bacon>,\n" +
" <pistachio,chicken>,\n" +
" <shrimp,chicken>,\n" +
" <shrimp,tomato>,\n" +
" <sweetroll,pear>,\n" +
" <sweetroll,tomato>,\n" +
" <tomato,chicken>,\n" +
" <tomato,shrimp>,\n" +
" <tomato,sweetroll>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <lubricity,saturn>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <bacon,alsace>,\n" +
" <cherry,surrey>,\n" +
" <chicken,kentucky>,\n" +
" <pear,bosnia>,\n" +
" <pistachio,surrey>,\n" +
" <shrimp,manitoba>,\n" +
" <sweetroll,quebec>,\n" +
" <tomato,bosnia>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <neptune,uranus>,\n" +
" <uranus,saturn>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" anger,\n" +
" grief,\n" +
" excitement,\n" +
" intoxication,\n" +
" love,\n" +
" rest\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" anger,\n" +
" grief\n" +
"]\n" +
"domain planet = {\n" +
" jupiter,\n" +
" neptune,\n" +
" pluto\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" excitement,\n" +
" intoxication,\n" +
" love,\n" +
" rest\n" +
"]\n" +
"domain province = {\n" +
" arizona,\n" +
" goias,\n" +
" guanabara,\n" +
" kentucky,\n" +
" pennsylvania,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" arugula,\n" +
" broccoli,\n" +
" hotdog,\n" +
" kale,\n" +
" lettuce,\n" +
" pork,\n" +
" turkey,\n" +
" wurst\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <arizona,surrey>,\n" +
" <guanabara,goias>,\n" +
" <kentucky,pennsylvania>,\n" +
" <pennsylvania,quebec>,\n" +
" <quebec,arizona>,\n" +
" <surrey,guanabara>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,hotdog>,\n" +
" <anger,arugula>,\n" +
" <excitement,broccoli>,\n" +
" <grief,hotdog>,\n" +
" <intoxication,lettuce>,\n" +
" <love,hotdog>,\n" +
" <rest,arugula>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <arugula,lettuce>,\n" +
" <arugula,wurst>,\n" +
" <broccoli,turkey>,\n" +
" <broccoli,wurst>,\n" +
" <hotdog,kale>,\n" +
" <hotdog,lettuce>,\n" +
" <hotdog,turkey>,\n" +
" <kale,hotdog>,\n" +
" <kale,pork>,\n" +
" <lettuce,arugula>,\n" +
" <lettuce,hotdog>,\n" +
" <lettuce,wurst>,\n" +
" <pork,kale>,\n" +
" <pork,wurst>,\n" +
" <turkey,broccoli>,\n" +
" <turkey,hotdog>,\n" +
" <wurst,arugula>,\n" +
" <wurst,broccoli>,\n" +
" <wurst,lettuce>,\n" +
" <wurst,pork>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <excitement,neptune>,\n" +
" <intoxication,jupiter>,\n" +
" <love,jupiter>,\n" +
" <rest,jupiter>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <arugula,kentucky>,\n" +
" <broccoli,quebec>,\n" +
" <hotdog,pennsylvania>,\n" +
" <kale,pennsylvania>,\n" +
" <lettuce,surrey>,\n" +
" <pork,pennsylvania>,\n" +
" <turkey,arizona>,\n" +
" <wurst,goias>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <jupiter,neptune>,\n" +
" <pluto,jupiter>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" abrasion-12,\n" +
" abrasion-26,\n" +
" anger,\n" +
" anger-21,\n" +
" anger-6,\n" +
" angina,\n" +
" angina-14,\n" +
" angina-23,\n" +
" anxiety,\n" +
" anxiety-2,\n" +
" anxiety-9,\n" +
" boils,\n" +
" boils-27,\n" +
" boils-3,\n" +
" depression,\n" +
" depression-19,\n" +
" depression-28,\n" +
" depression-5,\n" +
" dread,\n" +
" dread-24,\n" +
" dread-4,\n" +
" grief,\n" +
" grief-1,\n" +
" grief-25,\n" +
" hangover,\n" +
" hangover-15,\n" +
" hangover-31,\n" +
" jealousy,\n" +
" jealousy-22,\n" +
" jealousy-8,\n" +
" laceration,\n" +
" laceration-20,\n" +
" laceration-30,\n" +
" laceration-7,\n" +
" loneliness,\n" +
" loneliness-11,\n" +
" loneliness-17,\n" +
" loneliness-32,\n" +
" prostatitis,\n" +
" prostatitis-13,\n" +
" prostatitis-18,\n" +
" prostatitis-29,\n" +
" sciatica,\n" +
" sciatica-10,\n" +
" sciatica-16,\n" +
" achievement,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" entertainment,\n" +
" intoxication,\n" +
" love,\n" +
" satisfaction\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" abrasion-12,\n" +
" abrasion-26,\n" +
" anger,\n" +
" anger-21,\n" +
" anger-6,\n" +
" angina,\n" +
" angina-14,\n" +
" angina-23,\n" +
" anxiety,\n" +
" anxiety-2,\n" +
" anxiety-9,\n" +
" boils,\n" +
" boils-27,\n" +
" boils-3,\n" +
" depression,\n" +
" depression-19,\n" +
" depression-28,\n" +
" depression-5,\n" +
" dread,\n" +
" dread-24,\n" +
" dread-4,\n" +
" grief,\n" +
" grief-1,\n" +
" grief-25,\n" +
" hangover,\n" +
" hangover-15,\n" +
" hangover-31,\n" +
" jealousy,\n" +
" jealousy-22,\n" +
" jealousy-8,\n" +
" laceration,\n" +
" laceration-20,\n" +
" laceration-30,\n" +
" laceration-7,\n" +
" loneliness,\n" +
" loneliness-11,\n" +
" loneliness-17,\n" +
" loneliness-32,\n" +
" prostatitis,\n" +
" prostatitis-13,\n" +
" prostatitis-18,\n" +
" prostatitis-29,\n" +
" sciatica,\n" +
" sciatica-10,\n" +
" sciatica-16\n" +
"]\n" +
"domain planet = {\n" +
" mars,\n" +
" neptune,\n" +
" venus,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" achievement,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" entertainment,\n" +
" intoxication,\n" +
" love,\n" +
" satisfaction\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" bavaria,\n" +
" oregon,\n" +
" quebec\n" +
"}\n" +
"domain food = {\n" +
" baguette,\n" +
" chocolate,\n" +
" flounder,\n" +
" ham,\n" +
" hamburger,\n" +
" haroset,\n" +
" lemon,\n" +
" lettuce,\n" +
" lobster,\n" +
" marzipan,\n" +
" melon,\n" +
" muffin,\n" +
" mutton,\n" +
" onion,\n" +
" papaya,\n" +
" potato,\n" +
" rice,\n" +
" scallion,\n" +
" scallop,\n" +
" turkey,\n" +
" wurst,\n" +
" yogurt\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,bavaria>,\n" +
" <bavaria,quebec>,\n" +
" <oregon,alsace>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,scallop>,\n" +
" <abrasion-12,ham>,\n" +
" <abrasion-26,scallion>,\n" +
" <achievement,turkey>,\n" +
" <aesthetics,hamburger>,\n" +
" <anger,mutton>,\n" +
" <anger-21,hamburger>,\n" +
" <anger-6,turkey>,\n" +
" <angina,rice>,\n" +
" <angina-14,turkey>,\n" +
" <angina-23,hamburger>,\n" +
" <anxiety,yogurt>,\n" +
" <anxiety-2,muffin>,\n" +
" <anxiety-9,melon>,\n" +
" <boils,yogurt>,\n" +
" <boils-27,scallion>,\n" +
" <boils-3,potato>,\n" +
" <curiosity,ham>,\n" +
" <depression,rice>,\n" +
" <depression-19,lemon>,\n" +
" <depression-28,scallion>,\n" +
" <depression-5,turkey>,\n" +
" <dread,rice>,\n" +
" <dread-24,scallion>,\n" +
" <dread-4,potato>,\n" +
" <entertainment,mutton>,\n" +
" <grief,scallop>,\n" +
" <grief-1,muffin>,\n" +
" <grief-25,scallion>,\n" +
" <hangover,scallop>,\n" +
" <hangover-15,turkey>,\n" +
" <hangover-31,baguette>,\n" +
" <intoxication,yogurt>,\n" +
" <jealousy,marzipan>,\n" +
" <jealousy-22,hamburger>,\n" +
" <jealousy-8,potato>,\n" +
" <laceration,rice>,\n" +
" <laceration-20,lemon>,\n" +
" <laceration-30,baguette>,\n" +
" <laceration-7,potato>,\n" +
" <loneliness,scallop>,\n" +
" <loneliness-11,ham>,\n" +
" <loneliness-17,lemon>,\n" +
" <loneliness-32,flounder>,\n" +
" <love,baguette>,\n" +
" <prostatitis,muffin>,\n" +
" <prostatitis-13,ham>,\n" +
" <prostatitis-18,lemon>,\n" +
" <prostatitis-29,baguette>,\n" +
" <satisfaction,rice>,\n" +
" <sciatica,rice>,\n" +
" <sciatica-10,melon>,\n" +
" <sciatica-16,turkey>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <baguette,lemon>,\n" +
" <baguette,lobster>,\n" +
" <chocolate,lettuce>,\n" +
" <chocolate,yogurt>,\n" +
" <flounder,lemon>,\n" +
" <flounder,scallion>,\n" +
" <ham,muffin>,\n" +
" <ham,wurst>,\n" +
" <hamburger,papaya>,\n" +
" <hamburger,scallion>,\n" +
" <haroset,melon>,\n" +
" <haroset,wurst>,\n" +
" <lemon,baguette>,\n" +
" <lemon,flounder>,\n" +
" <lemon,onion>,\n" +
" <lettuce,chocolate>,\n" +
" <lettuce,rice>,\n" +
" <lobster,baguette>,\n" +
" <lobster,marzipan>,\n" +
" <lobster,papaya>,\n" +
" <marzipan,lobster>,\n" +
" <marzipan,mutton>,\n" +
" <marzipan,rice>,\n" +
" <melon,haroset>,\n" +
" <melon,onion>,\n" +
" <muffin,ham>,\n" +
" <muffin,potato>,\n" +
" <mutton,marzipan>,\n" +
" <mutton,scallop>,\n" +
" <onion,lemon>,\n" +
" <onion,melon>,\n" +
" <onion,turkey>,\n" +
" <papaya,hamburger>,\n" +
" <papaya,lobster>,\n" +
" <potato,muffin>,\n" +
" <potato,turkey>,\n" +
" <rice,lettuce>,\n" +
" <rice,marzipan>,\n" +
" <scallion,flounder>,\n" +
" <scallion,hamburger>,\n" +
" <scallop,mutton>,\n" +
" <scallop,turkey>,\n" +
" <scallop,yogurt>,\n" +
" <turkey,onion>,\n" +
" <turkey,potato>,\n" +
" <turkey,scallop>,\n" +
" <wurst,ham>,\n" +
" <wurst,haroset>,\n" +
" <yogurt,chocolate>,\n" +
" <yogurt,scallop>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <achievement,venus>,\n" +
" <aesthetics,neptune>,\n" +
" <curiosity,vulcan>,\n" +
" <entertainment,venus>,\n" +
" <intoxication,vulcan>,\n" +
" <love,venus>,\n" +
" <satisfaction,neptune>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <baguette,bavaria>,\n" +
" <chocolate,bavaria>,\n" +
" <flounder,quebec>,\n" +
" <ham,oregon>,\n" +
" <hamburger,bavaria>,\n" +
" <haroset,oregon>,\n" +
" <lemon,quebec>,\n" +
" <lettuce,alsace>,\n" +
" <lobster,alsace>,\n" +
" <marzipan,oregon>,\n" +
" <melon,alsace>,\n" +
" <muffin,bavaria>,\n" +
" <mutton,quebec>,\n" +
" <onion,alsace>,\n" +
" <papaya,bavaria>,\n" +
" <potato,alsace>,\n" +
" <rice,quebec>,\n" +
" <scallion,alsace>,\n" +
" <scallop,oregon>,\n" +
" <turkey,bavaria>,\n" +
" <wurst,bavaria>,\n" +
" <yogurt,alsace>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mars,neptune>,\n" +
" <neptune,vulcan>,\n" +
" <vulcan,venus>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" abrasion-21,\n" +
" abrasion-5,\n" +
" anger,\n" +
" anger-1,\n" +
" anger-10,\n" +
" angina,\n" +
" angina-12,\n" +
" angina-20,\n" +
" angina-30,\n" +
" anxiety,\n" +
" anxiety-25,\n" +
" anxiety-3,\n" +
" boils,\n" +
" boils-13,\n" +
" boils-29,\n" +
" depression,\n" +
" depression-31,\n" +
" depression-7,\n" +
" dread,\n" +
" dread-16,\n" +
" dread-22,\n" +
" grief,\n" +
" grief-19,\n" +
" grief-6,\n" +
" grief-9,\n" +
" hangover,\n" +
" hangover-11,\n" +
" hangover-27,\n" +
" jealousy,\n" +
" jealousy-32,\n" +
" jealousy-8,\n" +
" laceration,\n" +
" laceration-2,\n" +
" laceration-26,\n" +
" loneliness,\n" +
" loneliness-14,\n" +
" loneliness-24,\n" +
" prostatitis,\n" +
" prostatitis-23,\n" +
" prostatitis-4,\n" +
" sciatica,\n" +
" sciatica-15,\n" +
" sciatica-28,\n" +
" achievement,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" excitement,\n" +
" intoxication,\n" +
" learning,\n" +
" love,\n" +
" rest,\n" +
" triumph\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" abrasion-21,\n" +
" abrasion-5,\n" +
" anger,\n" +
" anger-1,\n" +
" anger-10,\n" +
" angina,\n" +
" angina-12,\n" +
" angina-20,\n" +
" angina-30,\n" +
" anxiety,\n" +
" anxiety-25,\n" +
" anxiety-3,\n" +
" boils,\n" +
" boils-13,\n" +
" boils-29,\n" +
" depression,\n" +
" depression-31,\n" +
" depression-7,\n" +
" dread,\n" +
" dread-16,\n" +
" dread-22,\n" +
" grief,\n" +
" grief-19,\n" +
" grief-6,\n" +
" grief-9,\n" +
" hangover,\n" +
" hangover-11,\n" +
" hangover-27,\n" +
" jealousy,\n" +
" jealousy-32,\n" +
" jealousy-8,\n" +
" laceration,\n" +
" laceration-2,\n" +
" laceration-26,\n" +
" loneliness,\n" +
" loneliness-14,\n" +
" loneliness-24,\n" +
" prostatitis,\n" +
" prostatitis-23,\n" +
" prostatitis-4,\n" +
" sciatica,\n" +
" sciatica-15,\n" +
" sciatica-28\n" +
"]\n" +
"domain planet = {\n" +
" jupiter,\n" +
" mars,\n" +
" neptune,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" achievement,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" excitement,\n" +
" intoxication,\n" +
" learning,\n" +
" love,\n" +
" rest,\n" +
" triumph\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" arizona,\n" +
" bavaria,\n" +
" pennsylvania,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" bacon,\n" +
" baguette,\n" +
" chocolate,\n" +
" cod,\n" +
" cucumber,\n" +
" flounder,\n" +
" ham,\n" +
" hotdog,\n" +
" lemon,\n" +
" lettuce,\n" +
" lobster,\n" +
" mutton,\n" +
" papaya,\n" +
" pea,\n" +
" pistachio,\n" +
" potato,\n" +
" scallion,\n" +
" scallop,\n" +
" shrimp,\n" +
" wurst,\n" +
" yogurt\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,arizona>,\n" +
" <arizona,pennsylvania>,\n" +
" <pennsylvania,surrey>,\n" +
" <quebec,bavaria>,\n" +
" <surrey,quebec>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,lobster>,\n" +
" <abrasion-21,cucumber>,\n" +
" <abrasion-5,shrimp>,\n" +
" <achievement,potato>,\n" +
" <aesthetics,cucumber>,\n" +
" <anger,potato>,\n" +
" <anger-1,bacon>,\n" +
" <anger-10,papaya>,\n" +
" <angina,potato>,\n" +
" <angina-12,flounder>,\n" +
" <angina-20,cucumber>,\n" +
" <angina-30,lettuce>,\n" +
" <anxiety,hotdog>,\n" +
" <anxiety-25,pistachio>,\n" +
" <anxiety-3,scallion>,\n" +
" <boils,bacon>,\n" +
" <boils-13,flounder>,\n" +
" <boils-29,lettuce>,\n" +
" <curiosity,chocolate>,\n" +
" <depression,wurst>,\n" +
" <depression-31,lettuce>,\n" +
" <depression-7,yogurt>,\n" +
" <dread,lobster>,\n" +
" <dread-16,shrimp>,\n" +
" <dread-22,mutton>,\n" +
" <excitement,lobster>,\n" +
" <grief,chocolate>,\n" +
" <grief-19,cucumber>,\n" +
" <grief-6,yogurt>,\n" +
" <grief-9,papaya>,\n" +
" <hangover,chocolate>,\n" +
" <hangover-11,papaya>,\n" +
" <hangover-27,ham>,\n" +
" <intoxication,ham>,\n" +
" <jealousy,potato>,\n" +
" <jealousy-32,papaya>,\n" +
" <jealousy-8,yogurt>,\n" +
" <laceration,pea>,\n" +
" <laceration-2,bacon>,\n" +
" <laceration-26,ham>,\n" +
" <learning,yogurt>,\n" +
" <loneliness,lobster>,\n" +
" <loneliness-14,flounder>,\n" +
" <loneliness-24,pistachio>,\n" +
" <love,mutton>,\n" +
" <prostatitis,bacon>,\n" +
" <prostatitis-23,pistachio>,\n" +
" <prostatitis-4,scallion>,\n" +
" <rest,scallop>,\n" +
" <sciatica,chocolate>,\n" +
" <sciatica-15,shrimp>,\n" +
" <sciatica-28,lettuce>,\n" +
" <triumph,pea>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <bacon,scallion>,\n" +
" <bacon,yogurt>,\n" +
" <baguette,chocolate>,\n" +
" <baguette,lobster>,\n" +
" <baguette,scallop>,\n" +
" <chocolate,baguette>,\n" +
" <chocolate,wurst>,\n" +
" <cod,papaya>,\n" +
" <cod,shrimp>,\n" +
" <cucumber,ham>,\n" +
" <cucumber,lemon>,\n" +
" <cucumber,mutton>,\n" +
" <flounder,scallion>,\n" +
" <flounder,yogurt>,\n" +
" <ham,cucumber>,\n" +
" <ham,lemon>,\n" +
" <hotdog,lobster>,\n" +
" <hotdog,pea>,\n" +
" <lemon,cucumber>,\n" +
" <lemon,ham>,\n" +
" <lemon,mutton>,\n" +
" <lemon,scallop>,\n" +
" <lettuce,mutton>,\n" +
" <lettuce,pistachio>,\n" +
" <lettuce,scallop>,\n" +
" <lobster,baguette>,\n" +
" <lobster,hotdog>,\n" +
" <mutton,cucumber>,\n" +
" <mutton,lemon>,\n" +
" <mutton,lettuce>,\n" +
" <mutton,pistachio>,\n" +
" <papaya,cod>,\n" +
" <papaya,scallion>,\n" +
" <pea,hotdog>,\n" +
" <pea,potato>,\n" +
" <pistachio,lettuce>,\n" +
" <pistachio,mutton>,\n" +
" <potato,pea>,\n" +
" <potato,shrimp>,\n" +
" <potato,wurst>,\n" +
" <scallion,bacon>,\n" +
" <scallion,flounder>,\n" +
" <scallion,papaya>,\n" +
" <scallion,scallop>,\n" +
" <scallion,shrimp>,\n" +
" <scallop,baguette>,\n" +
" <scallop,lemon>,\n" +
" <scallop,lettuce>,\n" +
" <scallop,scallion>,\n" +
" <shrimp,cod>,\n" +
" <shrimp,potato>,\n" +
" <shrimp,scallion>,\n" +
" <shrimp,yogurt>,\n" +
" <wurst,chocolate>,\n" +
" <wurst,potato>,\n" +
" <yogurt,bacon>,\n" +
" <yogurt,flounder>,\n" +
" <yogurt,shrimp>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <achievement,jupiter>,\n" +
" <aesthetics,neptune>,\n" +
" <curiosity,jupiter>,\n" +
" <excitement,neptune>,\n" +
" <intoxication,neptune>,\n" +
" <learning,neptune>,\n" +
" <love,jupiter>,\n" +
" <rest,jupiter>,\n" +
" <triumph,vulcan>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <bacon,arizona>,\n" +
" <baguette,bavaria>,\n" +
" <chocolate,pennsylvania>,\n" +
" <cod,arizona>,\n" +
" <cucumber,pennsylvania>,\n" +
" <flounder,pennsylvania>,\n" +
" <ham,bavaria>,\n" +
" <hotdog,bavaria>,\n" +
" <lemon,pennsylvania>,\n" +
" <lettuce,pennsylvania>,\n" +
" <lobster,bavaria>,\n" +
" <mutton,alsace>,\n" +
" <papaya,surrey>,\n" +
" <pea,quebec>,\n" +
" <pistachio,arizona>,\n" +
" <potato,pennsylvania>,\n" +
" <scallion,surrey>,\n" +
" <scallop,bavaria>,\n" +
" <shrimp,surrey>,\n" +
" <wurst,arizona>,\n" +
" <yogurt,surrey>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <jupiter,neptune>,\n" +
" <mars,vulcan>,\n" +
" <vulcan,jupiter>\n" +
"}\n",


"domain painpleasure = {\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" depression,\n" +
" dread,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica,\n" +
" aesthetics,\n" +
" curiosity,\n" +
" empathy,\n" +
" entertainment,\n" +
" expectation,\n" +
" learning,\n" +
" lubricity,\n" +
" satiety,\n" +
" satisfaction,\n" +
" stimulation,\n" +
" understanding\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" depression,\n" +
" dread,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" laceration,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" earth,\n" +
" mars,\n" +
" neptune,\n" +
" uranus\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" aesthetics,\n" +
" curiosity,\n" +
" empathy,\n" +
" entertainment,\n" +
" expectation,\n" +
" learning,\n" +
" lubricity,\n" +
" satiety,\n" +
" satisfaction,\n" +
" stimulation,\n" +
" understanding\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" arizona,\n" +
" bavaria,\n" +
" bosnia,\n" +
" goias,\n" +
" manitoba,\n" +
" moravia,\n" +
" oregon,\n" +
" pennsylvania,\n" +
" quebec,\n" +
" surrey\n" +
"}\n" +
"domain food = {\n" +
" bacon,\n" +
" broccoli,\n" +
" cantelope,\n" +
" chicken,\n" +
" cod,\n" +
" cucumber,\n" +
" ham,\n" +
" haroset,\n" +
" lamb,\n" +
" lemon,\n" +
" lobster,\n" +
" okra,\n" +
" onion,\n" +
" pea,\n" +
" pepper,\n" +
" pistachio,\n" +
" turkey\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,arizona>,\n" +
" <arizona,manitoba>,\n" +
" <bavaria,alsace>,\n" +
" <bosnia,pennsylvania>,\n" +
" <goias,surrey>,\n" +
" <manitoba,bosnia>,\n" +
" <moravia,bavaria>,\n" +
" <oregon,goias>,\n" +
" <pennsylvania,quebec>,\n" +
" <surrey,moravia>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <aesthetics,cucumber>,\n" +
" <anger,pea>,\n" +
" <angina,chicken>,\n" +
" <anxiety,turkey>,\n" +
" <boils,pea>,\n" +
" <curiosity,turkey>,\n" +
" <depression,broccoli>,\n" +
" <dread,onion>,\n" +
" <empathy,onion>,\n" +
" <entertainment,pepper>,\n" +
" <expectation,lamb>,\n" +
" <grief,bacon>,\n" +
" <hangover,bacon>,\n" +
" <jealousy,pistachio>,\n" +
" <laceration,broccoli>,\n" +
" <learning,broccoli>,\n" +
" <loneliness,lobster>,\n" +
" <lubricity,okra>,\n" +
" <prostatitis,chicken>,\n" +
" <satiety,haroset>,\n" +
" <satisfaction,pistachio>,\n" +
" <sciatica,cucumber>,\n" +
" <stimulation,lobster>,\n" +
" <understanding,cod>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <bacon,ham>,\n" +
" <bacon,pepper>,\n" +
" <broccoli,lemon>,\n" +
" <broccoli,pistachio>,\n" +
" <cantelope,chicken>,\n" +
" <cantelope,lamb>,\n" +
" <cantelope,turkey>,\n" +
" <chicken,cantelope>,\n" +
" <chicken,cod>,\n" +
" <chicken,lamb>,\n" +
" <cod,chicken>,\n" +
" <cod,lamb>,\n" +
" <cod,lemon>,\n" +
" <cod,pea>,\n" +
" <cucumber,lobster>,\n" +
" <cucumber,okra>,\n" +
" <ham,bacon>,\n" +
" <ham,lobster>,\n" +
" <ham,onion>,\n" +
" <haroset,lemon>,\n" +
" <haroset,onion>,\n" +
" <haroset,pepper>,\n" +
" <lamb,cantelope>,\n" +
" <lamb,chicken>,\n" +
" <lamb,cod>,\n" +
" <lemon,broccoli>,\n" +
" <lemon,cod>,\n" +
" <lemon,haroset>,\n" +
" <lobster,cucumber>,\n" +
" <lobster,ham>,\n" +
" <okra,cucumber>,\n" +
" <okra,pistachio>,\n" +
" <onion,ham>,\n" +
" <onion,haroset>,\n" +
" <pea,cod>,\n" +
" <pea,turkey>,\n" +
" <pepper,bacon>,\n" +
" <pepper,haroset>,\n" +
" <pistachio,broccoli>,\n" +
" <pistachio,okra>,\n" +
" <turkey,cantelope>,\n" +
" <turkey,pea>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <aesthetics,earth>,\n" +
" <curiosity,mars>,\n" +
" <empathy,mars>,\n" +
" <entertainment,mars>,\n" +
" <expectation,earth>,\n" +
" <learning,neptune>,\n" +
" <lubricity,earth>,\n" +
" <satiety,earth>,\n" +
" <satisfaction,earth>,\n" +
" <stimulation,neptune>,\n" +
" <understanding,mars>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <bacon,bavaria>,\n" +
" <broccoli,moravia>,\n" +
" <cantelope,bavaria>,\n" +
" <chicken,manitoba>,\n" +
" <cod,quebec>,\n" +
" <cucumber,surrey>,\n" +
" <ham,arizona>,\n" +
" <haroset,moravia>,\n" +
" <lamb,arizona>,\n" +
" <lemon,alsace>,\n" +
" <lobster,alsace>,\n" +
" <okra,moravia>,\n" +
" <onion,goias>,\n" +
" <pea,bavaria>,\n" +
" <pepper,surrey>,\n" +
" <pistachio,moravia>,\n" +
" <turkey,goias>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mars,neptune>,\n" +
" <neptune,earth>,\n" +
" <uranus,mars>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" angina,\n" +
" boils,\n" +
" depression,\n" +
" grief,\n" +
" jealousy,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica,\n" +
" achievement,\n" +
" excitement,\n" +
" learning,\n" +
" rest,\n" +
" satiety,\n" +
" stimulation,\n" +
" triumph\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" angina,\n" +
" boils,\n" +
" depression,\n" +
" grief,\n" +
" jealousy,\n" +
" loneliness,\n" +
" prostatitis,\n" +
" sciatica\n" +
"]\n" +
"domain planet = {\n" +
" earth,\n" +
" mercury,\n" +
" neptune,\n" +
" vulcan\n" +
"}\n" +
"domain pleasure = painpleasure [\n" +
" achievement,\n" +
" excitement,\n" +
" learning,\n" +
" rest,\n" +
" satiety,\n" +
" stimulation,\n" +
" triumph\n" +
"]\n" +
"domain province = {\n" +
" alsace,\n" +
" bosnia,\n" +
" goias,\n" +
" kentucky,\n" +
" manitoba,\n" +
" pennsylvania\n" +
"}\n" +
"domain food = {\n" +
" arugula,\n" +
" bacon,\n" +
" baguette,\n" +
" chicken,\n" +
" chocolate,\n" +
" flounder,\n" +
" guava,\n" +
" marzipan,\n" +
" pepper,\n" +
" rice,\n" +
" wonderbread\n" +
"}\n" +
"relation attacks(province,province) = {\n" +
" <alsace,bosnia>,\n" +
" <bosnia,kentucky>,\n" +
" <kentucky,pennsylvania>,\n" +
" <manitoba,alsace>,\n" +
" <pennsylvania,goias>\n" +
"}\n" +
"relation _craves(painpleasure,food) = {\n" +
" <abrasion,baguette>,\n" +
" <achievement,rice>,\n" +
" <angina,wonderbread>,\n" +
" <boils,pepper>,\n" +
" <depression,bacon>,\n" +
" <excitement,arugula>,\n" +
" <grief,baguette>,\n" +
" <jealousy,wonderbread>,\n" +
" <learning,baguette>,\n" +
" <loneliness,bacon>,\n" +
" <prostatitis,chicken>,\n" +
" <rest,chicken>,\n" +
" <satiety,wonderbread>,\n" +
" <sciatica,baguette>,\n" +
" <stimulation,pepper>,\n" +
" <triumph,chocolate>\n" +
"}\n" +
"relation eats(food,food) = {\n" +
" <arugula,baguette>,\n" +
" <arugula,wonderbread>,\n" +
" <bacon,chicken>,\n" +
" <bacon,rice>,\n" +
" <baguette,arugula>,\n" +
" <baguette,guava>,\n" +
" <baguette,rice>,\n" +
" <chicken,bacon>,\n" +
" <chicken,marzipan>,\n" +
" <chocolate,flounder>,\n" +
" <chocolate,marzipan>,\n" +
" <chocolate,pepper>,\n" +
" <flounder,chocolate>,\n" +
" <flounder,wonderbread>,\n" +
" <guava,baguette>,\n" +
" <guava,pepper>,\n" +
" <marzipan,chicken>,\n" +
" <marzipan,chocolate>,\n" +
" <pepper,chocolate>,\n" +
" <pepper,guava>,\n" +
" <rice,bacon>,\n" +
" <rice,baguette>,\n" +
" <wonderbread,arugula>,\n" +
" <wonderbread,flounder>\n" +
"}\n" +
"relation _harmony(pleasure,planet) = {\n" +
" <achievement,vulcan>,\n" +
" <excitement,earth>,\n" +
" <learning,vulcan>,\n" +
" <rest,neptune>,\n" +
" <satiety,neptune>,\n" +
" <stimulation,earth>,\n" +
" <triumph,vulcan>\n" +
"}\n" +
"relation _locale(food,province) = {\n" +
" <arugula,kentucky>,\n" +
" <bacon,pennsylvania>,\n" +
" <baguette,manitoba>,\n" +
" <chicken,manitoba>,\n" +
" <chocolate,goias>,\n" +
" <flounder,alsace>,\n" +
" <guava,pennsylvania>,\n" +
" <marzipan,manitoba>,\n" +
" <pepper,kentucky>,\n" +
" <rice,alsace>,\n" +
" <wonderbread,bosnia>\n" +
"}\n" +
"relation orbits(planet,planet) = {\n" +
" <mercury,neptune>,\n" +
" <neptune,vulcan>,\n" +
" <vulcan,earth>\n" +
"}\n",


"domain painpleasure = {\n" +
" abrasion,\n" +
" abrasion-4,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" boils-1,\n" +
" depression,\n" +
" depression-7,\n" +
" dread,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" jealousy-2,\n" +
" laceration,\n" +
" laceration-8,\n" +
" loneliness,\n" +
" loneliness-3,\n" +
" prostatitis,\n" +
" sciatica,\n" +
" achievement,\n" +
" entertainment,\n" +
" excitement,\n" +
" intoxication,\n" +
" love,\n" +
" lubricity,\n" +
" rest,\n" +
" satiety,\n" +
" satisfaction\n" +
"}\n" +
"domain pain = painpleasure [\n" +
" abrasion,\n" +
" abrasion-4,\n" +
" anger,\n" +
" angina,\n" +
" anxiety,\n" +
" boils,\n" +
" boils-1,\n" +
" depression,\n" +
" depression-7,\n" +
" dread,\n" +
" grief,\n" +
" hangover,\n" +
" jealousy,\n" +
" jealousy-2,\n" +
" laceration,\n" +
" laceration-8,\n" +
" loneliness,\n" +
" loneliness-3,\n" +

0
Comment actions Permalink

My >1 msec ones:

Class references one of its subclasses: 4.13
Single character string concatenation: 3.13
Unnecessary fully qualified name: 1.79
Overly coupled class: 1.23
Infinite recursion: 1.21

-


And the > 0.5 ones:

Overly coupled method: 0.85
Catch generic class: 0.76
C-style array declaration: 0.70
Unnecessary semicolon: 0.70
Local variable hides member variable: 0.69
this reference escaped in object construction: 0.65
Calls to System.gc() or Runtime.gc(): 0.64
java.lang.Error not rethrown: 0.63
Missorted modifiers: 0.63
Use of index 0 in JDBC results: 0.62
Comparison of 'short' and 'char' values: 0.62
Redundant 'if' statement: 0.57
Long literal ending with 'l' instead of 'L': 0.56
Call to Time.toString(): 0.56
Call to printStackTrace(): 0.52
Call to String.compareTo(): 0.51
'instanceof' on 'catch' parameter: 0.51

All of the above with around 250 total run count.

HTH,
Andrei



0
Comment actions Permalink

My tele meters after a very long inspection parse of a 700 line file:

Total run counts between 540 - 580

Very, really, really bad culprits (name - Total Run Time, Avg Run Time):

Pointless arithmetic expression 142510 245.28
Concatenating with empty string 130917 138.90


Almost not guilty, compared to the others:

Single character concatenation 6761 11,58


All other 60 inspections < 250 <0.50


0
Comment actions Permalink

Here are the top by average run time on a small workspace of 500 files with all inspections enabled.

Unused import 3.84
Auto-unboxing 3.29
Implicit Numeric Conversion 2.93
Auto-boxing 2.88
Unnecessary qualified static usage 2.60
Unnecessary fully qualified name 2.46
Unqualified static usage 2.40
Private member access between outer and inner classes 2.40
Feature Envy 2.15
Accessing a non-public field of another object 2.09
Result of method call ignored 2.01
Static method referenced via subclass 1.66
All other inspection < 1.00

0
Comment actions Permalink

Here are results of running Inspection on a large workspace
with 5000 source files. It took about 1 hour to run and
found 53,306 items. This is using my default inspection
profile. I tried to run it with all inspections, but it
died with Out of Memory Error. Will up idea max memory and
try again.

Most expensive inspections:

Implicit Numeric Conversion 4.19
Unnecessary fully qualified name 3.24
Static method referenced via subclass 2.16
Result of method call ignored 1.83
Field accessed in both synchronized and unsynchronized contexts 1.02
Mismatched query and update of collection 0.88

0
Comment actions Permalink

Still looking for IG Telemetry feedback? Is there a minimum thresold for a large Average Run Time that you are interested in hearing about?

0
Comment actions Permalink


I'm still looking for feedback, although I think I've got a line on the worst offenders. Any inspection more than about 4x the times of the average ones is worth reporting.

--Dave Griffith

0
Comment actions Permalink

Dave Griffith wrote:
> Any inspection more than about 4x the times of
> the average ones is worth reporting.

"Method may be 'static'" is slow, but only on library classes.
total runtime: 13672
average runtime: 4.92

Inspection results on library classes are pretty useless anyway. Has
somebody already submitted a request to disable inspections for libraries?

Bas

0
Comment actions Permalink

Result of method call ignored 7.00
Malformed regular expression 3.44

0

Please sign in to leave a comment.