InspectionGadgets Telemetry

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

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.

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!"

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

Now that is unfair ;)

Vince.

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

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.

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

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" +

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

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

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

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

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

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

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

Result of method call ignored 7.00
Malformed regular expression 3.44