├── tenenbaum_data ├── [23,16,19,20].csv ├── 16.csv ├── 60.csv ├── [16,8,2,64].csv ├── [60,52,57,55].csv ├── [98,81,86,93].csv ├── [80,10,60,30].csv └── [25,4,36,81].csv ├── human_experiment_webpage ├── survey.html └── index.html ├── textfeatures.py ├── replication_synthesis_prompt.py ├── utilities.py ├── Readme.md ├── special_human_data.tsv ├── cached_eval.py ├── prior.py └── set_data └── concepts ├── CONCEPT_hg92__LIST_L3.txt ├── CONCEPT_hg11__LIST_L1.txt ├── CONCEPT_hg47__LIST_L4.txt ├── CONCEPT_hg59__LIST_L1.txt ├── CONCEPT_hg05__LIST_L4.txt ├── CONCEPT_hg20__LIST_L1.txt ├── CONCEPT_hg02__LIST_L4.txt ├── CONCEPT_hg87__LIST_L4.txt ├── CONCEPT_hg32__LIST_L3.txt ├── CONCEPT_hg25__LIST_L1.txt ├── CONCEPT_hg87__LIST_L3.txt ├── CONCEPT_hg34__LIST_L2.txt ├── CONCEPT_hg07__LIST_L3.txt ├── CONCEPT_hg16__LIST_L3.txt ├── CONCEPT_hg36__LIST_L2.txt ├── CONCEPT_hg55__LIST_L2.txt ├── CONCEPT_hg23__LIST_L1.txt ├── CONCEPT_hg93__LIST_L4.txt ├── CONCEPT_hg99__LIST_L3.txt ├── CONCEPT_hg89__LIST_L4.txt ├── CONCEPT_hg11__LIST_L4.txt ├── CONCEPT_hg12__LIST_L4.txt ├── CONCEPT_hg23__LIST_L4.txt └── CONCEPT_hg108__LIST_L2.txt /tenenbaum_data/[23,16,19,20].csv: -------------------------------------------------------------------------------- 1 | 2,0.20857 2 | 4,0.2169 3 | 6,0.23476 4 | 8,0.25143 5 | 9,0.29905 6 | 10,0.3419 7 | 12,0.39833 8 | 13,0.48452 9 | 14,0.5131 10 | 15,0.59048 11 | 16,1 12 | 17,0.77369 13 | 18,0.74512 14 | 19,1 15 | 20,1 16 | 21,0.7594 17 | 22,0.78369 18 | 24,0.66429 19 | 25,0.55714 20 | 26,0.54286 21 | 28,0.42571 22 | 32,0.28238 23 | 36,0.2919 24 | 41,0.18952 25 | 56,0.15619 26 | 62,0.12643 27 | 64,0.1419 28 | 87,0.13952 29 | 95,0.1169 30 | 96,0.15857 31 | -------------------------------------------------------------------------------- /tenenbaum_data/16.csv: -------------------------------------------------------------------------------- 1 | 2,0.58643 2 | 4,0.61571 3 | 6,0.4331 4 | 8,0.68571 5 | 9,0.35143 6 | 10,0.41643 7 | 12,0.5031 8 | 13,0.26762 9 | 14,0.43357 10 | 15,0.37214 11 | 16,1 12 | 17,0.33881 13 | 18,0.4669 14 | 19,0.31095 15 | 20,0.44857 16 | 21,0.30143 17 | 22,0.4419 18 | 24,0.51452 19 | 25,0.37476 20 | 26,0.43357 21 | 28,0.45024 22 | 32,0.64952 23 | 36,0.49357 24 | 41,0.24429 25 | 56,0.45738 26 | 62,0.4019 27 | 64,0.58905 28 | 87,0.18548 29 | 95,0.2069 30 | 96,0.4681 31 | -------------------------------------------------------------------------------- /tenenbaum_data/60.csv: -------------------------------------------------------------------------------- 1 | 6,0.46905 2 | 8,0.34429 3 | 12,0.50786 4 | 13,0.18429 5 | 20,0.52571 6 | 24,0.46571 7 | 30,0.53524 8 | 36,0.49238 9 | 39,0.27762 10 | 43,0.23595 11 | 45,0.4169 12 | 48,0.50071 13 | 50,0.51143 14 | 51,0.27595 15 | 53,0.29857 16 | 55,0.41643 17 | 56,0.40143 18 | 58,0.39976 19 | 59,0.35262 20 | 60,1 21 | 61,0.39548 22 | 62,0.43595 23 | 63,0.39976 24 | 65,0.4669 25 | 66,0.4869 26 | 70,0.53524 27 | 72,0.51024 28 | 75,0.41643 29 | 84,0.4169 30 | 90,0.54952 31 | -------------------------------------------------------------------------------- /tenenbaum_data/[16,8,2,64].csv: -------------------------------------------------------------------------------- 1 | 2,0.96 2 | 4,0.915 3 | 6,0.25107 4 | 8,0.94167 5 | 9,0.078571 6 | 10,0.21607 7 | 12,0.2969 8 | 13,0.047619 9 | 14,0.21774 10 | 15,0.054762 11 | 16,0.9 12 | 17,0.047619 13 | 18,0.24274 14 | 19,0.047619 15 | 20,0.20107 16 | 21,0.054762 17 | 22,0.20107 18 | 24,0.28857 19 | 25,0.071429 20 | 26,0.21774 21 | 28,0.24274 22 | 32,0.8269 23 | 36,0.25107 24 | 41,0.047619 25 | 56,0.2344 26 | 62,0.21774 27 | 64,0.97857 28 | 87,0.057619 29 | 95,0.054762 30 | 96,0.27607 31 | -------------------------------------------------------------------------------- /tenenbaum_data/[60,52,57,55].csv: -------------------------------------------------------------------------------- 1 | 6,0.094286 2 | 8,0.084286 3 | 12,0.084286 4 | 13,0.084286 5 | 20,0.10976 6 | 24,0.11643 7 | 30,0.16524 8 | 36,0.1569 9 | 39,0.19024 10 | 43,0.23071 11 | 45,0.31405 12 | 48,0.32405 13 | 50,0.69786 14 | 51,0.74119 15 | 53,0.80786 16 | 55,0.94833 17 | 56,0.81619 18 | 58,0.82619 19 | 59,0.79952 20 | 60,1 21 | 61,0.55452 22 | 62,0.60119 23 | 63,0.55119 24 | 65,0.46738 25 | 66,0.43119 26 | 70,0.29024 27 | 72,0.2319 28 | 75,0.2319 29 | 84,0.14143 30 | 90,0.12595 31 | -------------------------------------------------------------------------------- /tenenbaum_data/[98,81,86,93].csv: -------------------------------------------------------------------------------- 1 | 3,0.090952 2 | 5,0.074286 3 | 9,0.099286 4 | 16,0.10762 5 | 18,0.11595 6 | 21,0.11476 7 | 27,0.098095 8 | 36,0.13024 9 | 45,0.11357 10 | 49,0.1469 11 | 51,0.16357 12 | 57,0.15524 13 | 61,0.21357 14 | 63,0.21357 15 | 64,0.18857 16 | 69,0.23024 17 | 71,0.35571 18 | 72,0.31405 19 | 73,0.29857 20 | 75,0.35857 21 | 77,0.39357 22 | 79,0.46738 23 | 80,0.65619 24 | 81,0.98333 25 | 82,0.74119 26 | 83,0.73286 27 | 84,0.73286 28 | 87,0.73286 29 | 90,0.75119 30 | 91,0.74286 31 | -------------------------------------------------------------------------------- /tenenbaum_data/[80,10,60,30].csv: -------------------------------------------------------------------------------- 1 | 6,0.12726 2 | 8,0.12012 3 | 12,0.12012 4 | 13,0.040476 5 | 20,0.88119 6 | 24,0.12607 7 | 30,0.98167 8 | 36,0.12726 9 | 39,0.061905 10 | 43,0.061905 11 | 45,0.21988 12 | 48,0.12607 13 | 50,0.88119 14 | 51,0.040476 15 | 53,0.040476 16 | 55,0.21988 17 | 56,0.11893 18 | 58,0.12607 19 | 59,0.061905 20 | 60,0.96667 21 | 61,0.040476 22 | 62,0.11179 23 | 63,0.040476 24 | 65,0.21988 25 | 66,0.12607 26 | 70,0.88119 27 | 72,0.11357 28 | 75,0.21988 29 | 84,0.12607 30 | 90,0.87286 31 | -------------------------------------------------------------------------------- /tenenbaum_data/[25,4,36,81].csv: -------------------------------------------------------------------------------- 1 | 3,0.056429 2 | 5,0.063571 3 | 9,0.82726 4 | 16,0.87726 5 | 18,0.066429 6 | 21,0.073571 7 | 27,0.1319 8 | 36,0.97024 9 | 45,0.080714 10 | 49,0.84869 11 | 51,0.059286 12 | 57,0.066429 13 | 61,0.059286 14 | 63,0.087857 15 | 64,0.82488 16 | 69,0.087857 17 | 71,0.087857 18 | 72,0.059286 19 | 73,0.059286 20 | 75,0.073571 21 | 77,0.12536 22 | 79,0.073571 23 | 80,0.066429 24 | 81,0.94167 25 | 82,0.056429 26 | 83,0.049286 27 | 84,0.073571 28 | 87,0.087857 29 | 90,0.087857 30 | 91,0.066429 31 | -------------------------------------------------------------------------------- /human_experiment_webpage/survey.html: -------------------------------------------------------------------------------- 1 | 2 | 3 |
4 |I am asking you to participate in a research study. I will describe this study to you in this document. This study is being led by Kevin Ellis at Cornell University.
42 | 43 |Only take this survey once. Please do not take this survey on a smartphone: You need a bigger screen to see things clearly.
44 | 45 |Compensation - You will be compensated $10.00 in Amazon gift cards for your participation in this study. You will receive the gift card after you complete the survey. You will receive the gift card via email, so please make sure to enter your email address correctly.
46 | 47 |What the study is about - The purpose of this research is to understand how humans rapidly learn new concepts, and how we can make machines that do similarly.
48 | 49 |What we will ask you to do - I will ask you to look at examples of a new concept, and then guess what other things might belong to that concept.
50 | 51 |Risks and discomforts - I do not anticipate any risks from participating in this research.
52 | 53 |Benefits - I do not anticipate any direct benefits to the individual from participating in this research. Scientific knowledge gained from this study might help better design future AI systems.
54 | 55 |Privacy/Confidentiality/Data Security - We will keep your survey responses, but not identifying information such as name or netid. Please note that the survey is being conducted with the help of Google Forms, a company not affiliated with Cornell and with its own privacy and security policies that you can find at its website. We anticipate that your participation in this survey presents no greater risk than everyday use of the Internet.
56 | 57 |Sharing De-identified Data Collected in this Research - De-identified data from this study may be shared with the research community at large to advance science and health. We will remove or code any personal information that could identify you before files are shared with other researchers to ensure that, by current scientific standards and known methods, no one will be able to identify you from the information we share. Despite these measures, we cannot guarantee anonymity of your personal data.
58 | 59 |Taking part is voluntary - Participation in the study is voluntary. You may refuse to continue the survey at any point.
60 | 61 |If you have questions - The main researcher conducting this study is Kevin Ellis at Cornell University. If you have questions, you may contact him at kellis@cornell.edu. If you have any questions or concerns regarding your rights as a subject in this study, you may contact the Institutional Review Board (IRB) for Human Participants at 607-255-6182 or access their website at https://researchservices.cornell.edu/offices/IRB. You may also report your concerns or complaints anonymously through Ethicspoint online at www.hotline.cornell.edu or by calling toll-free at 1-866-293-3077. Ethicspoint is an independent organization that serves as a liaison between the University and the person bringing the complaint so that anonymity can be ensured.
62 | 63 | 64 | 65 | 66 | -------------------------------------------------------------------------------- /special_human_data.tsv: -------------------------------------------------------------------------------- 1 | W1sxLDEsMSwxLDFdLFsxLDEsMCwwLDEsMV0sWzEsMSwwLDEsMV0sWzEsMSwxLDAsMF0sWzAsMSwwLDEsMV0sWzAsMSwxLDEsMCwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= in the colour majority 200 2 | W1swLDEsMSwwLDBdLFsxLDAsMCwwLDAsMF0sWzAsMSwxLDAsMF0sWzAsMSwxLDAsMF0sWzAsMCwxLDAsMF0sWzAsMCwwLDAsMCwwXSxbMSwxLDAsMCwwXSxbMSwwLDAsMF0sWzAsMCwxLDAsMF0sWzAsMSwwLDBdLFsxLDEsMSwxLDAsMF0sWzEsMCwxLDAsMCwwXSxbMCwwLDEsMSwwXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXV0= It has something to do with shape-repetition and shape-color, but I didn't quite get it in the end... 201 3 | W1swLDEsMCwwLDBdLFswLDAsMCwwLDAsMF0sWzAsMCwwLDEsMF0sWzEsMSwxLDAsMV0sWzAsMSwxLDEsMV0sWzEsMSwwLDEsMSwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= majority 200 4 | W1swLDEsMCwwLDBdLFsxLDEsMCwwLDEsMV0sWzEsMSwwLDEsMV0sWzEsMSwxLDAsMF0sWzAsMSwwLDEsMV0sWzAsMSwxLDEsMCwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= Same color 200 5 | W1swLDEsMSwwLDBdLFswLDAsMCwwLDAsMF0sWzEsMSwwLDEsMV0sWzEsMSwxLDAsMF0sWzAsMSwwLDEsMV0sWzAsMSwxLDEsMCwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwwXV0= The majority color 200 6 | W1sxLDAsMSwwLDFdLFswLDAsMSwxLDAsMF0sWzAsMCwxLDAsMF0sWzAsMCwwLDEsMV0sWzEsMCwxLDAsMF0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= Relatively uncommon color within the group of shapes (I am not sure if a half/half color split would have any wudsy, or all wudsy) 201 7 | W1swLDAsMSwwLDFdLFswLDAsMSwxLDAsMF0sWzAsMCwxLDAsMF0sWzAsMCwwLDEsMV0sWzEsMCwxLDAsMF0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= Shares a color with the fewest others 201 8 | W1sxLDAsMCwwLDFdLFsxLDEsMCwwLDEsMV0sWzEsMSwwLDEsMV0sWzEsMSwxLDAsMF0sWzAsMSwwLDEsMV0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= shapes of same color, which consist of big and smaller size, 200 9 | W1swLDEsMSwwLDBdLFswLDAsMSwxLDAsMF0sWzEsMSwwLDEsMV0sWzEsMSwxLDAsMF0sWzAsMSwwLDEsMV0sWzAsMSwxLDEsMCwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= color of the majority color 200 10 | W1swLDEsMCwwLDBdLFswLDAsMSwxLDAsMF0sWzAsMCwxLDAsMF0sWzAsMCwwLDEsMV0sWzEsMCwxLDAsMF0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMSwxLDEsMSwxXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= element has minority colour 201 11 | W1swLDEsMSwwLDBdLFsxLDAsMCwwLDAsMF0sWzEsMSwwLDAsMV0sWzAsMCwwLDEsMV0sWzEsMCwxLDEsMF0sWzEsMSwxLDEsMCwxXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= A shape or shapes that do not share a color with the majority of other shapes in the group 201 12 | W1swLDEsMCwwLDBdLFswLDAsMCwwLDAsMF0sWzEsMCwwLDAsMF0sWzAsMCwwLDEsMV0sWzEsMCwxLDAsMF0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= Least frequent appearing color. 201 13 | W1swLDEsMSwwLDBdLFsxLDAsMCwwLDAsMF0sWzEsMCwwLDAsMF0sWzAsMCwwLDEsMV0sWzEsMCwxLDAsMF0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= Color of least frequency 201 14 | W1sxLDAsMCwxLDBdLFswLDAsMCwxLDAsMF0sWzAsMCwxLDAsMF0sWzAsMCwwLDEsMV0sWzEsMCwxLDAsMF0sWzEsMCwwLDAsMSwwXSxbMCwxLDAsMSwwXSxbMCwwLDAsMV0sWzEsMCwwLDEsMF0sWzAsMSwwLDBdLFsxLDAsMCwxLDAsMF0sWzEsMCwwLDAsMCwxXSxbMCwxLDEsMCwwXSxbMCwxLDEsMCwwXSxbMSwwLDAsMSwwXV0= fewest objects in set with the same colour 201 15 | W1swLDEsMCwxLDBdLFsxLDAsMSwxLDAsMF0sWzEsMSwwLDEsMV0sWzEsMSwxLDAsMF0sWzAsMSwwLDEsMV0sWzAsMSwxLDEsMCwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= majority 200 16 | W1swLDEsMSwwLDBdLFswLDEsMSwxLDAsMV0sWzAsMSwwLDEsMF0sWzEsMSwxLDAsMV0sWzAsMCwwLDAsMV0sWzAsMSwxLDEsMCwxXSxbMSwwLDEsMCwxXSxbMSwxLDEsMF0sWzAsMSwxLDAsMV0sWzEsMCwxLDFdLFswLDEsMSwwLDEsMV0sWzAsMSwxLDEsMSwwXSxbMSwwLDAsMSwxXSxbMSwwLDAsMSwxXSxbMCwxLDEsMCwxXV0= The majority color 200 -------------------------------------------------------------------------------- /cached_eval.py: -------------------------------------------------------------------------------- 1 | from utilities import * 2 | from subprocess import STDOUT, check_output 3 | from filelock import FileLock 4 | import tempfile 5 | import os 6 | import func_timeout 7 | 8 | """2 dictionaries are maintained: 9 | 1. saved_evaluations: everything that we know is already saved to disk 10 | 2. buffered_evaluations: everything that we have computed but not yet saved to disk 11 | 12 | Every 100 evaluations, we save the buffer to disk, then clear the buffer. 13 | """ 14 | saved_evaluations = None 15 | buffered_evaluations = {} 16 | 17 | def exec_and_return_output(code): 18 | OUTPUT = [] 19 | exec(code) 20 | return OUTPUT 21 | 22 | def cached_eval(expression, statement=False): 23 | global saved_evaluations, buffered_evaluations 24 | 25 | fn = "eval.pickle" 26 | if saved_evaluations is None: 27 | with FileLock(f'{fn}.lck'): 28 | if os.path.exists(fn): 29 | with open(fn, "rb") as handle: 30 | saved_evaluations = pickle.load(handle) 31 | else: 32 | saved_evaluations = {} 33 | print("Loaded", len(saved_evaluations), "evaluations from disk") 34 | 35 | 36 | if expression in buffered_evaluations: 37 | result = buffered_evaluations[expression] 38 | elif expression in saved_evaluations: 39 | result = saved_evaluations[expression] 40 | else: 41 | if statement: 42 | if False: # process sandbox 43 | # dump code to a temporary file stored on the RAM, /dev/shm 44 | # this is faster than writing to disk 45 | with tempfile.NamedTemporaryFile(dir="/dev/shm", delete=False, suffix=".py") as f: 46 | f.write(expression.encode("utf-8")) 47 | temporary_filename = f.name 48 | 49 | # execute the code 50 | # collect the output 51 | # delete the temporary file 52 | try: 53 | value = check_output(["python", temporary_filename], stderr=STDOUT, timeout=0.1) 54 | value = eval(value) 55 | except: 56 | value = None 57 | os.remove(temporary_filename) 58 | else: 59 | # quasi sanitation 60 | # make sure that there is no `import` statement 61 | # make sure that there is no `open` statement 62 | # make sure that there is no `exec` statement 63 | # make sure that there is no `eval` statement 64 | # make sure that there is no `os` statement 65 | # make sure that there is no `sys` statement 66 | # make sure that there is no `subprocess` statement 67 | has_bad_thing = False 68 | for bad_thing in ["import", "open(", "exec(", "eval(", "os.", "sys.", "subprocess."]: 69 | if bad_thing in expression: 70 | has_bad_thing = True 71 | print(f"bad thing found in generated code, skipping: `{bad_thing}`") 72 | break 73 | if has_bad_thing: 74 | value = None 75 | 76 | else: 77 | modified_expression = expression.replace("print(", "OUTPUT.append(") 78 | 79 | try: 80 | OUTPUT = func_timeout.func_timeout(0.1, exec_and_return_output, args=(modified_expression,)) 81 | # we expect exactly one output 82 | value = eval(str(OUTPUT[-1])) 83 | print("successfully executed") 84 | except: 85 | print("failed to execute") 86 | value = None 87 | else: 88 | try: 89 | value = check_output(["python", "-c", expression], stderr=STDOUT, timeout=0.1) 90 | value = eval(value) 91 | except: 92 | value = None 93 | 94 | result = [value] 95 | buffered_evaluations[expression] = result 96 | 97 | if len(buffered_evaluations) > 1000: 98 | print("dumping buffered evaluations to disk...") 99 | with FileLock(f'{fn}.lck'): 100 | # load the saved evaluations again, in case someone else has updated them 101 | if os.path.exists(fn): 102 | with open(fn, "rb") as handle: 103 | saved_evaluations = pickle.load(handle) 104 | 105 | saved_evaluations.update(buffered_evaluations) 106 | buffered_evaluations = {} 107 | with open(fn, "wb") as handle: 108 | pickle.dump(saved_evaluations, handle) 109 | 110 | return result[0] 111 | -------------------------------------------------------------------------------- /prior.py: -------------------------------------------------------------------------------- 1 | import pickle 2 | from transformers import AutoTokenizer, AutoModelForCausalLM 3 | import torch 4 | import torch.nn as nn 5 | import torch.nn.functional as F 6 | import os 7 | 8 | SIZE = "350M" #"2B" 9 | model = {} 10 | def to_tokens_and_logprobs(input_texts, model_name): 11 | """https://discuss.huggingface.co/t/announcement-generation-get-probabilities-for-generated-output/30075/17""" 12 | 13 | global model 14 | if model_name not in model: 15 | model[model_name] = AutoModelForCausalLM.from_pretrained(model_name) 16 | tokenizer = AutoTokenizer.from_pretrained(model_name) 17 | tokenizer.pad_token = tokenizer.eos_token 18 | 19 | 20 | input_ids = tokenizer(input_texts, padding=True, return_tensors="pt").input_ids 21 | outputs = model[model_name](input_ids) 22 | probs = torch.log_softmax(outputs.logits, dim=-1).detach() 23 | 24 | # collect the probability of the generated token -- probability at index 0 corresponds to the token at index 1 25 | probs = probs[:, :-1, :] 26 | input_ids = input_ids[:, 1:] 27 | gen_probs = torch.gather(probs, 2, input_ids[:, :, None]).squeeze(-1) 28 | 29 | batch = [] 30 | for input_sentence, input_probs in zip(input_ids, gen_probs): 31 | text_sequence = [] 32 | for token, p in zip(input_sentence, input_probs): 33 | if token not in tokenizer.all_special_ids: 34 | text_sequence.append((tokenizer.decode(token), p.item())) 35 | batch.append(text_sequence) 36 | return batch 37 | 38 | def simple_prior(texts): 39 | 40 | fn = f"./{SIZE}-prior.pickle" 41 | if os.path.exists(fn): 42 | with open(fn, "rb") as handle: 43 | cache = pickle.load(handle) 44 | else: 45 | cache = {} 46 | 47 | jobs = [] 48 | 49 | for text in texts: 50 | if text not in cache: 51 | jobs.append(text) 52 | 53 | jobs = list(set(jobs)) 54 | 55 | if jobs: 56 | 57 | batch_size = 8 58 | 59 | while jobs: 60 | next_jobs = jobs[:batch_size] 61 | jobs = jobs[batch_size:] 62 | result = to_tokens_and_logprobs(next_jobs, f"Salesforce/codegen-{SIZE}-mono") 63 | just_numbers = [ [n for _, n in stuff ] for stuff in result ] 64 | important_statistics = [ (sum(numbers), len(numbers)) 65 | for numbers in just_numbers ] 66 | 67 | for stats, text in zip(important_statistics, next_jobs): 68 | cache[text] = stats 69 | 70 | 71 | with open(fn, "wb") as handle: 72 | pickle.dump(cache, handle) 73 | 74 | return [cache[text] for text in texts ] 75 | 76 | nl_prior_cache = None 77 | def nl_prior(texts, domain='number'): 78 | global nl_prior_cache 79 | 80 | fn = f"./{SIZE}-prior-nl.pickle" 81 | if nl_prior_cache is None: 82 | if os.path.exists(fn): 83 | with open(fn, "rb") as handle: 84 | nl_prior_cache = pickle.load(handle) 85 | else: 86 | nl_prior_cache = {} 87 | 88 | if domain == "shape": 89 | def remove_shape_prefix(nl): 90 | stupid_prefixes = ["Rule: ", "Something is positive if ", "Rule for Concept #4: Something is positive if "] 91 | for stupid_prefix in stupid_prefixes: 92 | if nl.startswith(stupid_prefix): 93 | nl = nl[len(stupid_prefix):] 94 | return nl 95 | 96 | texts = [remove_shape_prefix(text) for text in texts] 97 | 98 | jobs = [] 99 | 100 | if domain == 'number': 101 | # texts = [f"""# Here are a few example number concepts: 102 | # # The number is even 103 | # # The number is between 30 and 45 104 | # # The number is a power of 3 105 | # # The number is less than 10 106 | # # The number is {text}""" for text in texts ] 107 | # prompt_size=45 108 | texts = [f"# Here is an example number concept:\n# The number is {text}\n" for text in texts ] 109 | prompt_size=12 110 | elif domain == 'shape': 111 | texts = [f"""# Here are some simple example shape concepts: 112 | # 1. neither a triangle nor a green rectangle 113 | # 2. not blue and large. 114 | # 3. if it is large, then it must be yellow. 115 | # 4. small and blue 116 | # 5. either big or green. 117 | # 6. {text} 118 | """ for text in texts ] 119 | prompt_size=63 120 | 121 | for text in texts: 122 | if text not in nl_prior_cache: 123 | jobs.append(text) 124 | 125 | jobs = list(set(jobs)) 126 | 127 | if jobs: 128 | 129 | batch_size = 8 130 | while jobs: 131 | print(len(jobs), "prior computations remaining...") 132 | # prefix=f"""# Here are some simple example shape concepts: 133 | # # 1. neither a triangle nor a green rectangle 134 | # # 2. not blue and large. 135 | # # 3. if it is large, then it must be yellow. 136 | # # 4. small and blue 137 | # # 5. either big or green. 138 | # # 6. """ 139 | # print([j[len(prefix):] for j in jobs]) 140 | 141 | next_jobs = jobs[:batch_size] 142 | jobs = jobs[batch_size:] 143 | result = to_tokens_and_logprobs(next_jobs, f"Salesforce/codegen-{SIZE}-mono") 144 | 145 | # the prompt is some number of tokens 146 | 147 | just_numbers = [ [n for _, n in stuff[prompt_size:] ] for stuff in result ] 148 | 149 | important_statistics = [ (sum(numbers), len(numbers)) 150 | for numbers in just_numbers ] 151 | 152 | for stats, text in zip(important_statistics, next_jobs): 153 | nl_prior_cache[text] = stats 154 | 155 | 156 | with open(fn, "wb") as handle: 157 | pickle.dump(nl_prior_cache, handle) 158 | 159 | return [nl_prior_cache[text] for text in texts ] 160 | 161 | def code_prior(texts): 162 | 163 | fn = f"./{SIZE}-prior-smart.pickle" 164 | if os.path.exists(fn): 165 | with open(fn, "rb") as handle: 166 | cache = pickle.load(handle) 167 | else: 168 | cache = {} 169 | 170 | jobs = [] 171 | 172 | texts = [f"""# Python 3 173 | # Let's think of a number concept. 174 | # Write a python function that returns true if `num` belongs to this number concept. 175 | def check_if_in_concept(num): 176 | return {text}\n""" for text in texts ] 177 | 178 | for text in texts: 179 | if text not in cache: 180 | jobs.append(text) 181 | 182 | jobs = list(set(jobs)) 183 | 184 | if jobs: 185 | 186 | batch_size = 8 187 | while jobs: 188 | print(len(jobs), "prior computations remaining...") 189 | next_jobs = jobs[:batch_size] 190 | jobs = jobs[batch_size:] 191 | result = to_tokens_and_logprobs(next_jobs, f"Salesforce/codegen-{SIZE}-mono") 192 | 193 | # the prompt is 47 tokens 194 | just_numbers = [ [n for _, n in stuff[47:] ] for stuff in result ] 195 | 196 | important_statistics = [ (sum(numbers), len(numbers)) 197 | for numbers in just_numbers ] 198 | 199 | for stats, text in zip(important_statistics, next_jobs): 200 | cache[text] = stats 201 | 202 | with open(fn, "wb") as handle: 203 | pickle.dump(cache, handle) 204 | 205 | return [cache[text] for text in texts ] 206 | 207 | 208 | 209 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg92__LIST_L3.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (is-the-unique* x (lambda (y) (eqv* (color* y) 'blue)) S))) 2 | (#f) rectangle,green,1,3,solid 3 | (#f) triangle,yellow,3,3,solid 4 | (#f #f #t #f) triangle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,2,3,solid rectangle,green,2,3,solid 5 | (#f) circle,yellow,1,3,solid 6 | (#f #f #f #f #f) triangle,yellow,3,3,solid rectangle,blue,3,3,solid circle,yellow,2,3,solid triangle,green,3,3,solid circle,blue,1,3,solid 7 | (#f #f #f) triangle,blue,1,3,solid triangle,blue,3,3,solid circle,green,3,3,solid 8 | (#f #f #f) triangle,blue,2,3,solid triangle,green,3,3,solid circle,blue,1,3,solid 9 | (#f #f #f #f #t) rectangle,green,1,3,solid circle,yellow,1,3,solid triangle,yellow,1,3,solid circle,green,3,3,solid rectangle,blue,3,3,solid 10 | (#f #f) rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid 11 | (#f) rectangle,yellow,2,3,solid 12 | (#f) rectangle,green,3,3,solid 13 | (#f #f) circle,yellow,2,3,solid circle,green,1,3,solid 14 | (#t) triangle,blue,2,3,solid 15 | (#f #t) rectangle,yellow,2,3,solid rectangle,blue,3,3,solid 16 | (#t #f #f) triangle,blue,3,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid 17 | (#f #f #f #f #f) triangle,blue,3,3,solid circle,green,3,3,solid rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid circle,blue,3,3,solid 18 | (#f #f #f #t #f) circle,yellow,1,3,solid triangle,green,1,3,solid circle,green,2,3,solid triangle,blue,2,3,solid triangle,yellow,2,3,solid 19 | (#f #f) triangle,green,3,3,solid triangle,yellow,1,3,solid 20 | (#t) rectangle,blue,1,3,solid 21 | (#t #f) circle,blue,3,3,solid rectangle,yellow,2,3,solid 22 | (#f) circle,green,2,3,solid 23 | (#f #f #f #f #f) rectangle,blue,2,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid rectangle,yellow,2,3,solid 24 | (#f #f #f #f #f) triangle,blue,1,3,solid rectangle,blue,3,3,solid triangle,yellow,1,3,solid circle,yellow,3,3,solid rectangle,blue,1,3,solid 25 | (#f #f #f) circle,green,3,3,solid triangle,green,2,3,solid rectangle,green,1,3,solid 26 | (#f #f) rectangle,green,3,3,solid rectangle,green,1,3,solid 27 | (#t) circle,blue,2,3,solid 28 | (#t) rectangle,blue,3,3,solid 29 | (#f #f) rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 30 | (#f) circle,yellow,1,3,solid 31 | (#f) triangle,green,1,3,solid 32 | (#t #f #f) rectangle,blue,1,3,solid triangle,yellow,3,3,solid triangle,green,2,3,solid 33 | (#t) rectangle,blue,1,3,solid 34 | (#f #f #f) triangle,green,1,3,solid rectangle,yellow,2,3,solid circle,yellow,2,3,solid 35 | (#f #f #t) circle,green,1,3,solid circle,yellow,2,3,solid triangle,blue,2,3,solid 36 | (#f #f #f #f #t) rectangle,green,1,3,solid circle,green,3,3,solid circle,green,2,3,solid circle,yellow,1,3,solid circle,blue,3,3,solid 37 | (#f #t #f) circle,green,3,3,solid triangle,blue,1,3,solid rectangle,green,3,3,solid 38 | (#f #f #f) triangle,yellow,2,3,solid triangle,green,1,3,solid rectangle,green,2,3,solid 39 | (#f) rectangle,yellow,1,3,solid 40 | (#t #f #f) triangle,blue,3,3,solid triangle,green,2,3,solid triangle,green,1,3,solid 41 | (#t #f) triangle,blue,2,3,solid circle,yellow,3,3,solid 42 | (#f #f #f #t) rectangle,yellow,2,3,solid rectangle,green,2,3,solid circle,yellow,1,3,solid triangle,blue,3,3,solid 43 | (#t) triangle,blue,3,3,solid 44 | (#f #f #f #f #f) rectangle,yellow,2,3,solid circle,yellow,1,3,solid rectangle,blue,3,3,solid triangle,blue,3,3,solid circle,blue,2,3,solid 45 | (#f #f #f #f) rectangle,blue,1,3,solid triangle,blue,3,3,solid circle,green,1,3,solid rectangle,green,3,3,solid 46 | (#f #f #f #t #f) rectangle,yellow,1,3,solid circle,green,1,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,green,2,3,solid 47 | (#f #t #f) circle,green,3,3,solid rectangle,blue,1,3,solid triangle,green,2,3,solid 48 | (#f) circle,yellow,1,3,solid 49 | (#f) circle,green,2,3,solid 50 | (#t) triangle,blue,2,3,solid 51 | (#f #f #f #f #t) circle,green,3,3,solid triangle,yellow,2,3,solid triangle,yellow,3,3,solid triangle,yellow,1,3,solid triangle,blue,2,3,solid 52 | (#f #f #f) triangle,blue,1,3,solid circle,yellow,1,3,solid triangle,blue,2,3,solid 53 | (#t) circle,blue,1,3,solid 54 | (#f #f #f #f #f) triangle,green,3,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid circle,green,1,3,solid rectangle,yellow,2,3,solid 55 | (#f #f #f #f #f) circle,blue,2,3,solid triangle,green,1,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid circle,green,1,3,solid 56 | (#f #t #f #f) circle,yellow,2,3,solid rectangle,blue,1,3,solid triangle,yellow,2,3,solid rectangle,green,2,3,solid 57 | (#t) circle,blue,2,3,solid 58 | (#f) triangle,green,1,3,solid 59 | (#t #f #f) rectangle,blue,3,3,solid rectangle,green,2,3,solid triangle,yellow,2,3,solid 60 | (#f #f #t) circle,green,3,3,solid triangle,green,2,3,solid circle,blue,1,3,solid 61 | (#f) triangle,yellow,1,3,solid 62 | (#f #f #f #f) rectangle,green,3,3,solid triangle,yellow,2,3,solid circle,green,3,3,solid circle,yellow,1,3,solid 63 | (#f #f) rectangle,green,3,3,solid triangle,yellow,3,3,solid 64 | (#t) rectangle,blue,3,3,solid 65 | (#f) circle,yellow,2,3,solid 66 | (#f #t #f #f) triangle,yellow,3,3,solid triangle,blue,3,3,solid circle,yellow,1,3,solid triangle,green,2,3,solid 67 | (#t #f #f) triangle,blue,2,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid 68 | (#f #f #t) triangle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,2,3,solid 69 | (#f) circle,green,3,3,solid 70 | (#f #t #f #f #f) rectangle,green,2,3,solid triangle,blue,1,3,solid triangle,yellow,2,3,solid triangle,green,2,3,solid triangle,yellow,3,3,solid 71 | (#f) circle,yellow,2,3,solid 72 | (#t #f #f #f) circle,blue,3,3,solid triangle,green,3,3,solid triangle,green,2,3,solid triangle,green,1,3,solid 73 | (#f #f #f #f) circle,green,2,3,solid rectangle,yellow,3,3,solid triangle,yellow,1,3,solid circle,green,1,3,solid 74 | (#f #f) triangle,yellow,1,3,solid rectangle,yellow,3,3,solid 75 | (#t #f #f) triangle,blue,3,3,solid triangle,yellow,2,3,solid rectangle,green,2,3,solid 76 | (#f #t #f) rectangle,green,3,3,solid triangle,blue,2,3,solid circle,green,2,3,solid 77 | (#f) rectangle,yellow,1,3,solid 78 | (#f #f #f) circle,green,2,3,solid rectangle,green,2,3,solid rectangle,green,3,3,solid 79 | (#t) rectangle,blue,2,3,solid 80 | (#f) rectangle,yellow,2,3,solid 81 | (#f #f #t) circle,yellow,1,3,solid rectangle,yellow,2,3,solid rectangle,blue,1,3,solid 82 | (#t #f) triangle,blue,2,3,solid rectangle,yellow,2,3,solid 83 | (#f #f #f #f) rectangle,blue,1,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid 84 | (#f) circle,yellow,1,3,solid 85 | (#f #f #f) triangle,yellow,1,3,solid circle,yellow,2,3,solid rectangle,yellow,1,3,solid 86 | (#t) triangle,blue,3,3,solid 87 | (#f) triangle,yellow,3,3,solid 88 | (#f) circle,green,1,3,solid 89 | (#f #f #f #f #f) rectangle,blue,2,3,solid triangle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,green,3,3,solid 90 | (#f #f #f #f #f) rectangle,yellow,2,3,solid triangle,green,1,3,solid rectangle,blue,1,3,solid circle,yellow,3,3,solid circle,blue,3,3,solid 91 | (#t) triangle,blue,3,3,solid 92 | (#f #f #f #f #f) circle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,1,3,solid rectangle,blue,2,3,solid triangle,green,3,3,solid 93 | (#f #f #f #f #f) triangle,yellow,3,3,solid rectangle,blue,2,3,solid circle,blue,1,3,solid rectangle,yellow,2,3,solid circle,yellow,3,3,solid 94 | (#t) rectangle,blue,3,3,solid 95 | (#f #f #f) triangle,green,3,3,solid circle,yellow,3,3,solid circle,green,3,3,solid 96 | (#f) circle,yellow,1,3,solid 97 | (#f #f #f #f #f) rectangle,blue,1,3,solid circle,yellow,3,3,solid triangle,yellow,2,3,solid rectangle,yellow,2,3,solid circle,blue,2,3,solid 98 | (#f #f) circle,yellow,2,3,solid rectangle,green,3,3,solid 99 | (#f #f #f #f #f) triangle,green,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,3,3,solid rectangle,blue,1,3,solid triangle,blue,1,3,solid 100 | (#f #t #f) circle,green,2,3,solid triangle,blue,1,3,solid rectangle,green,3,3,solid 101 | (#t #f #f #f) rectangle,blue,3,3,solid rectangle,green,2,3,solid circle,green,3,3,solid rectangle,green,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg11__LIST_L1.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (not* (and* (eqv* (shape* x) 'circle) (eqv* (color* x) 'blue)))) 2 | (#t #t) triangle,green,3,3,solid rectangle,green,1,3,solid 3 | (#t #t) triangle,blue,1,3,solid circle,yellow,3,3,solid 4 | (#t #t #t #t) triangle,blue,3,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid triangle,green,1,3,solid 5 | (#t #f) rectangle,blue,3,3,solid circle,blue,3,3,solid 6 | (#f #t #t) circle,blue,2,3,solid circle,yellow,1,3,solid triangle,blue,1,3,solid 7 | (#t #t #t) circle,yellow,3,3,solid rectangle,green,2,3,solid rectangle,yellow,2,3,solid 8 | (#t #t #t) rectangle,blue,1,3,solid triangle,green,3,3,solid rectangle,blue,3,3,solid 9 | (#t #t #t #t) circle,yellow,3,3,solid triangle,yellow,1,3,solid triangle,yellow,3,3,solid circle,yellow,2,3,solid 10 | (#t #f #t) circle,green,1,3,solid circle,blue,3,3,solid rectangle,green,2,3,solid 11 | (#f #t #t #t) circle,blue,3,3,solid circle,green,1,3,solid rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid 12 | (#t #f #f #t) rectangle,blue,3,3,solid circle,blue,3,3,solid circle,blue,1,3,solid circle,green,3,3,solid 13 | (#t #t #t #t #t) triangle,yellow,2,3,solid rectangle,green,1,3,solid triangle,blue,3,3,solid triangle,yellow,1,3,solid triangle,green,2,3,solid 14 | (#t #t #t) circle,yellow,2,3,solid triangle,yellow,1,3,solid triangle,yellow,2,3,solid 15 | (#t #t #t #t) rectangle,yellow,1,3,solid triangle,green,1,3,solid rectangle,blue,3,3,solid circle,yellow,3,3,solid 16 | (#t #f #t #t) triangle,blue,2,3,solid circle,blue,1,3,solid rectangle,blue,1,3,solid rectangle,green,3,3,solid 17 | (#t #t #t #t #f) rectangle,green,2,3,solid rectangle,blue,1,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid circle,blue,1,3,solid 18 | (#t) rectangle,blue,1,3,solid 19 | (#t) triangle,blue,3,3,solid 20 | (#t #t #t) rectangle,blue,1,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid 21 | (#t #t #t #t #f) rectangle,yellow,2,3,solid triangle,green,2,3,solid triangle,yellow,3,3,solid triangle,blue,1,3,solid circle,blue,3,3,solid 22 | (#t #t #t) rectangle,yellow,2,3,solid rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 23 | (#t) triangle,yellow,3,3,solid 24 | (#t #t #t #t #t) rectangle,green,1,3,solid triangle,yellow,2,3,solid rectangle,green,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,2,3,solid 25 | (#t #f) circle,yellow,3,3,solid circle,blue,1,3,solid 26 | (#t #t) rectangle,yellow,1,3,solid rectangle,green,2,3,solid 27 | (#t #t #t) triangle,yellow,3,3,solid rectangle,yellow,1,3,solid triangle,blue,1,3,solid 28 | (#t #t #t) rectangle,yellow,1,3,solid triangle,green,3,3,solid triangle,yellow,2,3,solid 29 | (#f #t #t #t #t) circle,blue,1,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid triangle,green,1,3,solid circle,green,1,3,solid 30 | (#t #t #f) triangle,green,1,3,solid circle,yellow,1,3,solid circle,blue,3,3,solid 31 | (#t #f) triangle,yellow,2,3,solid circle,blue,2,3,solid 32 | (#t) circle,yellow,1,3,solid 33 | (#t #t) rectangle,blue,3,3,solid triangle,yellow,3,3,solid 34 | (#t #t #t #t) triangle,yellow,3,3,solid rectangle,blue,2,3,solid rectangle,yellow,3,3,solid triangle,blue,1,3,solid 35 | (#t #t) rectangle,green,1,3,solid triangle,yellow,2,3,solid 36 | (#t #t #t #t) triangle,blue,2,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid 37 | (#t #t #t) rectangle,green,2,3,solid circle,green,1,3,solid rectangle,yellow,3,3,solid 38 | (#f #f #t #t #t) circle,blue,2,3,solid circle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,green,1,3,solid rectangle,yellow,3,3,solid 39 | (#t #t #t #t) circle,green,3,3,solid circle,yellow,3,3,solid triangle,blue,3,3,solid triangle,blue,1,3,solid 40 | (#t #t #t #t) triangle,blue,1,3,solid triangle,green,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,1,3,solid 41 | (#t) triangle,yellow,1,3,solid 42 | (#t) triangle,yellow,1,3,solid 43 | (#t #t) triangle,yellow,2,3,solid rectangle,blue,2,3,solid 44 | (#t) circle,yellow,3,3,solid 45 | (#t #t #t) circle,yellow,2,3,solid circle,green,3,3,solid triangle,yellow,1,3,solid 46 | (#t #t) circle,yellow,1,3,solid circle,yellow,3,3,solid 47 | (#t) circle,green,3,3,solid 48 | (#t #f #t) circle,yellow,1,3,solid circle,blue,2,3,solid circle,yellow,2,3,solid 49 | (#t) rectangle,yellow,2,3,solid 50 | (#t) circle,green,2,3,solid 51 | (#t) triangle,blue,1,3,solid 52 | (#t #f #t) rectangle,yellow,3,3,solid circle,blue,1,3,solid triangle,yellow,1,3,solid 53 | (#t) rectangle,blue,3,3,solid 54 | (#t #t) triangle,blue,2,3,solid rectangle,yellow,2,3,solid 55 | (#t #t) triangle,yellow,2,3,solid rectangle,yellow,3,3,solid 56 | (#t #t #t #t #t) triangle,yellow,2,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid rectangle,blue,2,3,solid circle,green,2,3,solid 57 | (#t #t #t #t #t) circle,yellow,3,3,solid triangle,yellow,2,3,solid triangle,green,1,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid 58 | (#t #t) rectangle,yellow,2,3,solid triangle,green,3,3,solid 59 | (#t #t #t #t #t) circle,yellow,3,3,solid circle,yellow,2,3,solid rectangle,yellow,1,3,solid triangle,green,1,3,solid rectangle,yellow,3,3,solid 60 | (#t) circle,green,2,3,solid 61 | (#t) triangle,blue,2,3,solid 62 | (#t) triangle,green,3,3,solid 63 | (#t #t) triangle,blue,2,3,solid rectangle,green,2,3,solid 64 | (#t #t) circle,yellow,2,3,solid rectangle,green,1,3,solid 65 | (#t #t #t) circle,yellow,2,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid 66 | (#f #t #t #t) circle,blue,3,3,solid triangle,yellow,3,3,solid circle,yellow,2,3,solid circle,yellow,3,3,solid 67 | (#t) rectangle,green,2,3,solid 68 | (#t #t #t #t) circle,yellow,1,3,solid circle,green,1,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid 69 | (#t #f #t) rectangle,blue,3,3,solid circle,blue,3,3,solid rectangle,green,2,3,solid 70 | (#t #t #t) rectangle,yellow,2,3,solid triangle,blue,3,3,solid circle,yellow,1,3,solid 71 | (#t #t) triangle,blue,2,3,solid rectangle,green,2,3,solid 72 | (#t #t #t) triangle,blue,2,3,solid circle,yellow,1,3,solid triangle,green,1,3,solid 73 | (#t) circle,green,2,3,solid 74 | (#t) rectangle,green,2,3,solid 75 | (#t #t #t) circle,green,1,3,solid rectangle,blue,1,3,solid triangle,yellow,1,3,solid 76 | (#t #t #t #t) rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid circle,yellow,1,3,solid rectangle,green,2,3,solid 77 | (#t #f) circle,yellow,2,3,solid circle,blue,3,3,solid 78 | (#t) triangle,blue,1,3,solid 79 | (#t #t #f #f #t) triangle,yellow,2,3,solid triangle,green,2,3,solid circle,blue,3,3,solid circle,blue,2,3,solid rectangle,yellow,1,3,solid 80 | (#t #t #t) triangle,green,2,3,solid rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid 81 | (#t #t) triangle,green,1,3,solid rectangle,yellow,1,3,solid 82 | (#t) circle,green,3,3,solid 83 | (#t) rectangle,green,3,3,solid 84 | (#t) triangle,green,3,3,solid 85 | (#t #t #t) triangle,green,2,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid 86 | (#t #t) triangle,blue,2,3,solid triangle,yellow,2,3,solid 87 | (#t #t #t #t) circle,green,3,3,solid triangle,yellow,3,3,solid circle,yellow,1,3,solid rectangle,green,2,3,solid 88 | (#t #f #t #t #t) triangle,blue,2,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid triangle,yellow,1,3,solid rectangle,green,2,3,solid 89 | (#t) rectangle,yellow,1,3,solid 90 | (#t #t #f #t) rectangle,green,3,3,solid rectangle,blue,2,3,solid circle,blue,3,3,solid triangle,green,1,3,solid 91 | (#t #t) rectangle,green,3,3,solid triangle,blue,1,3,solid 92 | (#t) rectangle,blue,3,3,solid 93 | (#t) triangle,blue,1,3,solid 94 | (#t #t #f #t #t) triangle,yellow,3,3,solid circle,yellow,2,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid triangle,green,2,3,solid 95 | (#t #t #t #t) rectangle,green,2,3,solid triangle,green,1,3,solid rectangle,blue,1,3,solid triangle,blue,3,3,solid 96 | (#t #f) rectangle,yellow,3,3,solid circle,blue,3,3,solid 97 | (#t #t #t) triangle,yellow,1,3,solid circle,green,2,3,solid rectangle,yellow,2,3,solid 98 | (#t #t #t #t) rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,1,3,solid triangle,green,1,3,solid 99 | (#t #f) rectangle,blue,3,3,solid circle,blue,3,3,solid 100 | (#t) rectangle,yellow,3,3,solid 101 | (#t #t) rectangle,blue,1,3,solid circle,green,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg47__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (or* (eqv* (color* x) 'blue) (exists* (lambda (y) (eqv* (shape* y) (shape* x))) (largest-set* S))))) 2 | (#t #t #t) triangle,green,3,3,solid circle,green,3,3,solid circle,yellow,2,3,solid 3 | (#t #t #t) rectangle,yellow,2,3,solid rectangle,blue,1,3,solid rectangle,yellow,1,3,solid 4 | (#t #t #t #t) rectangle,blue,2,3,solid rectangle,blue,3,3,solid triangle,blue,1,3,solid triangle,yellow,3,3,solid 5 | (#t) circle,blue,2,3,solid 6 | (#t #t) circle,yellow,2,3,solid circle,blue,1,3,solid 7 | (#t #t #t) rectangle,blue,2,3,solid triangle,yellow,1,3,solid triangle,blue,3,3,solid 8 | (#t #t) triangle,yellow,2,3,solid rectangle,yellow,2,3,solid 9 | (#t #t #t #t #t) circle,yellow,2,3,solid rectangle,yellow,2,3,solid triangle,yellow,3,3,solid circle,green,3,3,solid rectangle,green,3,3,solid 10 | (#t #f) rectangle,green,2,3,solid triangle,yellow,1,3,solid 11 | (#f #t #t #t) triangle,yellow,1,3,solid circle,yellow,3,3,solid circle,yellow,1,3,solid circle,green,3,3,solid 12 | (#t) rectangle,yellow,2,3,solid 13 | (#t #f #f #f) circle,yellow,3,3,solid triangle,yellow,2,3,solid rectangle,green,1,3,solid triangle,green,1,3,solid 14 | (#t #t #t #t) circle,blue,1,3,solid rectangle,green,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid 15 | (#t) circle,yellow,2,3,solid 16 | (#t #t #f #t #f) rectangle,yellow,1,3,solid rectangle,green,2,3,solid circle,yellow,1,3,solid rectangle,blue,3,3,solid circle,green,2,3,solid 17 | (#t) circle,yellow,2,3,solid 18 | (#t) circle,blue,1,3,solid 19 | (#f #t #f) triangle,yellow,1,3,solid circle,yellow,3,3,solid rectangle,yellow,1,3,solid 20 | (#t #t #t #f) triangle,yellow,3,3,solid circle,blue,1,3,solid triangle,blue,2,3,solid circle,green,1,3,solid 21 | (#t #f) circle,yellow,2,3,solid triangle,yellow,1,3,solid 22 | (#t #f #t) triangle,yellow,3,3,solid rectangle,green,2,3,solid triangle,blue,3,3,solid 23 | (#t) triangle,blue,2,3,solid 24 | (#t) triangle,green,3,3,solid 25 | (#t #t #t #t #t) triangle,yellow,3,3,solid triangle,blue,3,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid 26 | (#t) rectangle,blue,1,3,solid 27 | (#t #t #t) circle,blue,1,3,solid circle,green,2,3,solid circle,blue,2,3,solid 28 | (#t #t #t) circle,green,1,3,solid circle,yellow,3,3,solid rectangle,blue,2,3,solid 29 | (#t #t #t) triangle,green,3,3,solid rectangle,green,3,3,solid triangle,blue,1,3,solid 30 | (#t) circle,yellow,1,3,solid 31 | (#t) circle,yellow,3,3,solid 32 | (#f #t #t #f #t) circle,yellow,1,3,solid triangle,yellow,3,3,solid rectangle,blue,3,3,solid circle,green,2,3,solid circle,blue,1,3,solid 33 | (#t) triangle,yellow,2,3,solid 34 | (#t #t #t #f) circle,yellow,3,3,solid circle,blue,3,3,solid triangle,green,3,3,solid rectangle,yellow,2,3,solid 35 | (#t #t) rectangle,blue,1,3,solid triangle,blue,3,3,solid 36 | (#t #t #f) rectangle,yellow,1,3,solid rectangle,yellow,3,3,solid triangle,yellow,2,3,solid 37 | (#t #t #t #f #f) circle,blue,1,3,solid circle,green,1,3,solid circle,yellow,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,1,3,solid 38 | (#t #t) circle,green,3,3,solid circle,yellow,1,3,solid 39 | (#t #t) rectangle,green,2,3,solid rectangle,blue,1,3,solid 40 | (#f #t #t #t) rectangle,yellow,2,3,solid triangle,blue,2,3,solid circle,blue,2,3,solid circle,green,3,3,solid 41 | (#t) circle,green,1,3,solid 42 | (#t) rectangle,yellow,2,3,solid 43 | (#t #t #t) rectangle,green,1,3,solid rectangle,green,2,3,solid circle,yellow,2,3,solid 44 | (#t #t) circle,green,2,3,solid circle,green,1,3,solid 45 | (#t #t) circle,yellow,1,3,solid circle,blue,3,3,solid 46 | (#t #t #t #t) circle,green,3,3,solid triangle,yellow,2,3,solid circle,blue,1,3,solid triangle,green,3,3,solid 47 | (#t) rectangle,yellow,3,3,solid 48 | (#t) triangle,green,1,3,solid 49 | (#f #t) triangle,green,2,3,solid circle,blue,3,3,solid 50 | (#t #t #t #t #t) triangle,yellow,1,3,solid circle,yellow,2,3,solid circle,blue,3,3,solid triangle,blue,3,3,solid rectangle,green,3,3,solid 51 | (#t) triangle,green,1,3,solid 52 | (#t #t #f) triangle,blue,2,3,solid rectangle,green,3,3,solid triangle,yellow,1,3,solid 53 | (#t #t #f #t #t) triangle,blue,3,3,solid rectangle,green,2,3,solid circle,green,2,3,solid triangle,green,1,3,solid rectangle,yellow,3,3,solid 54 | (#t) circle,yellow,3,3,solid 55 | (#t #t #t #t) circle,yellow,2,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid triangle,blue,2,3,solid 56 | (#t #t #t #t #t) circle,yellow,2,3,solid rectangle,yellow,2,3,solid circle,green,2,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid 57 | (#t #t #f #f #t) circle,yellow,3,3,solid circle,blue,2,3,solid triangle,green,1,3,solid rectangle,yellow,2,3,solid rectangle,blue,1,3,solid 58 | (#f #t #t) circle,green,2,3,solid triangle,green,3,3,solid triangle,blue,3,3,solid 59 | (#t #t) circle,green,2,3,solid circle,green,1,3,solid 60 | (#t) triangle,blue,2,3,solid 61 | (#t) circle,green,2,3,solid 62 | (#t) triangle,blue,2,3,solid 63 | (#t #t #t #t) rectangle,blue,1,3,solid triangle,blue,1,3,solid circle,blue,3,3,solid rectangle,blue,2,3,solid 64 | (#t #t #t) circle,blue,2,3,solid triangle,blue,2,3,solid circle,blue,3,3,solid 65 | (#t) rectangle,yellow,2,3,solid 66 | (#t #t) triangle,yellow,2,3,solid circle,blue,2,3,solid 67 | (#t #t #t) triangle,green,2,3,solid rectangle,blue,2,3,solid triangle,green,3,3,solid 68 | (#t #t) triangle,yellow,1,3,solid triangle,blue,3,3,solid 69 | (#t #t) circle,green,1,3,solid triangle,green,1,3,solid 70 | (#t) rectangle,green,2,3,solid 71 | (#t #f #f #f) rectangle,green,3,3,solid triangle,green,1,3,solid triangle,yellow,2,3,solid circle,yellow,1,3,solid 72 | (#t) rectangle,blue,1,3,solid 73 | (#t) triangle,yellow,1,3,solid 74 | (#t #t) circle,blue,1,3,solid triangle,blue,1,3,solid 75 | (#f #f #t #t #t) circle,green,2,3,solid rectangle,green,1,3,solid rectangle,blue,1,3,solid triangle,yellow,1,3,solid triangle,blue,3,3,solid 76 | (#t #t #t #t #t) circle,blue,3,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid 77 | (#t #t #t) circle,green,3,3,solid circle,yellow,1,3,solid circle,blue,1,3,solid 78 | (#t) triangle,blue,1,3,solid 79 | (#t #f #t) rectangle,green,1,3,solid triangle,yellow,1,3,solid rectangle,blue,3,3,solid 80 | (#t #t) rectangle,yellow,3,3,solid triangle,blue,2,3,solid 81 | (#t #t #t #t #t) triangle,green,3,3,solid circle,green,2,3,solid circle,blue,3,3,solid circle,yellow,2,3,solid triangle,blue,1,3,solid 82 | (#t #t #f) triangle,blue,3,3,solid triangle,yellow,2,3,solid rectangle,yellow,2,3,solid 83 | (#t #t #f #t) rectangle,blue,1,3,solid triangle,green,3,3,solid circle,green,1,3,solid triangle,blue,1,3,solid 84 | (#t #t) circle,blue,3,3,solid rectangle,yellow,3,3,solid 85 | (#t) rectangle,yellow,2,3,solid 86 | (#t) triangle,blue,2,3,solid 87 | (#t #t #t) rectangle,blue,1,3,solid circle,blue,1,3,solid triangle,yellow,1,3,solid 88 | (#t #t) rectangle,green,1,3,solid rectangle,green,3,3,solid 89 | (#f #f #t #t #f) circle,yellow,2,3,solid rectangle,yellow,1,3,solid rectangle,blue,2,3,solid triangle,green,3,3,solid circle,yellow,1,3,solid 90 | (#t #t #f #t #t) rectangle,green,2,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid rectangle,green,1,3,solid triangle,blue,2,3,solid 91 | (#t) rectangle,yellow,1,3,solid 92 | (#t) rectangle,green,1,3,solid 93 | (#t #f #t #t) rectangle,blue,2,3,solid circle,yellow,1,3,solid rectangle,blue,1,3,solid rectangle,green,2,3,solid 94 | (#f #t #t #f #t) rectangle,yellow,1,3,solid circle,yellow,2,3,solid circle,green,2,3,solid rectangle,green,2,3,solid circle,blue,3,3,solid 95 | (#f #t) triangle,yellow,1,3,solid rectangle,blue,2,3,solid 96 | (#t) rectangle,yellow,3,3,solid 97 | (#f #t #t) triangle,yellow,1,3,solid circle,blue,1,3,solid circle,green,3,3,solid 98 | (#t #f #t #t #f) triangle,green,2,3,solid circle,yellow,2,3,solid circle,blue,1,3,solid triangle,yellow,3,3,solid circle,green,1,3,solid 99 | (#t) circle,green,2,3,solid 100 | (#f #t #f #t #t) triangle,yellow,2,3,solid triangle,blue,1,3,solid triangle,yellow,1,3,solid rectangle,green,1,3,solid rectangle,green,3,3,solid 101 | (#t #t #t #t #t) rectangle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,yellow,3,3,solid circle,blue,3,3,solid circle,blue,1,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg59__LIST_L1.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (exists* (lambda (y) (and* (not* (eqv-SFL-object* x y)) (eqv* (shape* y) (shape* x)))) S))) 2 | (#f #t #t #t #f) circle,green,3,3,solid rectangle,yellow,3,3,solid rectangle,green,1,3,solid rectangle,yellow,2,3,solid triangle,blue,2,3,solid 3 | (#t #t) rectangle,yellow,1,3,solid rectangle,green,3,3,solid 4 | (#f) rectangle,yellow,1,3,solid 5 | (#f #f) rectangle,green,3,3,solid circle,blue,3,3,solid 6 | (#t #f #f #t) circle,blue,2,3,solid rectangle,blue,3,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid 7 | (#f #f) triangle,green,1,3,solid rectangle,green,1,3,solid 8 | (#t #f #t #f #t) circle,blue,1,3,solid rectangle,blue,2,3,solid circle,blue,3,3,solid triangle,yellow,1,3,solid circle,yellow,1,3,solid 9 | (#t #t #f) rectangle,yellow,1,3,solid rectangle,blue,2,3,solid triangle,blue,3,3,solid 10 | (#f #f) circle,yellow,3,3,solid triangle,blue,2,3,solid 11 | (#t #t #t #t #t) triangle,blue,1,3,solid triangle,yellow,3,3,solid circle,blue,3,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid 12 | (#t #t #t #t #t) circle,blue,1,3,solid circle,green,1,3,solid circle,blue,2,3,solid circle,green,2,3,solid circle,green,3,3,solid 13 | (#t #t #t #t #f) circle,green,3,3,solid triangle,blue,3,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid rectangle,blue,2,3,solid 14 | (#f) circle,yellow,1,3,solid 15 | (#f #t #t #f) triangle,yellow,2,3,solid rectangle,yellow,1,3,solid rectangle,green,2,3,solid circle,blue,2,3,solid 16 | (#t #t #f) rectangle,green,3,3,solid rectangle,yellow,2,3,solid circle,yellow,3,3,solid 17 | (#t #t #f) rectangle,blue,2,3,solid rectangle,yellow,2,3,solid circle,blue,2,3,solid 18 | (#f #t #t #t #t) rectangle,blue,1,3,solid circle,yellow,2,3,solid triangle,blue,1,3,solid circle,green,2,3,solid triangle,green,1,3,solid 19 | (#f #f) circle,blue,1,3,solid rectangle,blue,3,3,solid 20 | (#t #f #t) rectangle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,blue,2,3,solid 21 | (#t #t #t #t #f) triangle,green,3,3,solid triangle,yellow,3,3,solid triangle,blue,1,3,solid triangle,green,2,3,solid circle,green,1,3,solid 22 | (#t #t #t #f #t) triangle,blue,2,3,solid triangle,yellow,1,3,solid circle,green,3,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid 23 | (#t #t #f) triangle,blue,1,3,solid triangle,yellow,1,3,solid circle,green,1,3,solid 24 | (#t #f #t) rectangle,blue,3,3,solid circle,green,1,3,solid rectangle,green,2,3,solid 25 | (#t #t #t) circle,green,2,3,solid circle,yellow,1,3,solid circle,green,1,3,solid 26 | (#f) circle,green,1,3,solid 27 | (#f) circle,yellow,3,3,solid 28 | (#t #t #f #t #t) rectangle,blue,2,3,solid triangle,blue,1,3,solid circle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,blue,1,3,solid 29 | (#f #f) rectangle,yellow,3,3,solid circle,green,1,3,solid 30 | (#f #f #f) circle,green,3,3,solid triangle,yellow,3,3,solid rectangle,yellow,1,3,solid 31 | (#f) circle,green,3,3,solid 32 | (#f) triangle,blue,1,3,solid 33 | (#f #f) circle,blue,1,3,solid triangle,green,1,3,solid 34 | (#t #f #t) circle,yellow,2,3,solid rectangle,yellow,1,3,solid circle,blue,1,3,solid 35 | (#f) triangle,yellow,1,3,solid 36 | (#t #t #t #t) rectangle,green,3,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid 37 | (#f #f #f) triangle,blue,3,3,solid rectangle,green,1,3,solid circle,green,1,3,solid 38 | (#t #t #t #f) circle,blue,3,3,solid circle,blue,1,3,solid circle,green,2,3,solid rectangle,green,1,3,solid 39 | (#f #f) circle,yellow,3,3,solid rectangle,yellow,2,3,solid 40 | (#f) circle,blue,2,3,solid 41 | (#t #f #t) triangle,yellow,2,3,solid rectangle,green,1,3,solid triangle,blue,1,3,solid 42 | (#t #f #t) circle,green,2,3,solid triangle,yellow,2,3,solid circle,yellow,1,3,solid 43 | (#f #t #f #t) triangle,green,3,3,solid rectangle,yellow,2,3,solid circle,blue,2,3,solid rectangle,green,2,3,solid 44 | (#t #t #t) circle,green,3,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid 45 | (#f) rectangle,yellow,1,3,solid 46 | (#f #f) triangle,green,1,3,solid circle,green,3,3,solid 47 | (#t #f #t) rectangle,yellow,2,3,solid circle,green,3,3,solid rectangle,blue,1,3,solid 48 | (#f #f #f) circle,green,3,3,solid rectangle,blue,1,3,solid triangle,yellow,1,3,solid 49 | (#f #f) triangle,blue,1,3,solid rectangle,blue,2,3,solid 50 | (#f) rectangle,blue,3,3,solid 51 | (#t #t #t #f #t) triangle,green,1,3,solid rectangle,yellow,3,3,solid triangle,blue,1,3,solid circle,yellow,1,3,solid rectangle,green,3,3,solid 52 | (#t #t #t #t) triangle,blue,1,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid rectangle,green,1,3,solid 53 | (#f #f #f) circle,yellow,2,3,solid triangle,green,2,3,solid rectangle,blue,2,3,solid 54 | (#f) circle,blue,1,3,solid 55 | (#f #t #t #t #t) triangle,yellow,2,3,solid rectangle,yellow,3,3,solid rectangle,blue,2,3,solid circle,yellow,2,3,solid circle,green,1,3,solid 56 | (#f) triangle,blue,3,3,solid 57 | (#f #f) rectangle,blue,1,3,solid triangle,green,1,3,solid 58 | (#t #t) triangle,yellow,2,3,solid triangle,blue,2,3,solid 59 | (#t #f #t) rectangle,blue,3,3,solid circle,green,2,3,solid rectangle,blue,2,3,solid 60 | (#t #t #t) triangle,blue,3,3,solid triangle,blue,1,3,solid triangle,yellow,2,3,solid 61 | (#f) circle,blue,3,3,solid 62 | (#f #f) rectangle,green,1,3,solid triangle,blue,3,3,solid 63 | (#t #t #t #t #t) triangle,green,1,3,solid triangle,yellow,2,3,solid triangle,blue,3,3,solid circle,yellow,2,3,solid circle,blue,1,3,solid 64 | (#t #t #f) circle,yellow,1,3,solid circle,blue,1,3,solid triangle,blue,1,3,solid 65 | (#f) circle,yellow,1,3,solid 66 | (#f) circle,blue,3,3,solid 67 | (#f) triangle,blue,3,3,solid 68 | (#t #t #f) triangle,yellow,2,3,solid triangle,blue,1,3,solid rectangle,green,3,3,solid 69 | (#f #f) circle,green,3,3,solid triangle,green,3,3,solid 70 | (#t #t #f #t #t) circle,green,1,3,solid triangle,yellow,1,3,solid rectangle,blue,2,3,solid circle,blue,2,3,solid triangle,blue,3,3,solid 71 | (#f) rectangle,blue,2,3,solid 72 | (#t #t #t) triangle,blue,2,3,solid triangle,green,2,3,solid triangle,green,3,3,solid 73 | (#f #t #t #f #t) rectangle,yellow,2,3,solid circle,yellow,2,3,solid circle,blue,3,3,solid triangle,green,2,3,solid circle,blue,2,3,solid 74 | (#f #f) rectangle,green,1,3,solid triangle,green,1,3,solid 75 | (#f) triangle,blue,1,3,solid 76 | (#t #f #t #t #t) rectangle,green,1,3,solid circle,yellow,1,3,solid rectangle,yellow,3,3,solid rectangle,blue,1,3,solid rectangle,yellow,2,3,solid 77 | (#f) triangle,yellow,3,3,solid 78 | (#f) rectangle,green,3,3,solid 79 | (#f #t #t #t #f) triangle,yellow,2,3,solid circle,yellow,2,3,solid circle,yellow,1,3,solid circle,green,2,3,solid rectangle,blue,2,3,solid 80 | (#f) circle,blue,2,3,solid 81 | (#t #t) triangle,green,2,3,solid triangle,blue,1,3,solid 82 | (#f) triangle,yellow,2,3,solid 83 | (#f) triangle,yellow,2,3,solid 84 | (#f #f) triangle,green,1,3,solid rectangle,yellow,2,3,solid 85 | (#t #t #f) rectangle,green,2,3,solid rectangle,blue,1,3,solid circle,blue,1,3,solid 86 | (#t #f #t) rectangle,blue,2,3,solid triangle,yellow,2,3,solid rectangle,blue,1,3,solid 87 | (#f #f #f) rectangle,yellow,2,3,solid triangle,yellow,1,3,solid circle,blue,3,3,solid 88 | (#t #f #t) triangle,blue,2,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid 89 | (#t #t #t #t #f) triangle,yellow,3,3,solid triangle,blue,3,3,solid triangle,green,1,3,solid triangle,green,3,3,solid rectangle,yellow,2,3,solid 90 | (#t #t #f #t) circle,yellow,2,3,solid circle,green,1,3,solid rectangle,yellow,1,3,solid circle,green,2,3,solid 91 | (#f) triangle,green,1,3,solid 92 | (#f) rectangle,blue,1,3,solid 93 | (#f #f) rectangle,green,3,3,solid triangle,green,3,3,solid 94 | (#t #t #f) circle,green,1,3,solid circle,blue,3,3,solid rectangle,green,1,3,solid 95 | (#t #f #f #t) circle,blue,1,3,solid triangle,green,1,3,solid rectangle,green,1,3,solid circle,green,2,3,solid 96 | (#t #t #t #t #t) triangle,blue,3,3,solid circle,blue,2,3,solid circle,blue,1,3,solid triangle,green,1,3,solid circle,green,3,3,solid 97 | (#t #t #t #t) circle,blue,1,3,solid circle,green,2,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid 98 | (#f #t #t) circle,green,2,3,solid triangle,green,2,3,solid triangle,blue,3,3,solid 99 | (#f #f) triangle,yellow,3,3,solid circle,yellow,1,3,solid 100 | (#f) rectangle,blue,2,3,solid 101 | (#f) circle,green,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg05__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (not* (eqv* (shape* x) 'circle))) 2 | (#f) circle,green,1,3,solid 3 | (#t) triangle,yellow,1,3,solid 4 | (#t) triangle,blue,3,3,solid 5 | (#f) circle,blue,1,3,solid 6 | (#f) circle,yellow,3,3,solid 7 | (#f #f) circle,yellow,1,3,solid circle,blue,2,3,solid 8 | (#f) circle,green,3,3,solid 9 | (#t #t #t #t #t) triangle,yellow,1,3,solid rectangle,yellow,1,3,solid triangle,blue,3,3,solid rectangle,green,2,3,solid rectangle,blue,3,3,solid 10 | (#t #f #t) triangle,yellow,3,3,solid circle,green,1,3,solid rectangle,blue,2,3,solid 11 | (#t #f #t #t) rectangle,green,2,3,solid circle,blue,2,3,solid triangle,green,1,3,solid triangle,green,3,3,solid 12 | (#f) circle,green,3,3,solid 13 | (#f #t #f #t) circle,blue,2,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid rectangle,blue,1,3,solid 14 | (#t) triangle,blue,2,3,solid 15 | (#t) triangle,green,2,3,solid 16 | (#f #t #t #t) circle,yellow,1,3,solid rectangle,green,1,3,solid rectangle,green,2,3,solid triangle,blue,2,3,solid 17 | (#f #t #f #t) circle,blue,3,3,solid triangle,blue,3,3,solid circle,yellow,1,3,solid triangle,green,2,3,solid 18 | (#f #f #t #t) circle,yellow,1,3,solid circle,yellow,3,3,solid triangle,blue,1,3,solid triangle,green,3,3,solid 19 | (#t #f #t) rectangle,yellow,3,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid 20 | (#f #f #t) circle,blue,1,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid 21 | (#t) triangle,yellow,3,3,solid 22 | (#t #f #f) rectangle,green,1,3,solid circle,yellow,2,3,solid circle,green,2,3,solid 23 | (#f #f #t #t) circle,green,3,3,solid circle,yellow,2,3,solid rectangle,blue,2,3,solid triangle,blue,1,3,solid 24 | (#t #t) triangle,blue,3,3,solid triangle,blue,1,3,solid 25 | (#f #t #t) circle,green,1,3,solid rectangle,yellow,2,3,solid rectangle,green,1,3,solid 26 | (#t #t #t) rectangle,blue,3,3,solid rectangle,yellow,2,3,solid rectangle,green,2,3,solid 27 | (#t #t) triangle,yellow,1,3,solid triangle,blue,1,3,solid 28 | (#t) triangle,green,2,3,solid 29 | (#t #t #t #f #t) triangle,green,3,3,solid triangle,yellow,3,3,solid rectangle,yellow,1,3,solid circle,green,1,3,solid triangle,green,1,3,solid 30 | (#t #t #t #t) triangle,green,2,3,solid triangle,blue,1,3,solid rectangle,yellow,3,3,solid triangle,blue,3,3,solid 31 | (#t #f) triangle,yellow,2,3,solid circle,blue,2,3,solid 32 | (#f) circle,yellow,3,3,solid 33 | (#t #t #f #f) triangle,blue,2,3,solid triangle,yellow,2,3,solid circle,blue,1,3,solid circle,blue,3,3,solid 34 | (#t #f) triangle,blue,2,3,solid circle,blue,1,3,solid 35 | (#f #t) circle,green,2,3,solid triangle,green,2,3,solid 36 | (#t #t #f #t) triangle,yellow,2,3,solid triangle,yellow,3,3,solid circle,blue,2,3,solid triangle,blue,2,3,solid 37 | (#t #t #t #t #t) triangle,yellow,2,3,solid rectangle,blue,1,3,solid rectangle,green,2,3,solid triangle,green,3,3,solid rectangle,yellow,3,3,solid 38 | (#f) circle,yellow,3,3,solid 39 | (#f #t #f #f) circle,blue,3,3,solid triangle,green,2,3,solid circle,yellow,3,3,solid circle,yellow,2,3,solid 40 | (#t #t #t #f) rectangle,green,2,3,solid triangle,blue,1,3,solid triangle,blue,2,3,solid circle,green,2,3,solid 41 | (#t) rectangle,yellow,2,3,solid 42 | (#t #t) rectangle,yellow,2,3,solid triangle,blue,1,3,solid 43 | (#t #t #t) triangle,blue,1,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid 44 | (#t #t #t #f #f) rectangle,yellow,1,3,solid rectangle,blue,1,3,solid triangle,yellow,2,3,solid circle,yellow,3,3,solid circle,yellow,1,3,solid 45 | (#t #t #t) rectangle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,2,3,solid 46 | (#t #f) rectangle,green,2,3,solid circle,green,2,3,solid 47 | (#t #f) triangle,green,3,3,solid circle,yellow,3,3,solid 48 | (#f #t #t) circle,yellow,1,3,solid rectangle,green,2,3,solid triangle,blue,2,3,solid 49 | (#f #t #f) circle,blue,3,3,solid triangle,green,2,3,solid circle,green,3,3,solid 50 | (#t #t #t #t) rectangle,yellow,2,3,solid triangle,yellow,3,3,solid triangle,green,2,3,solid rectangle,green,1,3,solid 51 | (#t #t #t #f #f) rectangle,blue,3,3,solid triangle,yellow,3,3,solid triangle,blue,2,3,solid circle,blue,3,3,solid circle,green,1,3,solid 52 | (#t #f #t) triangle,yellow,2,3,solid circle,green,3,3,solid triangle,green,2,3,solid 53 | (#t #t) triangle,blue,2,3,solid rectangle,blue,1,3,solid 54 | (#t) rectangle,green,2,3,solid 55 | (#f #t #f #t #f) circle,yellow,2,3,solid triangle,blue,2,3,solid circle,green,2,3,solid triangle,yellow,2,3,solid circle,blue,2,3,solid 56 | (#f) circle,yellow,1,3,solid 57 | (#t) rectangle,yellow,2,3,solid 58 | (#t #t #t) triangle,yellow,1,3,solid rectangle,yellow,2,3,solid triangle,blue,2,3,solid 59 | (#f #f) circle,green,2,3,solid circle,blue,3,3,solid 60 | (#t) rectangle,yellow,3,3,solid 61 | (#f) circle,blue,1,3,solid 62 | (#f #t) circle,yellow,2,3,solid triangle,blue,3,3,solid 63 | (#t #f) rectangle,blue,1,3,solid circle,green,1,3,solid 64 | (#t #t #t #f #t) triangle,green,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid circle,blue,2,3,solid triangle,green,2,3,solid 65 | (#f #t #t #t #t) circle,green,1,3,solid triangle,yellow,1,3,solid rectangle,blue,3,3,solid rectangle,blue,1,3,solid rectangle,green,1,3,solid 66 | (#t) triangle,blue,2,3,solid 67 | (#t #t #f #t #t) triangle,blue,3,3,solid rectangle,blue,2,3,solid circle,green,2,3,solid rectangle,blue,3,3,solid triangle,yellow,3,3,solid 68 | (#t) triangle,yellow,1,3,solid 69 | (#f) circle,yellow,1,3,solid 70 | (#t #t #f #f) rectangle,blue,2,3,solid rectangle,yellow,1,3,solid circle,blue,1,3,solid circle,blue,3,3,solid 71 | (#t #t #t #f #f) rectangle,yellow,3,3,solid triangle,blue,2,3,solid rectangle,green,1,3,solid circle,blue,3,3,solid circle,yellow,2,3,solid 72 | (#t) triangle,green,3,3,solid 73 | (#t #t #f #t #f) triangle,blue,2,3,solid rectangle,yellow,1,3,solid circle,green,2,3,solid triangle,green,1,3,solid circle,yellow,1,3,solid 74 | (#t #f #f #t) rectangle,green,3,3,solid circle,yellow,3,3,solid circle,green,3,3,solid triangle,blue,3,3,solid 75 | (#t) triangle,blue,2,3,solid 76 | (#t #t #f) rectangle,yellow,3,3,solid triangle,green,1,3,solid circle,green,2,3,solid 77 | (#t #t) triangle,green,1,3,solid triangle,blue,1,3,solid 78 | (#t #f) triangle,blue,1,3,solid circle,blue,1,3,solid 79 | (#f #f #f #t #t) circle,blue,3,3,solid circle,green,3,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,yellow,3,3,solid 80 | (#t #t #t) triangle,yellow,1,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid 81 | (#t #t #t #f #t) rectangle,green,1,3,solid rectangle,yellow,1,3,solid triangle,green,3,3,solid circle,green,3,3,solid rectangle,blue,1,3,solid 82 | (#t #t #t) triangle,yellow,1,3,solid rectangle,green,3,3,solid triangle,blue,2,3,solid 83 | (#f #t) circle,green,3,3,solid triangle,blue,2,3,solid 84 | (#f #t) circle,green,2,3,solid rectangle,blue,1,3,solid 85 | (#t #t #t #t) triangle,yellow,3,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid rectangle,green,1,3,solid 86 | (#f #t) circle,green,1,3,solid triangle,blue,1,3,solid 87 | (#f #t #t) circle,blue,1,3,solid rectangle,yellow,2,3,solid triangle,blue,2,3,solid 88 | (#t #t) triangle,yellow,2,3,solid rectangle,green,2,3,solid 89 | (#f #f #t #t) circle,blue,3,3,solid circle,yellow,3,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid 90 | (#t #f #t #f #t) triangle,blue,1,3,solid circle,blue,3,3,solid triangle,yellow,3,3,solid circle,blue,2,3,solid rectangle,yellow,2,3,solid 91 | (#t) rectangle,blue,1,3,solid 92 | (#t #f #t #t) triangle,green,1,3,solid circle,green,3,3,solid triangle,yellow,1,3,solid triangle,green,2,3,solid 93 | (#f) circle,green,1,3,solid 94 | (#t #t #t) rectangle,yellow,3,3,solid rectangle,blue,2,3,solid rectangle,blue,3,3,solid 95 | (#t #t #f) triangle,blue,3,3,solid rectangle,green,1,3,solid circle,blue,3,3,solid 96 | (#t) triangle,green,1,3,solid 97 | (#f #t #t #t #t) circle,green,1,3,solid triangle,yellow,2,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid rectangle,green,1,3,solid 98 | (#f #f) circle,yellow,3,3,solid circle,yellow,2,3,solid 99 | (#t #t) rectangle,green,2,3,solid triangle,yellow,3,3,solid 100 | (#t #t #t #t #t) rectangle,yellow,3,3,solid triangle,green,1,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid triangle,green,3,3,solid 101 | (#t #t #t) rectangle,yellow,2,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg20__LIST_L1.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (eqv* (size* x) 1)) 2 | (#f #t #f) rectangle,yellow,3,3,solid rectangle,green,1,3,solid circle,blue,2,3,solid 3 | (#t #f #f #t) triangle,green,1,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid triangle,yellow,1,3,solid 4 | (#t #f) rectangle,green,1,3,solid rectangle,green,2,3,solid 5 | (#f) rectangle,yellow,2,3,solid 6 | (#t #f #t #t #f) rectangle,green,1,3,solid triangle,yellow,2,3,solid circle,blue,1,3,solid circle,green,1,3,solid circle,blue,2,3,solid 7 | (#t #t) rectangle,green,1,3,solid circle,blue,1,3,solid 8 | (#f #f #f #t) triangle,green,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,2,3,solid rectangle,yellow,1,3,solid 9 | (#f #f #f #f) rectangle,green,2,3,solid rectangle,yellow,2,3,solid circle,green,3,3,solid circle,yellow,2,3,solid 10 | (#f #t #t) circle,blue,3,3,solid triangle,green,1,3,solid circle,blue,1,3,solid 11 | (#f #f #f #f) circle,yellow,3,3,solid circle,blue,2,3,solid rectangle,yellow,3,3,solid circle,green,2,3,solid 12 | (#f #f #t #f #f) triangle,green,2,3,solid rectangle,blue,2,3,solid circle,blue,1,3,solid rectangle,yellow,2,3,solid circle,yellow,3,3,solid 13 | (#f) triangle,blue,2,3,solid 14 | (#t #f #f #t #f) circle,green,1,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid circle,blue,1,3,solid triangle,green,3,3,solid 15 | (#f) rectangle,green,3,3,solid 16 | (#f) circle,yellow,2,3,solid 17 | (#f #t) rectangle,green,3,3,solid triangle,yellow,1,3,solid 18 | (#f #t) circle,blue,2,3,solid rectangle,green,1,3,solid 19 | (#f #f #t #t #f) circle,yellow,3,3,solid triangle,blue,2,3,solid rectangle,green,1,3,solid circle,yellow,1,3,solid circle,green,2,3,solid 20 | (#t #t) triangle,green,1,3,solid circle,yellow,1,3,solid 21 | (#t) triangle,blue,1,3,solid 22 | (#f #f) triangle,green,2,3,solid triangle,yellow,2,3,solid 23 | (#f) circle,green,2,3,solid 24 | (#f #t #f) triangle,green,3,3,solid triangle,yellow,1,3,solid circle,blue,3,3,solid 25 | (#f #f #t) triangle,yellow,2,3,solid triangle,green,3,3,solid triangle,blue,1,3,solid 26 | (#f #t #t #f) circle,blue,3,3,solid circle,green,1,3,solid circle,blue,1,3,solid circle,yellow,2,3,solid 27 | (#t #f) rectangle,blue,1,3,solid triangle,green,2,3,solid 28 | (#t #f #f) rectangle,blue,1,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid 29 | (#f #t #f #t #t) rectangle,yellow,3,3,solid circle,blue,1,3,solid triangle,green,2,3,solid rectangle,blue,1,3,solid rectangle,green,1,3,solid 30 | (#f #t #f #f) circle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,green,3,3,solid circle,yellow,2,3,solid 31 | (#f #t #f #f #f) circle,blue,3,3,solid circle,yellow,1,3,solid circle,green,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,3,3,solid 32 | (#f #f) rectangle,yellow,3,3,solid triangle,yellow,3,3,solid 33 | (#t #t #t #f) triangle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid 34 | (#f #t #t) rectangle,green,3,3,solid circle,yellow,1,3,solid circle,green,1,3,solid 35 | (#f #f #f #f) rectangle,yellow,3,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid circle,green,3,3,solid 36 | (#f #f) triangle,blue,3,3,solid rectangle,green,2,3,solid 37 | (#f #f #f #f #t) rectangle,blue,2,3,solid circle,yellow,3,3,solid circle,green,2,3,solid rectangle,green,3,3,solid rectangle,yellow,1,3,solid 38 | (#f) rectangle,yellow,3,3,solid 39 | (#f #t #f) circle,green,3,3,solid rectangle,blue,1,3,solid triangle,yellow,2,3,solid 40 | (#t #f #t #f) circle,yellow,1,3,solid circle,blue,2,3,solid triangle,blue,1,3,solid rectangle,green,2,3,solid 41 | (#t #f #f #t #t) triangle,yellow,1,3,solid triangle,green,3,3,solid circle,green,3,3,solid circle,green,1,3,solid rectangle,yellow,1,3,solid 42 | (#f #t #f #f) rectangle,blue,2,3,solid rectangle,blue,1,3,solid circle,green,3,3,solid rectangle,yellow,2,3,solid 43 | (#t #t #f) triangle,green,1,3,solid triangle,blue,1,3,solid triangle,blue,3,3,solid 44 | (#f) triangle,green,2,3,solid 45 | (#f #f) rectangle,green,3,3,solid rectangle,green,2,3,solid 46 | (#f #f #t #f #f) rectangle,blue,3,3,solid circle,yellow,3,3,solid circle,yellow,1,3,solid circle,yellow,2,3,solid rectangle,green,3,3,solid 47 | (#f #f) circle,green,2,3,solid circle,green,3,3,solid 48 | (#f #t #f #t #f) triangle,yellow,2,3,solid rectangle,green,1,3,solid rectangle,green,3,3,solid triangle,green,1,3,solid circle,green,3,3,solid 49 | (#f #t #f) circle,yellow,3,3,solid triangle,green,1,3,solid triangle,yellow,2,3,solid 50 | (#f #f #f #t) triangle,blue,2,3,solid rectangle,blue,2,3,solid triangle,blue,3,3,solid rectangle,green,1,3,solid 51 | (#t #f #f) triangle,yellow,1,3,solid triangle,yellow,2,3,solid circle,blue,2,3,solid 52 | (#t #t #f) triangle,green,1,3,solid circle,yellow,1,3,solid rectangle,yellow,3,3,solid 53 | (#f) circle,yellow,3,3,solid 54 | (#f #f #t) rectangle,blue,2,3,solid circle,yellow,2,3,solid rectangle,green,1,3,solid 55 | (#f #t #t #f) rectangle,green,2,3,solid triangle,blue,1,3,solid circle,green,1,3,solid circle,green,2,3,solid 56 | (#f) triangle,blue,2,3,solid 57 | (#f) rectangle,yellow,2,3,solid 58 | (#f #f) circle,yellow,2,3,solid rectangle,yellow,2,3,solid 59 | (#f) circle,green,3,3,solid 60 | (#f #f #f #t #f) triangle,blue,2,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid circle,yellow,1,3,solid rectangle,green,2,3,solid 61 | (#f #t) rectangle,blue,2,3,solid triangle,blue,1,3,solid 62 | (#f) rectangle,green,3,3,solid 63 | (#t) circle,blue,1,3,solid 64 | (#f) circle,yellow,3,3,solid 65 | (#t) circle,green,1,3,solid 66 | (#f #f #t) circle,green,3,3,solid triangle,yellow,2,3,solid triangle,green,1,3,solid 67 | (#f) rectangle,green,3,3,solid 68 | (#f #t) triangle,blue,3,3,solid triangle,blue,1,3,solid 69 | (#f #t #f #f #f) triangle,yellow,2,3,solid triangle,green,1,3,solid circle,blue,2,3,solid triangle,green,2,3,solid rectangle,green,2,3,solid 70 | (#f #f #f) triangle,green,2,3,solid triangle,yellow,2,3,solid rectangle,blue,3,3,solid 71 | (#f #f) rectangle,blue,2,3,solid rectangle,yellow,2,3,solid 72 | (#f #f #f #f #f) triangle,blue,2,3,solid circle,blue,2,3,solid rectangle,green,3,3,solid triangle,green,2,3,solid triangle,green,3,3,solid 73 | (#t #f #t) circle,blue,1,3,solid rectangle,blue,2,3,solid triangle,green,1,3,solid 74 | (#f #t #t #f) triangle,yellow,2,3,solid rectangle,blue,1,3,solid circle,blue,1,3,solid circle,green,2,3,solid 75 | (#f) rectangle,green,3,3,solid 76 | (#t) triangle,yellow,1,3,solid 77 | (#t #f #f #t #f) rectangle,yellow,1,3,solid circle,blue,3,3,solid rectangle,blue,2,3,solid rectangle,blue,1,3,solid triangle,green,2,3,solid 78 | (#f #t) circle,yellow,2,3,solid circle,yellow,1,3,solid 79 | (#f #f) rectangle,yellow,3,3,solid triangle,blue,2,3,solid 80 | (#f #f #f #t) rectangle,yellow,3,3,solid circle,blue,2,3,solid triangle,green,3,3,solid triangle,blue,1,3,solid 81 | (#f #t) rectangle,blue,2,3,solid triangle,yellow,1,3,solid 82 | (#t) circle,yellow,1,3,solid 83 | (#t #t #f #t) rectangle,green,1,3,solid rectangle,yellow,1,3,solid rectangle,blue,2,3,solid triangle,yellow,1,3,solid 84 | (#f) triangle,green,3,3,solid 85 | (#t #t #f #f #f) triangle,yellow,1,3,solid rectangle,blue,1,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid triangle,blue,3,3,solid 86 | (#f #t) rectangle,blue,3,3,solid triangle,blue,1,3,solid 87 | (#f #f #t) circle,green,3,3,solid circle,yellow,3,3,solid circle,green,1,3,solid 88 | (#f #f) circle,yellow,3,3,solid triangle,blue,3,3,solid 89 | (#f #f #t #f) rectangle,yellow,3,3,solid triangle,blue,3,3,solid circle,yellow,1,3,solid circle,blue,3,3,solid 90 | (#f #f #f) triangle,green,3,3,solid circle,green,2,3,solid rectangle,blue,3,3,solid 91 | (#f #t) circle,yellow,2,3,solid circle,yellow,1,3,solid 92 | (#t #f) circle,yellow,1,3,solid triangle,green,3,3,solid 93 | (#f) triangle,blue,2,3,solid 94 | (#t) circle,green,1,3,solid 95 | (#f #t #f) circle,blue,2,3,solid circle,green,1,3,solid rectangle,green,3,3,solid 96 | (#f #f) circle,green,3,3,solid triangle,green,2,3,solid 97 | (#f) rectangle,yellow,2,3,solid 98 | (#f #t #f #f #f) triangle,yellow,3,3,solid circle,blue,1,3,solid rectangle,green,2,3,solid circle,yellow,2,3,solid circle,blue,2,3,solid 99 | (#t #f #f #f #f) rectangle,yellow,1,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid rectangle,blue,3,3,solid 100 | (#f) rectangle,blue,3,3,solid 101 | (#f) rectangle,blue,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg02__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (falsethunk)) 2 | (#f) rectangle,yellow,1,3,solid 3 | (#f #f) triangle,green,3,3,solid circle,yellow,1,3,solid 4 | (#f #f #f) triangle,green,2,3,solid circle,green,2,3,solid rectangle,blue,1,3,solid 5 | (#f #f #f #f #f) circle,green,2,3,solid circle,yellow,2,3,solid triangle,green,1,3,solid triangle,blue,2,3,solid rectangle,yellow,1,3,solid 6 | (#f #f #f #f) triangle,green,3,3,solid triangle,yellow,3,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid 7 | (#f #f #f #f) rectangle,yellow,1,3,solid triangle,yellow,2,3,solid triangle,green,3,3,solid rectangle,blue,1,3,solid 8 | (#f #f #f) triangle,green,1,3,solid rectangle,blue,3,3,solid triangle,yellow,1,3,solid 9 | (#f #f #f #f) circle,blue,3,3,solid circle,blue,1,3,solid triangle,green,1,3,solid rectangle,yellow,1,3,solid 10 | (#f #f) circle,yellow,2,3,solid rectangle,blue,3,3,solid 11 | (#f #f #f #f #f) circle,blue,3,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid circle,yellow,1,3,solid triangle,blue,1,3,solid 12 | (#f #f #f #f) triangle,green,2,3,solid circle,green,1,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid 13 | (#f #f) circle,yellow,3,3,solid rectangle,blue,2,3,solid 14 | (#f #f #f #f) rectangle,green,3,3,solid circle,yellow,3,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid 15 | (#f #f #f) triangle,blue,1,3,solid rectangle,blue,3,3,solid triangle,blue,3,3,solid 16 | (#f #f) rectangle,blue,3,3,solid circle,yellow,1,3,solid 17 | (#f #f #f #f) circle,blue,3,3,solid rectangle,yellow,2,3,solid triangle,green,2,3,solid triangle,green,3,3,solid 18 | (#f #f #f #f) triangle,blue,1,3,solid circle,blue,1,3,solid triangle,yellow,2,3,solid triangle,yellow,1,3,solid 19 | (#f #f) rectangle,blue,3,3,solid triangle,yellow,2,3,solid 20 | (#f #f) circle,yellow,2,3,solid rectangle,blue,3,3,solid 21 | (#f #f #f) triangle,blue,1,3,solid circle,green,3,3,solid rectangle,green,3,3,solid 22 | (#f #f #f #f #f) rectangle,green,2,3,solid circle,blue,3,3,solid triangle,blue,3,3,solid triangle,green,1,3,solid triangle,blue,2,3,solid 23 | (#f) rectangle,green,2,3,solid 24 | (#f) circle,blue,2,3,solid 25 | (#f #f #f #f #f) circle,blue,1,3,solid triangle,yellow,2,3,solid rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid rectangle,green,3,3,solid 26 | (#f #f #f #f) triangle,yellow,3,3,solid circle,yellow,1,3,solid circle,yellow,2,3,solid triangle,green,1,3,solid 27 | (#f) rectangle,blue,2,3,solid 28 | (#f) triangle,green,3,3,solid 29 | (#f #f #f #f #f) rectangle,yellow,3,3,solid circle,blue,2,3,solid circle,yellow,2,3,solid triangle,blue,2,3,solid circle,green,3,3,solid 30 | (#f #f #f) rectangle,yellow,3,3,solid triangle,blue,1,3,solid rectangle,yellow,1,3,solid 31 | (#f) triangle,green,2,3,solid 32 | (#f #f #f #f #f) circle,yellow,2,3,solid circle,green,3,3,solid rectangle,green,3,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid 33 | (#f) triangle,blue,2,3,solid 34 | (#f) triangle,green,1,3,solid 35 | (#f #f #f) triangle,blue,2,3,solid circle,blue,1,3,solid triangle,green,3,3,solid 36 | (#f) triangle,blue,2,3,solid 37 | (#f #f #f) triangle,yellow,3,3,solid circle,green,2,3,solid circle,yellow,3,3,solid 38 | (#f #f #f #f) circle,yellow,1,3,solid circle,green,2,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid 39 | (#f) triangle,green,1,3,solid 40 | (#f #f #f #f) rectangle,yellow,2,3,solid circle,blue,2,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid 41 | (#f #f #f) triangle,green,1,3,solid rectangle,blue,2,3,solid triangle,green,2,3,solid 42 | (#f) triangle,yellow,1,3,solid 43 | (#f #f #f) triangle,blue,3,3,solid triangle,yellow,3,3,solid rectangle,blue,2,3,solid 44 | (#f #f #f #f) triangle,green,1,3,solid triangle,green,3,3,solid rectangle,green,1,3,solid rectangle,blue,2,3,solid 45 | (#f #f #f #f) rectangle,blue,2,3,solid triangle,green,3,3,solid triangle,yellow,2,3,solid circle,blue,3,3,solid 46 | (#f) circle,yellow,3,3,solid 47 | (#f #f #f #f) circle,yellow,1,3,solid rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid 48 | (#f #f #f) circle,yellow,3,3,solid rectangle,green,1,3,solid rectangle,blue,1,3,solid 49 | (#f) triangle,yellow,1,3,solid 50 | (#f #f) rectangle,blue,1,3,solid rectangle,yellow,1,3,solid 51 | (#f) rectangle,blue,1,3,solid 52 | (#f #f #f #f) circle,blue,1,3,solid rectangle,yellow,2,3,solid circle,yellow,2,3,solid rectangle,blue,1,3,solid 53 | (#f #f #f) rectangle,blue,3,3,solid triangle,blue,3,3,solid circle,green,3,3,solid 54 | (#f) triangle,green,3,3,solid 55 | (#f #f #f) circle,blue,1,3,solid triangle,yellow,3,3,solid rectangle,blue,3,3,solid 56 | (#f #f #f #f) circle,yellow,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,3,3,solid circle,yellow,2,3,solid 57 | (#f #f) triangle,yellow,1,3,solid circle,blue,3,3,solid 58 | (#f) triangle,yellow,2,3,solid 59 | (#f #f #f #f) triangle,blue,1,3,solid circle,green,1,3,solid rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid 60 | (#f #f #f #f #f) circle,green,3,3,solid triangle,green,3,3,solid rectangle,yellow,3,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid 61 | (#f #f #f #f #f) rectangle,blue,1,3,solid rectangle,green,1,3,solid circle,blue,2,3,solid rectangle,blue,2,3,solid triangle,blue,2,3,solid 62 | (#f #f) rectangle,green,3,3,solid rectangle,yellow,3,3,solid 63 | (#f) circle,yellow,2,3,solid 64 | (#f #f #f) triangle,green,1,3,solid circle,yellow,1,3,solid rectangle,yellow,1,3,solid 65 | (#f #f #f) rectangle,blue,2,3,solid triangle,blue,2,3,solid circle,green,2,3,solid 66 | (#f #f) rectangle,blue,1,3,solid circle,yellow,2,3,solid 67 | (#f #f) rectangle,yellow,1,3,solid triangle,green,2,3,solid 68 | (#f #f #f) triangle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,green,3,3,solid 69 | (#f #f) rectangle,yellow,2,3,solid triangle,blue,3,3,solid 70 | (#f #f #f) circle,green,1,3,solid triangle,yellow,1,3,solid rectangle,blue,3,3,solid 71 | (#f #f #f #f) circle,blue,1,3,solid circle,yellow,1,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid 72 | (#f #f) circle,blue,2,3,solid triangle,yellow,1,3,solid 73 | (#f #f #f) circle,blue,2,3,solid circle,green,2,3,solid rectangle,blue,1,3,solid 74 | (#f #f #f) triangle,yellow,3,3,solid rectangle,green,3,3,solid circle,yellow,2,3,solid 75 | (#f #f) triangle,green,2,3,solid triangle,green,1,3,solid 76 | (#f #f #f #f #f) circle,yellow,3,3,solid rectangle,blue,2,3,solid circle,blue,3,3,solid rectangle,green,1,3,solid circle,blue,2,3,solid 77 | (#f #f #f) rectangle,blue,2,3,solid rectangle,blue,3,3,solid circle,yellow,3,3,solid 78 | (#f #f) triangle,blue,3,3,solid circle,green,3,3,solid 79 | (#f) rectangle,green,1,3,solid 80 | (#f #f #f #f) rectangle,blue,1,3,solid rectangle,green,2,3,solid rectangle,blue,3,3,solid rectangle,yellow,2,3,solid 81 | (#f #f #f) triangle,blue,3,3,solid rectangle,yellow,1,3,solid circle,blue,1,3,solid 82 | (#f) circle,green,1,3,solid 83 | (#f) circle,green,1,3,solid 84 | (#f #f #f #f) circle,yellow,2,3,solid triangle,green,2,3,solid circle,blue,2,3,solid triangle,blue,2,3,solid 85 | (#f #f #f) triangle,yellow,1,3,solid rectangle,green,3,3,solid circle,green,2,3,solid 86 | (#f #f #f #f) circle,green,2,3,solid circle,blue,2,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid 87 | (#f #f #f) triangle,yellow,3,3,solid triangle,green,1,3,solid triangle,yellow,2,3,solid 88 | (#f) rectangle,blue,2,3,solid 89 | (#f #f #f #f) triangle,green,1,3,solid triangle,yellow,2,3,solid triangle,yellow,1,3,solid circle,blue,2,3,solid 90 | (#f #f #f #f #f) rectangle,yellow,3,3,solid circle,yellow,1,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid triangle,yellow,3,3,solid 91 | (#f) triangle,yellow,2,3,solid 92 | (#f #f) triangle,yellow,3,3,solid circle,yellow,2,3,solid 93 | (#f #f #f) triangle,green,2,3,solid rectangle,blue,3,3,solid triangle,yellow,1,3,solid 94 | (#f #f) circle,yellow,2,3,solid circle,blue,1,3,solid 95 | (#f #f) rectangle,yellow,1,3,solid circle,yellow,2,3,solid 96 | (#f #f #f) circle,yellow,1,3,solid triangle,green,3,3,solid circle,blue,2,3,solid 97 | (#f #f #f #f) triangle,yellow,3,3,solid circle,yellow,2,3,solid rectangle,yellow,1,3,solid circle,blue,3,3,solid 98 | (#f) rectangle,yellow,3,3,solid 99 | (#f #f #f) rectangle,blue,1,3,solid circle,yellow,1,3,solid rectangle,green,1,3,solid 100 | (#f) circle,yellow,3,3,solid 101 | (#f #f) rectangle,blue,2,3,solid rectangle,green,1,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg87__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (exists* (lambda (y) (and* (eqv* (shape* y) (shape* x)) (eqv* (color* y) 'blue))) S))) 2 | (#f #f #t) circle,green,2,3,solid triangle,green,2,3,solid rectangle,blue,2,3,solid 3 | (#t #f #t #f) circle,blue,3,3,solid triangle,yellow,2,3,solid rectangle,blue,2,3,solid triangle,green,2,3,solid 4 | (#f) rectangle,green,2,3,solid 5 | (#t) rectangle,blue,1,3,solid 6 | (#t #f #t #f #f) rectangle,blue,3,3,solid circle,green,3,3,solid rectangle,blue,2,3,solid triangle,yellow,2,3,solid triangle,yellow,1,3,solid 7 | (#t #t #t #t #t) rectangle,green,1,3,solid rectangle,green,3,3,solid triangle,blue,1,3,solid triangle,blue,3,3,solid rectangle,blue,3,3,solid 8 | (#t) triangle,blue,1,3,solid 9 | (#f #t #t) triangle,green,2,3,solid rectangle,green,3,3,solid rectangle,blue,2,3,solid 10 | (#f #f #t #t) rectangle,yellow,2,3,solid rectangle,yellow,1,3,solid triangle,blue,2,3,solid circle,blue,3,3,solid 11 | (#f) circle,yellow,1,3,solid 12 | (#t #t #t #t #t) rectangle,green,2,3,solid rectangle,blue,2,3,solid triangle,green,2,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid 13 | (#t #t #t) rectangle,blue,1,3,solid triangle,blue,2,3,solid rectangle,yellow,2,3,solid 14 | (#f) rectangle,green,3,3,solid 15 | (#f #f #f #f) triangle,green,2,3,solid circle,yellow,2,3,solid triangle,yellow,2,3,solid circle,yellow,1,3,solid 16 | (#f #t) circle,green,1,3,solid triangle,blue,3,3,solid 17 | (#t #t #f #t #t) circle,green,2,3,solid rectangle,blue,2,3,solid triangle,yellow,1,3,solid circle,blue,2,3,solid circle,green,1,3,solid 18 | (#t #t #f #f #f) circle,yellow,3,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid triangle,green,2,3,solid 19 | (#t #t #t #t) triangle,blue,3,3,solid triangle,yellow,3,3,solid triangle,green,2,3,solid circle,blue,1,3,solid 20 | (#t #f #t) circle,blue,2,3,solid triangle,green,1,3,solid circle,yellow,1,3,solid 21 | (#t #f) triangle,blue,2,3,solid rectangle,green,3,3,solid 22 | (#t #t #t #t #t) circle,yellow,1,3,solid rectangle,blue,2,3,solid circle,blue,1,3,solid triangle,blue,3,3,solid triangle,green,3,3,solid 23 | (#f #t #t #f) circle,yellow,1,3,solid rectangle,blue,2,3,solid rectangle,blue,1,3,solid circle,green,3,3,solid 24 | (#f #f) triangle,yellow,1,3,solid triangle,yellow,2,3,solid 25 | (#f #f) triangle,green,2,3,solid rectangle,yellow,1,3,solid 26 | (#f) rectangle,yellow,2,3,solid 27 | (#f #f) rectangle,yellow,2,3,solid circle,green,1,3,solid 28 | (#f #t) circle,green,2,3,solid triangle,blue,3,3,solid 29 | (#f #f #f #f #f) rectangle,green,1,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid rectangle,yellow,1,3,solid rectangle,green,3,3,solid 30 | (#t #f) rectangle,blue,1,3,solid circle,yellow,3,3,solid 31 | (#f) circle,yellow,3,3,solid 32 | (#t #f #f) circle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,yellow,3,3,solid 33 | (#t #t #f #t #f) triangle,yellow,3,3,solid triangle,blue,1,3,solid circle,green,3,3,solid triangle,green,2,3,solid rectangle,yellow,1,3,solid 34 | (#f #f) triangle,green,1,3,solid circle,yellow,2,3,solid 35 | (#f #t #f #t) rectangle,green,2,3,solid circle,yellow,2,3,solid triangle,green,3,3,solid circle,blue,2,3,solid 36 | (#f) triangle,green,2,3,solid 37 | (#f) rectangle,green,3,3,solid 38 | (#f #f) circle,yellow,2,3,solid triangle,green,2,3,solid 39 | (#t #f #f #t #f) circle,green,3,3,solid triangle,green,3,3,solid triangle,yellow,2,3,solid circle,blue,3,3,solid rectangle,green,3,3,solid 40 | (#f #f #f) triangle,yellow,1,3,solid rectangle,yellow,1,3,solid triangle,green,1,3,solid 41 | (#t #t) rectangle,blue,2,3,solid rectangle,green,2,3,solid 42 | (#t #t #t #t) triangle,green,2,3,solid triangle,blue,3,3,solid rectangle,blue,2,3,solid triangle,blue,2,3,solid 43 | (#f) circle,yellow,3,3,solid 44 | (#t #t #t) circle,blue,2,3,solid circle,green,3,3,solid circle,yellow,3,3,solid 45 | (#t #t #t #t #t) circle,green,2,3,solid triangle,blue,3,3,solid circle,blue,2,3,solid triangle,green,3,3,solid rectangle,blue,2,3,solid 46 | (#f) triangle,green,1,3,solid 47 | (#t #t) triangle,yellow,1,3,solid triangle,blue,1,3,solid 48 | (#f) circle,yellow,3,3,solid 49 | (#f #f) triangle,yellow,2,3,solid rectangle,yellow,2,3,solid 50 | (#t #t #f #f #t) rectangle,blue,3,3,solid circle,blue,2,3,solid triangle,yellow,2,3,solid triangle,green,2,3,solid circle,blue,3,3,solid 51 | (#f #f) rectangle,green,3,3,solid rectangle,yellow,2,3,solid 52 | (#t #t #t #t) triangle,blue,2,3,solid circle,blue,1,3,solid circle,blue,2,3,solid circle,green,2,3,solid 53 | (#f #f #f) circle,green,3,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid 54 | (#t) circle,blue,3,3,solid 55 | (#t #f #f #f #t) triangle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid rectangle,green,1,3,solid triangle,yellow,1,3,solid 56 | (#t #t #f) circle,blue,3,3,solid circle,blue,1,3,solid rectangle,green,2,3,solid 57 | (#t #t #t) rectangle,blue,2,3,solid circle,blue,3,3,solid circle,green,1,3,solid 58 | (#t #f #f #f) triangle,blue,2,3,solid circle,yellow,2,3,solid circle,green,3,3,solid rectangle,green,1,3,solid 59 | (#t) circle,blue,1,3,solid 60 | (#f) circle,green,1,3,solid 61 | (#t #f) triangle,blue,1,3,solid circle,yellow,3,3,solid 62 | (#f #t) rectangle,yellow,1,3,solid triangle,blue,2,3,solid 63 | (#f #t #f #t) triangle,green,2,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid rectangle,yellow,1,3,solid 64 | (#f #f #f #t #t) rectangle,yellow,2,3,solid circle,green,3,3,solid rectangle,yellow,3,3,solid triangle,blue,3,3,solid triangle,yellow,2,3,solid 65 | (#t #f #f #t) rectangle,blue,3,3,solid circle,green,1,3,solid circle,yellow,2,3,solid rectangle,green,2,3,solid 66 | (#f #f) rectangle,green,3,3,solid rectangle,green,1,3,solid 67 | (#t) triangle,blue,1,3,solid 68 | (#f) rectangle,yellow,3,3,solid 69 | (#t #t #t) rectangle,green,2,3,solid rectangle,blue,2,3,solid rectangle,blue,1,3,solid 70 | (#f #f) triangle,green,1,3,solid rectangle,green,2,3,solid 71 | (#t #t) rectangle,blue,2,3,solid circle,blue,3,3,solid 72 | (#f) rectangle,yellow,2,3,solid 73 | (#f #f) rectangle,green,3,3,solid triangle,yellow,3,3,solid 74 | (#f #t) triangle,green,2,3,solid rectangle,blue,2,3,solid 75 | (#t) triangle,blue,1,3,solid 76 | (#f #f) rectangle,green,2,3,solid rectangle,yellow,1,3,solid 77 | (#t #f #t) circle,blue,3,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid 78 | (#f) rectangle,green,3,3,solid 79 | (#f #f #t #f) circle,green,3,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,green,3,3,solid 80 | (#f #f #t #f #t) rectangle,yellow,2,3,solid rectangle,green,3,3,solid circle,green,2,3,solid triangle,green,2,3,solid circle,blue,3,3,solid 81 | (#f #f) triangle,green,2,3,solid circle,yellow,1,3,solid 82 | (#t) circle,blue,1,3,solid 83 | (#f #f #f #f) circle,yellow,2,3,solid circle,yellow,1,3,solid rectangle,green,2,3,solid circle,green,3,3,solid 84 | (#f #t #t) triangle,yellow,1,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid 85 | (#f #f) circle,yellow,2,3,solid circle,green,2,3,solid 86 | (#f #f #f #f #f) circle,green,1,3,solid triangle,yellow,3,3,solid circle,yellow,2,3,solid rectangle,green,2,3,solid rectangle,yellow,2,3,solid 87 | (#t #t #t #t #f) triangle,blue,2,3,solid triangle,green,3,3,solid triangle,yellow,2,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid 88 | (#f) rectangle,yellow,3,3,solid 89 | (#t #t #t #t #t) circle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,yellow,3,3,solid circle,yellow,1,3,solid rectangle,green,1,3,solid 90 | (#f) triangle,yellow,3,3,solid 91 | (#f) circle,yellow,1,3,solid 92 | (#f #t #t) triangle,green,1,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid 93 | (#t #f #t #t) rectangle,yellow,2,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid rectangle,blue,2,3,solid 94 | (#t #t) triangle,blue,2,3,solid triangle,green,2,3,solid 95 | (#t) circle,blue,1,3,solid 96 | (#f) rectangle,yellow,1,3,solid 97 | (#f #f #f #t #t) circle,yellow,2,3,solid rectangle,green,3,3,solid circle,yellow,3,3,solid triangle,green,3,3,solid triangle,blue,3,3,solid 98 | (#f #f) circle,yellow,3,3,solid rectangle,green,2,3,solid 99 | (#f #t #t #t) triangle,green,1,3,solid circle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,green,1,3,solid 100 | (#f #t) circle,yellow,1,3,solid rectangle,blue,2,3,solid 101 | (#t #t) circle,blue,1,3,solid circle,green,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg32__LIST_L3.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (forall* (lambda (y) (geq* (size* x) (size* y))) S))) 2 | (#t #f #f #f #f) circle,blue,3,3,solid circle,blue,2,3,solid circle,yellow,2,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid 3 | (#t) rectangle,blue,1,3,solid 4 | (#t #f) triangle,green,2,3,solid rectangle,yellow,1,3,solid 5 | (#f #f #t #t) circle,green,1,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid 6 | (#t #t) rectangle,blue,1,3,solid circle,green,1,3,solid 7 | (#t #t #f) circle,yellow,2,3,solid rectangle,green,2,3,solid circle,blue,1,3,solid 8 | (#t #f #t) circle,green,3,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid 9 | (#t #f #f #t) circle,blue,3,3,solid circle,green,1,3,solid triangle,blue,1,3,solid circle,green,3,3,solid 10 | (#t #t #t) rectangle,yellow,3,3,solid circle,green,3,3,solid triangle,blue,3,3,solid 11 | (#t #f #f #f #t) circle,yellow,3,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid triangle,yellow,1,3,solid triangle,green,3,3,solid 12 | (#f #t #f) triangle,green,2,3,solid triangle,yellow,3,3,solid triangle,yellow,2,3,solid 13 | (#f #f #t #f) rectangle,green,1,3,solid circle,blue,1,3,solid rectangle,green,3,3,solid rectangle,blue,2,3,solid 14 | (#f #f #t #f) circle,green,2,3,solid circle,green,1,3,solid rectangle,blue,3,3,solid triangle,blue,2,3,solid 15 | (#t #f) rectangle,yellow,2,3,solid triangle,yellow,1,3,solid 16 | (#t #t) circle,yellow,2,3,solid rectangle,blue,2,3,solid 17 | (#t) circle,blue,1,3,solid 18 | (#t #t #t) circle,green,1,3,solid triangle,yellow,1,3,solid rectangle,blue,1,3,solid 19 | (#t #t) triangle,yellow,2,3,solid rectangle,green,2,3,solid 20 | (#t) triangle,green,2,3,solid 21 | (#f #f #t) rectangle,yellow,1,3,solid triangle,blue,1,3,solid circle,green,2,3,solid 22 | (#f #t) triangle,green,1,3,solid rectangle,blue,3,3,solid 23 | (#t) triangle,blue,3,3,solid 24 | (#f #f #t) rectangle,green,1,3,solid triangle,blue,1,3,solid rectangle,yellow,3,3,solid 25 | (#f #f #t #t #t) rectangle,blue,2,3,solid circle,blue,2,3,solid circle,blue,3,3,solid triangle,blue,3,3,solid triangle,yellow,3,3,solid 26 | (#f #f #f #t) rectangle,green,1,3,solid triangle,green,1,3,solid triangle,yellow,1,3,solid rectangle,yellow,3,3,solid 27 | (#t #f #f) rectangle,yellow,3,3,solid circle,yellow,1,3,solid rectangle,yellow,1,3,solid 28 | (#t #f) circle,blue,2,3,solid circle,blue,1,3,solid 29 | (#t) triangle,blue,1,3,solid 30 | (#t #t #t #f) circle,green,2,3,solid circle,blue,2,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid 31 | (#t) rectangle,green,2,3,solid 32 | (#t #t #f #f #f) triangle,yellow,3,3,solid rectangle,green,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid triangle,blue,2,3,solid 33 | (#t #f) triangle,green,3,3,solid rectangle,blue,2,3,solid 34 | (#t) circle,blue,1,3,solid 35 | (#t #f) circle,green,2,3,solid triangle,green,1,3,solid 36 | (#t #t #f #f) triangle,blue,3,3,solid rectangle,blue,3,3,solid circle,green,1,3,solid rectangle,green,1,3,solid 37 | (#t) rectangle,green,1,3,solid 38 | (#f #f #t #f #f) triangle,yellow,1,3,solid triangle,green,2,3,solid rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid triangle,blue,1,3,solid 39 | (#t) rectangle,yellow,2,3,solid 40 | (#f #f #f #t #t) rectangle,green,1,3,solid circle,yellow,1,3,solid rectangle,yellow,1,3,solid circle,blue,3,3,solid rectangle,blue,3,3,solid 41 | (#f #t) circle,green,1,3,solid circle,green,2,3,solid 42 | (#t) circle,green,1,3,solid 43 | (#t) circle,green,3,3,solid 44 | (#t #f) rectangle,blue,3,3,solid rectangle,green,1,3,solid 45 | (#t #f) rectangle,blue,3,3,solid triangle,blue,2,3,solid 46 | (#f #t #t) triangle,blue,2,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid 47 | (#f #f #t) triangle,green,1,3,solid triangle,blue,2,3,solid triangle,green,3,3,solid 48 | (#f #f #f #t) rectangle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,yellow,2,3,solid triangle,yellow,3,3,solid 49 | (#t) circle,green,2,3,solid 50 | (#t #t) rectangle,green,1,3,solid circle,yellow,1,3,solid 51 | (#t #t #f) rectangle,green,2,3,solid rectangle,blue,2,3,solid rectangle,green,1,3,solid 52 | (#t #f) rectangle,green,3,3,solid circle,yellow,2,3,solid 53 | (#f #f #t) rectangle,green,1,3,solid circle,green,1,3,solid rectangle,blue,2,3,solid 54 | (#t) circle,green,3,3,solid 55 | (#f #t #f #f) circle,green,2,3,solid triangle,blue,3,3,solid circle,blue,2,3,solid triangle,green,1,3,solid 56 | (#t) triangle,yellow,2,3,solid 57 | (#t #f #f) circle,yellow,3,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid 58 | (#t) circle,green,3,3,solid 59 | (#f #f #f #t #f) rectangle,blue,2,3,solid rectangle,yellow,1,3,solid triangle,green,2,3,solid circle,blue,3,3,solid triangle,green,1,3,solid 60 | (#f #f #t #t #f) triangle,green,2,3,solid triangle,yellow,2,3,solid circle,blue,3,3,solid triangle,green,3,3,solid rectangle,green,2,3,solid 61 | (#f #t #t #f #t) circle,blue,1,3,solid circle,yellow,3,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid triangle,yellow,3,3,solid 62 | (#f #t #t #f #f) circle,blue,1,3,solid rectangle,green,2,3,solid triangle,blue,2,3,solid rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 63 | (#f #f #t #t #f) rectangle,blue,1,3,solid rectangle,green,1,3,solid triangle,yellow,3,3,solid triangle,blue,3,3,solid triangle,blue,2,3,solid 64 | (#t #t) rectangle,yellow,3,3,solid rectangle,blue,3,3,solid 65 | (#t #f #f #t #f) circle,yellow,3,3,solid rectangle,green,2,3,solid rectangle,green,1,3,solid triangle,blue,3,3,solid circle,green,1,3,solid 66 | (#t) rectangle,yellow,3,3,solid 67 | (#f #t) circle,blue,2,3,solid rectangle,yellow,3,3,solid 68 | (#t #f #f) circle,blue,3,3,solid circle,green,1,3,solid triangle,blue,1,3,solid 69 | (#t) triangle,blue,3,3,solid 70 | (#t #f #t #f) rectangle,yellow,2,3,solid triangle,blue,1,3,solid circle,yellow,2,3,solid triangle,green,1,3,solid 71 | (#t) rectangle,green,2,3,solid 72 | (#t #f #t) circle,blue,3,3,solid rectangle,green,1,3,solid triangle,yellow,3,3,solid 73 | (#t) circle,blue,1,3,solid 74 | (#t #f) circle,blue,2,3,solid triangle,green,1,3,solid 75 | (#t #f) triangle,yellow,3,3,solid circle,blue,1,3,solid 76 | (#t #t) triangle,blue,1,3,solid circle,blue,1,3,solid 77 | (#t #f) rectangle,blue,3,3,solid rectangle,blue,1,3,solid 78 | (#t #t #f) rectangle,green,3,3,solid circle,green,3,3,solid circle,green,2,3,solid 79 | (#f #t #t #f) rectangle,yellow,2,3,solid triangle,green,3,3,solid circle,blue,3,3,solid triangle,green,1,3,solid 80 | (#t #f #f #t #f) triangle,yellow,3,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid triangle,blue,3,3,solid triangle,blue,2,3,solid 81 | (#t) rectangle,blue,3,3,solid 82 | (#t #f) circle,green,3,3,solid triangle,blue,1,3,solid 83 | (#f #t) rectangle,blue,1,3,solid circle,blue,3,3,solid 84 | (#t #f) circle,yellow,3,3,solid triangle,yellow,2,3,solid 85 | (#t #t) circle,yellow,1,3,solid rectangle,yellow,1,3,solid 86 | (#f #t #f #t) circle,green,2,3,solid rectangle,green,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,3,3,solid 87 | (#f #f #t #f) circle,yellow,2,3,solid rectangle,yellow,1,3,solid rectangle,green,3,3,solid triangle,yellow,1,3,solid 88 | (#t) circle,yellow,1,3,solid 89 | (#t #t #f #f #f) triangle,blue,3,3,solid rectangle,yellow,3,3,solid circle,blue,1,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid 90 | (#t #f #f #f #f) triangle,yellow,3,3,solid rectangle,green,1,3,solid rectangle,blue,2,3,solid circle,blue,2,3,solid rectangle,yellow,2,3,solid 91 | (#f #f #t #t #f) rectangle,green,2,3,solid circle,green,2,3,solid triangle,yellow,3,3,solid rectangle,green,3,3,solid circle,green,1,3,solid 92 | (#t) circle,green,1,3,solid 93 | (#t #f #t #t) circle,blue,3,3,solid circle,yellow,1,3,solid triangle,blue,3,3,solid triangle,green,3,3,solid 94 | (#t) circle,yellow,3,3,solid 95 | (#t) triangle,blue,2,3,solid 96 | (#t #t #f #t) triangle,yellow,3,3,solid circle,green,3,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid 97 | (#t #t #f) rectangle,yellow,3,3,solid rectangle,blue,3,3,solid rectangle,yellow,2,3,solid 98 | (#t #t #t) triangle,yellow,1,3,solid triangle,green,1,3,solid rectangle,green,1,3,solid 99 | (#t #t) triangle,blue,3,3,solid circle,blue,3,3,solid 100 | (#t) circle,green,2,3,solid 101 | (#t #f #f #f #t) circle,yellow,3,3,solid circle,green,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,1,3,solid circle,blue,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg25__LIST_L1.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (or* (eqv* (color* x) 'blue) (eqv* (size* x) 1))) 2 | (#t #t #f #t #t) circle,yellow,1,3,solid circle,blue,3,3,solid rectangle,green,2,3,solid rectangle,blue,2,3,solid triangle,yellow,1,3,solid 3 | (#f) triangle,yellow,2,3,solid 4 | (#t) circle,green,1,3,solid 5 | (#t) circle,blue,3,3,solid 6 | (#f) circle,green,3,3,solid 7 | (#t #t #t) rectangle,blue,2,3,solid triangle,yellow,1,3,solid triangle,blue,1,3,solid 8 | (#f #t #t #f #f) rectangle,yellow,2,3,solid triangle,blue,2,3,solid rectangle,blue,2,3,solid circle,green,2,3,solid rectangle,yellow,3,3,solid 9 | (#t #t #f) triangle,green,1,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid 10 | (#t #f #t #f) triangle,blue,3,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid circle,green,3,3,solid 11 | (#f #t) circle,green,2,3,solid circle,blue,1,3,solid 12 | (#f #f) triangle,yellow,3,3,solid rectangle,yellow,2,3,solid 13 | (#f #t #f #t #t) circle,yellow,3,3,solid triangle,blue,2,3,solid circle,green,3,3,solid triangle,green,1,3,solid rectangle,blue,3,3,solid 14 | (#t #f #t) rectangle,blue,2,3,solid circle,green,2,3,solid triangle,blue,2,3,solid 15 | (#f #t #t) rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid triangle,blue,3,3,solid 16 | (#f #t #t) circle,yellow,2,3,solid triangle,blue,3,3,solid triangle,blue,1,3,solid 17 | (#t) triangle,blue,3,3,solid 18 | (#t #f #t #f) rectangle,yellow,1,3,solid rectangle,green,3,3,solid triangle,yellow,1,3,solid triangle,yellow,3,3,solid 19 | (#f #f #t #f #t) rectangle,yellow,2,3,solid circle,green,3,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid triangle,blue,3,3,solid 20 | (#t #t) circle,yellow,1,3,solid triangle,blue,2,3,solid 21 | (#t #f #f #t #f) triangle,blue,3,3,solid rectangle,green,2,3,solid rectangle,yellow,2,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid 22 | (#t #t #f #t #f) rectangle,blue,1,3,solid triangle,yellow,1,3,solid triangle,yellow,2,3,solid rectangle,blue,2,3,solid rectangle,green,2,3,solid 23 | (#t #t) rectangle,blue,1,3,solid circle,yellow,1,3,solid 24 | (#t #t #f #f) circle,yellow,1,3,solid rectangle,green,1,3,solid rectangle,green,3,3,solid circle,yellow,3,3,solid 25 | (#t #f #t #f) circle,yellow,1,3,solid circle,yellow,3,3,solid triangle,green,1,3,solid rectangle,green,3,3,solid 26 | (#f #t #t #t #f) triangle,yellow,2,3,solid circle,blue,3,3,solid circle,green,1,3,solid triangle,blue,1,3,solid rectangle,green,3,3,solid 27 | (#f) triangle,green,2,3,solid 28 | (#f #f #t) triangle,green,3,3,solid circle,yellow,3,3,solid rectangle,blue,3,3,solid 29 | (#t #f #f #t #t) rectangle,blue,3,3,solid rectangle,yellow,3,3,solid triangle,yellow,2,3,solid circle,blue,2,3,solid triangle,green,1,3,solid 30 | (#t #t) triangle,blue,1,3,solid triangle,blue,3,3,solid 31 | (#f #t) rectangle,yellow,2,3,solid triangle,green,1,3,solid 32 | (#t #t #f #t) circle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid 33 | (#t #f #t #t) triangle,blue,3,3,solid triangle,green,2,3,solid triangle,blue,1,3,solid rectangle,yellow,1,3,solid 34 | (#f #t #f #t) triangle,yellow,3,3,solid rectangle,blue,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid 35 | (#t #t #t) rectangle,green,1,3,solid triangle,blue,3,3,solid triangle,blue,1,3,solid 36 | (#f #t) triangle,green,3,3,solid triangle,green,1,3,solid 37 | (#f #f #t) circle,yellow,2,3,solid triangle,yellow,3,3,solid circle,blue,2,3,solid 38 | (#t #f #t #t #f) circle,blue,1,3,solid triangle,green,3,3,solid triangle,blue,1,3,solid circle,green,1,3,solid triangle,green,2,3,solid 39 | (#f #f) circle,green,3,3,solid triangle,yellow,3,3,solid 40 | (#f) rectangle,yellow,3,3,solid 41 | (#f) triangle,green,2,3,solid 42 | (#t #f #f) circle,yellow,1,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid 43 | (#f #f) rectangle,green,3,3,solid triangle,yellow,3,3,solid 44 | (#t #f #f #t) rectangle,yellow,1,3,solid circle,green,3,3,solid rectangle,green,3,3,solid triangle,blue,2,3,solid 45 | (#f) rectangle,green,3,3,solid 46 | (#f #f #f #t #f) rectangle,yellow,3,3,solid rectangle,green,2,3,solid rectangle,green,3,3,solid triangle,blue,2,3,solid circle,yellow,2,3,solid 47 | (#t #f #t) triangle,blue,2,3,solid circle,yellow,3,3,solid circle,green,1,3,solid 48 | (#t) rectangle,blue,1,3,solid 49 | (#f) triangle,green,2,3,solid 50 | (#t #t #t #f) rectangle,blue,2,3,solid rectangle,blue,3,3,solid circle,green,1,3,solid triangle,yellow,2,3,solid 51 | (#t #f) triangle,green,1,3,solid circle,green,3,3,solid 52 | (#t #t #t) circle,yellow,1,3,solid rectangle,green,1,3,solid circle,blue,1,3,solid 53 | (#f) circle,yellow,2,3,solid 54 | (#f) triangle,green,3,3,solid 55 | (#t #f #f #f) triangle,blue,1,3,solid rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid rectangle,green,2,3,solid 56 | (#t) rectangle,blue,2,3,solid 57 | (#f #t) triangle,yellow,3,3,solid rectangle,yellow,1,3,solid 58 | (#t #f) triangle,blue,2,3,solid triangle,yellow,2,3,solid 59 | (#t #f #f) rectangle,blue,3,3,solid rectangle,yellow,2,3,solid triangle,green,2,3,solid 60 | (#t) triangle,green,1,3,solid 61 | (#t #t) rectangle,blue,3,3,solid rectangle,yellow,1,3,solid 62 | (#t #t #t) circle,blue,2,3,solid rectangle,blue,2,3,solid triangle,blue,1,3,solid 63 | (#t #f #f #t #t) rectangle,green,1,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid triangle,green,1,3,solid rectangle,blue,2,3,solid 64 | (#t #t #f #t #t) triangle,blue,1,3,solid circle,yellow,1,3,solid circle,green,3,3,solid circle,blue,1,3,solid circle,blue,2,3,solid 65 | (#t #t) triangle,yellow,1,3,solid rectangle,yellow,1,3,solid 66 | (#f #f #t) circle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid 67 | (#f #t #f #t) circle,yellow,2,3,solid rectangle,green,1,3,solid circle,yellow,3,3,solid rectangle,blue,3,3,solid 68 | (#t #f #t #f) circle,green,1,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid rectangle,yellow,2,3,solid 69 | (#f) circle,yellow,3,3,solid 70 | (#t) circle,green,1,3,solid 71 | (#t #f) rectangle,blue,3,3,solid circle,green,2,3,solid 72 | (#t #t #t #t) rectangle,blue,2,3,solid triangle,yellow,1,3,solid triangle,blue,1,3,solid circle,blue,1,3,solid 73 | (#t) triangle,green,1,3,solid 74 | (#t #t #f) rectangle,yellow,1,3,solid circle,green,1,3,solid circle,green,2,3,solid 75 | (#f #t #t) triangle,yellow,2,3,solid rectangle,green,1,3,solid circle,blue,2,3,solid 76 | (#f) triangle,green,3,3,solid 77 | (#t #t) rectangle,yellow,1,3,solid triangle,green,1,3,solid 78 | (#f) circle,yellow,3,3,solid 79 | (#f) circle,yellow,2,3,solid 80 | (#f #t) circle,green,3,3,solid triangle,blue,3,3,solid 81 | (#f #f #t) circle,yellow,2,3,solid circle,green,3,3,solid circle,green,1,3,solid 82 | (#t #t #t #f #t) circle,blue,1,3,solid circle,blue,3,3,solid triangle,yellow,1,3,solid circle,yellow,3,3,solid rectangle,blue,3,3,solid 83 | (#t #t #t #t) circle,blue,3,3,solid circle,yellow,1,3,solid rectangle,blue,1,3,solid rectangle,blue,3,3,solid 84 | (#f) triangle,yellow,2,3,solid 85 | (#f #t #f) circle,yellow,3,3,solid rectangle,blue,1,3,solid circle,yellow,2,3,solid 86 | (#t #f #t #t #t) triangle,green,1,3,solid triangle,yellow,3,3,solid circle,blue,2,3,solid rectangle,blue,1,3,solid rectangle,yellow,1,3,solid 87 | (#t #f #f #f #t) rectangle,blue,3,3,solid rectangle,green,2,3,solid triangle,yellow,2,3,solid circle,yellow,2,3,solid rectangle,green,1,3,solid 88 | (#t #f #t) circle,yellow,1,3,solid circle,yellow,3,3,solid triangle,blue,3,3,solid 89 | (#f #f #f) circle,green,2,3,solid triangle,yellow,2,3,solid circle,yellow,3,3,solid 90 | (#f #t #t) rectangle,green,3,3,solid circle,blue,1,3,solid rectangle,yellow,1,3,solid 91 | (#t) rectangle,blue,3,3,solid 92 | (#t #f #t #f #t) triangle,blue,3,3,solid circle,green,2,3,solid circle,yellow,1,3,solid rectangle,yellow,3,3,solid triangle,blue,1,3,solid 93 | (#t) circle,green,1,3,solid 94 | (#f) triangle,green,3,3,solid 95 | (#f #t #t #t) circle,yellow,2,3,solid triangle,green,1,3,solid rectangle,blue,1,3,solid triangle,yellow,1,3,solid 96 | (#f) rectangle,yellow,2,3,solid 97 | (#f #t) triangle,green,3,3,solid circle,blue,1,3,solid 98 | (#f #t #f) triangle,yellow,3,3,solid triangle,yellow,1,3,solid triangle,green,2,3,solid 99 | (#f) rectangle,yellow,3,3,solid 100 | (#f #t #t #t #t) rectangle,green,2,3,solid circle,blue,2,3,solid triangle,blue,1,3,solid rectangle,green,1,3,solid rectangle,blue,2,3,solid 101 | (#f) rectangle,yellow,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg87__LIST_L3.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (exists* (lambda (y) (and* (eqv* (shape* y) (shape* x)) (eqv* (color* y) 'blue))) S))) 2 | (#t #t #f #t) rectangle,green,1,3,solid rectangle,blue,1,3,solid circle,green,3,3,solid rectangle,yellow,3,3,solid 3 | (#t #t #t #t) triangle,yellow,2,3,solid triangle,blue,3,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid 4 | (#f #f) triangle,green,2,3,solid rectangle,yellow,3,3,solid 5 | (#f #t #f) rectangle,green,1,3,solid circle,blue,1,3,solid rectangle,yellow,3,3,solid 6 | (#f) triangle,green,1,3,solid 7 | (#f) triangle,green,2,3,solid 8 | (#t) circle,blue,1,3,solid 9 | (#f #t #f) rectangle,yellow,1,3,solid circle,blue,2,3,solid rectangle,yellow,3,3,solid 10 | (#t) triangle,blue,1,3,solid 11 | (#t #t #t #t #t) rectangle,blue,1,3,solid rectangle,green,1,3,solid circle,blue,2,3,solid circle,yellow,3,3,solid rectangle,yellow,1,3,solid 12 | (#t #t #t) rectangle,yellow,3,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid 13 | (#t) rectangle,blue,2,3,solid 14 | (#t #t) triangle,yellow,1,3,solid triangle,blue,3,3,solid 15 | (#f #f #f #f) rectangle,green,1,3,solid rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid 16 | (#f #f) circle,green,1,3,solid circle,yellow,1,3,solid 17 | (#f #f) triangle,yellow,3,3,solid rectangle,green,2,3,solid 18 | (#f #t #f) circle,yellow,2,3,solid triangle,blue,1,3,solid rectangle,yellow,3,3,solid 19 | (#t #f #t #t #t) circle,green,1,3,solid triangle,green,3,3,solid rectangle,green,1,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid 20 | (#f #f #f) rectangle,yellow,1,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid 21 | (#t #t #f #f #t) circle,blue,3,3,solid rectangle,blue,3,3,solid triangle,green,1,3,solid triangle,yellow,3,3,solid rectangle,green,1,3,solid 22 | (#t) triangle,blue,1,3,solid 23 | (#t #t #t) circle,blue,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid 24 | (#f #f #f) circle,yellow,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,3,3,solid 25 | (#t #t #t #t #f) triangle,yellow,2,3,solid triangle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid 26 | (#f #f #f #f #f) circle,green,1,3,solid triangle,green,1,3,solid rectangle,yellow,3,3,solid rectangle,green,3,3,solid triangle,yellow,2,3,solid 27 | (#f #f #f) triangle,green,2,3,solid circle,yellow,3,3,solid triangle,yellow,2,3,solid 28 | (#f #t) circle,green,1,3,solid rectangle,blue,2,3,solid 29 | (#f #t) circle,yellow,1,3,solid rectangle,blue,1,3,solid 30 | (#t #f #t) triangle,blue,2,3,solid rectangle,yellow,2,3,solid triangle,blue,1,3,solid 31 | (#f) circle,green,1,3,solid 32 | (#f #t #t #t #f) rectangle,yellow,3,3,solid circle,yellow,1,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid triangle,green,2,3,solid 33 | (#t #f #t #t #f) triangle,green,1,3,solid rectangle,green,3,3,solid triangle,blue,1,3,solid triangle,green,3,3,solid circle,green,2,3,solid 34 | (#f #f #f #f) triangle,yellow,2,3,solid circle,green,2,3,solid rectangle,yellow,2,3,solid triangle,green,2,3,solid 35 | (#t) circle,blue,3,3,solid 36 | (#t #t #f #t #f) rectangle,green,2,3,solid rectangle,green,1,3,solid triangle,yellow,3,3,solid rectangle,blue,3,3,solid triangle,green,3,3,solid 37 | (#f) rectangle,green,1,3,solid 38 | (#t #t #t #t) triangle,green,1,3,solid rectangle,blue,2,3,solid rectangle,green,2,3,solid triangle,blue,2,3,solid 39 | (#f #f #f) triangle,yellow,2,3,solid triangle,green,3,3,solid triangle,yellow,3,3,solid 40 | (#t #t #t #t) circle,blue,1,3,solid circle,blue,2,3,solid rectangle,blue,3,3,solid rectangle,yellow,3,3,solid 41 | (#t #t #f) circle,yellow,2,3,solid circle,blue,1,3,solid rectangle,yellow,3,3,solid 42 | (#f #f #f) triangle,yellow,3,3,solid triangle,yellow,1,3,solid circle,green,3,3,solid 43 | (#f) circle,green,2,3,solid 44 | (#t #t #f) triangle,blue,1,3,solid rectangle,blue,3,3,solid circle,yellow,2,3,solid 45 | (#t) circle,blue,2,3,solid 46 | (#t #t #t) triangle,yellow,3,3,solid circle,blue,3,3,solid triangle,blue,3,3,solid 47 | (#f #t) triangle,yellow,2,3,solid rectangle,blue,1,3,solid 48 | (#f #f) circle,green,2,3,solid circle,yellow,2,3,solid 49 | (#t #t #t #t #t) triangle,blue,2,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid rectangle,yellow,1,3,solid rectangle,green,1,3,solid 50 | (#t) triangle,blue,1,3,solid 51 | (#t #f #t) rectangle,green,1,3,solid circle,yellow,1,3,solid rectangle,blue,2,3,solid 52 | (#t #t) circle,green,3,3,solid circle,blue,1,3,solid 53 | (#t) circle,blue,2,3,solid 54 | (#f #t) circle,yellow,3,3,solid rectangle,blue,1,3,solid 55 | (#f) circle,green,3,3,solid 56 | (#t #t #t #t) rectangle,blue,1,3,solid rectangle,yellow,3,3,solid circle,blue,1,3,solid triangle,blue,3,3,solid 57 | (#t #t) rectangle,blue,3,3,solid rectangle,green,2,3,solid 58 | (#f #t) circle,yellow,3,3,solid rectangle,blue,2,3,solid 59 | (#t #f #t #f) circle,blue,2,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid triangle,green,3,3,solid 60 | (#f) triangle,yellow,1,3,solid 61 | (#t #t #t #t #t) rectangle,blue,1,3,solid triangle,blue,1,3,solid rectangle,green,2,3,solid triangle,blue,3,3,solid rectangle,yellow,1,3,solid 62 | (#t) triangle,blue,3,3,solid 63 | (#t #t #t #f) circle,blue,3,3,solid circle,yellow,1,3,solid circle,yellow,3,3,solid triangle,green,2,3,solid 64 | (#f #t #f #f) circle,green,2,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid circle,green,3,3,solid 65 | (#f) circle,green,3,3,solid 66 | (#t #t #f #f) triangle,blue,2,3,solid triangle,blue,3,3,solid circle,green,2,3,solid rectangle,yellow,2,3,solid 67 | (#f #f #t #f) circle,green,2,3,solid triangle,green,3,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid 68 | (#t #t #f) circle,green,2,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid 69 | (#t #t #t) triangle,blue,1,3,solid triangle,yellow,3,3,solid circle,blue,2,3,solid 70 | (#t) circle,blue,3,3,solid 71 | (#t) triangle,blue,3,3,solid 72 | (#t #f) circle,blue,1,3,solid rectangle,green,2,3,solid 73 | (#f #f) rectangle,green,2,3,solid rectangle,green,3,3,solid 74 | (#f #f) triangle,green,3,3,solid rectangle,yellow,3,3,solid 75 | (#t #f #f #t #t) rectangle,green,3,3,solid circle,green,3,3,solid circle,green,1,3,solid triangle,blue,2,3,solid rectangle,blue,3,3,solid 76 | (#f) rectangle,green,3,3,solid 77 | (#t #f) rectangle,blue,1,3,solid triangle,yellow,1,3,solid 78 | (#t #t #t #t) rectangle,green,1,3,solid rectangle,yellow,3,3,solid rectangle,blue,1,3,solid circle,blue,1,3,solid 79 | (#f #f #t #f) circle,green,1,3,solid triangle,green,1,3,solid rectangle,blue,2,3,solid triangle,yellow,2,3,solid 80 | (#t #t #t) triangle,green,1,3,solid triangle,blue,1,3,solid circle,blue,2,3,solid 81 | (#t #t #t #t #t) triangle,green,3,3,solid circle,yellow,1,3,solid rectangle,blue,3,3,solid triangle,blue,1,3,solid circle,blue,1,3,solid 82 | (#f #f) circle,yellow,2,3,solid rectangle,yellow,1,3,solid 83 | (#f) rectangle,yellow,2,3,solid 84 | (#f #f) rectangle,green,2,3,solid circle,green,1,3,solid 85 | (#t) rectangle,blue,1,3,solid 86 | (#f #f #f #f) circle,green,1,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid circle,yellow,1,3,solid 87 | (#t #f #t) triangle,blue,1,3,solid circle,yellow,1,3,solid triangle,blue,2,3,solid 88 | (#t) rectangle,blue,3,3,solid 89 | (#f #f #f) rectangle,green,1,3,solid rectangle,yellow,3,3,solid rectangle,green,3,3,solid 90 | (#f #t #f #f) rectangle,yellow,2,3,solid triangle,blue,1,3,solid rectangle,green,1,3,solid circle,green,1,3,solid 91 | (#t) rectangle,blue,1,3,solid 92 | (#t #f #f #t #f) circle,yellow,3,3,solid triangle,yellow,1,3,solid rectangle,green,1,3,solid circle,blue,2,3,solid rectangle,yellow,3,3,solid 93 | (#f #f #f) circle,green,1,3,solid triangle,green,3,3,solid rectangle,yellow,3,3,solid 94 | (#t #t #f #f) triangle,blue,2,3,solid triangle,yellow,2,3,solid rectangle,green,3,3,solid circle,green,2,3,solid 95 | (#f #f) rectangle,yellow,1,3,solid circle,green,3,3,solid 96 | (#f) triangle,green,1,3,solid 97 | (#f #f) triangle,yellow,1,3,solid triangle,yellow,3,3,solid 98 | (#f #t) triangle,yellow,2,3,solid circle,blue,3,3,solid 99 | (#f #f) triangle,green,2,3,solid circle,green,3,3,solid 100 | (#t #t #t) rectangle,blue,1,3,solid triangle,green,3,3,solid triangle,blue,3,3,solid 101 | (#t #f #t #f #f) circle,blue,1,3,solid triangle,green,2,3,solid circle,blue,2,3,solid rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg34__LIST_L2.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (or* (eqv* (color* x) 'blue) (forall* (lambda (y) (geq* (size* x) (size* y))) S)))) 2 | (#f #t #t #f) rectangle,yellow,1,3,solid circle,yellow,3,3,solid circle,green,3,3,solid rectangle,green,1,3,solid 3 | (#t) circle,blue,2,3,solid 4 | (#t #t #t #f) rectangle,yellow,3,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid circle,yellow,1,3,solid 5 | (#f #t #f #t) triangle,green,2,3,solid rectangle,blue,3,3,solid triangle,yellow,1,3,solid triangle,blue,3,3,solid 6 | (#t) rectangle,green,2,3,solid 7 | (#t #t #f) rectangle,blue,1,3,solid circle,green,3,3,solid triangle,green,2,3,solid 8 | (#t #f) rectangle,green,3,3,solid rectangle,yellow,1,3,solid 9 | (#t) triangle,yellow,3,3,solid 10 | (#f #f #t) triangle,green,1,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid 11 | (#t) circle,yellow,3,3,solid 12 | (#t #f #f #f) rectangle,green,3,3,solid circle,green,1,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid 13 | (#t #t #t #f #t) triangle,green,3,3,solid triangle,blue,3,3,solid rectangle,yellow,3,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid 14 | (#t #t #t) rectangle,yellow,3,3,solid rectangle,blue,3,3,solid triangle,blue,2,3,solid 15 | (#t #t #t) circle,blue,2,3,solid rectangle,blue,2,3,solid circle,blue,1,3,solid 16 | (#t #t #t) rectangle,green,2,3,solid circle,blue,1,3,solid rectangle,blue,2,3,solid 17 | (#t) circle,yellow,3,3,solid 18 | (#t #t) rectangle,yellow,1,3,solid circle,blue,1,3,solid 19 | (#t) circle,blue,2,3,solid 20 | (#f #t) rectangle,yellow,2,3,solid rectangle,blue,3,3,solid 21 | (#t) rectangle,yellow,2,3,solid 22 | (#t #f #t #t #f) triangle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,green,2,3,solid rectangle,green,2,3,solid circle,yellow,1,3,solid 23 | (#f #t #f #f #t) rectangle,yellow,2,3,solid rectangle,blue,2,3,solid circle,green,2,3,solid rectangle,green,1,3,solid triangle,green,3,3,solid 24 | (#t #t #f) rectangle,yellow,3,3,solid triangle,blue,3,3,solid rectangle,yellow,1,3,solid 25 | (#t #t) triangle,yellow,3,3,solid circle,green,3,3,solid 26 | (#f #f #f #t #t) triangle,green,1,3,solid circle,yellow,1,3,solid triangle,green,2,3,solid triangle,blue,1,3,solid rectangle,blue,3,3,solid 27 | (#t #t #f #f #t) triangle,blue,2,3,solid rectangle,blue,2,3,solid rectangle,yellow,2,3,solid rectangle,yellow,1,3,solid rectangle,yellow,3,3,solid 28 | (#f #f #f #t) circle,yellow,1,3,solid triangle,green,1,3,solid rectangle,green,2,3,solid triangle,blue,3,3,solid 29 | (#t #t) circle,blue,3,3,solid circle,blue,1,3,solid 30 | (#t #t #f #t) triangle,blue,3,3,solid rectangle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,green,3,3,solid 31 | (#f #t #t) circle,green,2,3,solid triangle,green,3,3,solid triangle,blue,3,3,solid 32 | (#t #t #t #f) circle,blue,3,3,solid triangle,blue,1,3,solid circle,green,3,3,solid circle,green,2,3,solid 33 | (#t) rectangle,green,2,3,solid 34 | (#t) rectangle,green,1,3,solid 35 | (#t #t #t #t #t) circle,blue,1,3,solid circle,green,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,2,3,solid triangle,green,3,3,solid 36 | (#t #t #t #t #f) triangle,blue,2,3,solid rectangle,green,3,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid 37 | (#f #f #t) triangle,yellow,1,3,solid rectangle,yellow,2,3,solid circle,green,3,3,solid 38 | (#t) circle,green,3,3,solid 39 | (#t) rectangle,green,1,3,solid 40 | (#t #t #t) rectangle,blue,2,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid 41 | (#f #t #t #t) circle,yellow,2,3,solid triangle,blue,2,3,solid circle,blue,2,3,solid circle,blue,3,3,solid 42 | (#t) circle,blue,1,3,solid 43 | (#t #t #t #f) rectangle,blue,2,3,solid triangle,green,3,3,solid rectangle,blue,1,3,solid rectangle,green,2,3,solid 44 | (#f #t) rectangle,green,2,3,solid circle,blue,3,3,solid 45 | (#t #f) triangle,yellow,3,3,solid circle,green,1,3,solid 46 | (#t #f #t) rectangle,yellow,2,3,solid triangle,yellow,1,3,solid circle,blue,1,3,solid 47 | (#t #t #f #t) rectangle,yellow,3,3,solid circle,blue,1,3,solid circle,green,2,3,solid triangle,blue,2,3,solid 48 | (#t) rectangle,yellow,3,3,solid 49 | (#t #f) triangle,yellow,2,3,solid triangle,yellow,1,3,solid 50 | (#t) circle,yellow,1,3,solid 51 | (#t #t #t #t) circle,green,3,3,solid rectangle,yellow,3,3,solid circle,yellow,3,3,solid triangle,blue,3,3,solid 52 | (#t #f #t #t) rectangle,yellow,2,3,solid circle,yellow,1,3,solid triangle,blue,2,3,solid rectangle,blue,1,3,solid 53 | (#t #t #f) triangle,blue,2,3,solid rectangle,yellow,2,3,solid triangle,green,1,3,solid 54 | (#t #f #t) triangle,green,3,3,solid rectangle,yellow,2,3,solid rectangle,green,3,3,solid 55 | (#t) circle,blue,3,3,solid 56 | (#f #t #t #t #t) circle,yellow,2,3,solid circle,yellow,3,3,solid triangle,blue,3,3,solid rectangle,blue,1,3,solid circle,blue,2,3,solid 57 | (#t #t #t) circle,blue,2,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid 58 | (#t) triangle,yellow,3,3,solid 59 | (#f #t #f #t #t) triangle,green,1,3,solid triangle,yellow,3,3,solid circle,green,2,3,solid circle,green,3,3,solid triangle,blue,1,3,solid 60 | (#f #f #t) triangle,green,1,3,solid circle,green,2,3,solid circle,yellow,3,3,solid 61 | (#t) rectangle,yellow,1,3,solid 62 | (#f #t #t) rectangle,green,2,3,solid circle,blue,1,3,solid triangle,yellow,3,3,solid 63 | (#t #f #t) triangle,blue,2,3,solid rectangle,yellow,1,3,solid rectangle,green,2,3,solid 64 | (#f #t #f) rectangle,yellow,1,3,solid circle,yellow,3,3,solid circle,green,2,3,solid 65 | (#t #f) triangle,yellow,3,3,solid triangle,green,2,3,solid 66 | (#t #t #f #t #t) rectangle,blue,3,3,solid rectangle,yellow,3,3,solid triangle,green,1,3,solid triangle,blue,1,3,solid triangle,blue,3,3,solid 67 | (#f #t #f #t) rectangle,yellow,1,3,solid rectangle,blue,1,3,solid triangle,green,1,3,solid triangle,yellow,3,3,solid 68 | (#f #t #f) rectangle,green,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid 69 | (#t) circle,green,1,3,solid 70 | (#t #f) rectangle,blue,2,3,solid triangle,yellow,1,3,solid 71 | (#f #f #t #f #t) rectangle,yellow,2,3,solid circle,green,1,3,solid circle,blue,3,3,solid circle,green,2,3,solid triangle,blue,1,3,solid 72 | (#t #t #t #t) circle,yellow,2,3,solid rectangle,blue,2,3,solid rectangle,green,2,3,solid triangle,blue,1,3,solid 73 | (#t) circle,blue,2,3,solid 74 | (#t #f #f) circle,yellow,3,3,solid triangle,green,1,3,solid rectangle,green,1,3,solid 75 | (#t #t #t) triangle,yellow,1,3,solid rectangle,green,1,3,solid triangle,green,1,3,solid 76 | (#t) rectangle,yellow,3,3,solid 77 | (#t #t #f) circle,blue,2,3,solid triangle,green,3,3,solid circle,yellow,1,3,solid 78 | (#f #t) triangle,yellow,2,3,solid rectangle,yellow,3,3,solid 79 | (#f #t #t) rectangle,green,2,3,solid rectangle,blue,1,3,solid rectangle,green,3,3,solid 80 | (#t) triangle,blue,2,3,solid 81 | (#t) rectangle,green,1,3,solid 82 | (#f #f #t) rectangle,green,2,3,solid circle,yellow,2,3,solid triangle,blue,3,3,solid 83 | (#t #f #t #t) rectangle,blue,1,3,solid circle,green,1,3,solid circle,blue,1,3,solid circle,yellow,3,3,solid 84 | (#f #t #f #f #t) rectangle,yellow,2,3,solid circle,blue,1,3,solid triangle,green,2,3,solid rectangle,green,1,3,solid triangle,green,3,3,solid 85 | (#t #t) rectangle,blue,2,3,solid triangle,blue,1,3,solid 86 | (#t) triangle,yellow,3,3,solid 87 | (#t) triangle,yellow,2,3,solid 88 | (#t) rectangle,blue,2,3,solid 89 | (#t #f #f #t) rectangle,blue,1,3,solid triangle,green,1,3,solid circle,yellow,1,3,solid triangle,green,3,3,solid 90 | (#t) triangle,green,2,3,solid 91 | (#t #f #f #t #t) triangle,yellow,3,3,solid rectangle,yellow,2,3,solid rectangle,green,1,3,solid triangle,blue,3,3,solid triangle,green,3,3,solid 92 | (#t) triangle,green,1,3,solid 93 | (#t #t #f #t) triangle,blue,1,3,solid triangle,green,3,3,solid circle,green,2,3,solid circle,green,3,3,solid 94 | (#t #t #f) rectangle,yellow,3,3,solid triangle,yellow,3,3,solid triangle,green,2,3,solid 95 | (#t #t #t) circle,blue,3,3,solid rectangle,blue,3,3,solid circle,blue,1,3,solid 96 | (#t #t #t) rectangle,blue,2,3,solid rectangle,yellow,2,3,solid triangle,green,2,3,solid 97 | (#t #t #f #t #f) rectangle,blue,3,3,solid rectangle,blue,1,3,solid circle,green,2,3,solid rectangle,blue,2,3,solid circle,yellow,2,3,solid 98 | (#t #f) triangle,blue,2,3,solid rectangle,yellow,1,3,solid 99 | (#t) circle,blue,1,3,solid 100 | (#t) triangle,yellow,3,3,solid 101 | (#t #t) rectangle,yellow,3,3,solid rectangle,blue,1,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg07__LIST_L3.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (or* (eqv* (shape* x) 'circle) (eqv* (shape* x) 'triangle))) 2 | (#t #f) circle,blue,1,3,solid rectangle,green,2,3,solid 3 | (#t #t) circle,yellow,3,3,solid triangle,blue,1,3,solid 4 | (#f) rectangle,blue,3,3,solid 5 | (#t #t #f #t) circle,green,2,3,solid triangle,blue,2,3,solid rectangle,yellow,3,3,solid circle,yellow,3,3,solid 6 | (#f #t) rectangle,yellow,3,3,solid triangle,blue,1,3,solid 7 | (#t) triangle,blue,2,3,solid 8 | (#f #t #t #f) rectangle,yellow,3,3,solid circle,blue,1,3,solid triangle,blue,2,3,solid rectangle,green,3,3,solid 9 | (#t #t) circle,blue,3,3,solid triangle,green,3,3,solid 10 | (#f #t #f) rectangle,green,2,3,solid circle,green,3,3,solid rectangle,blue,3,3,solid 11 | (#t #t #t #f) triangle,yellow,1,3,solid circle,yellow,3,3,solid circle,blue,3,3,solid rectangle,yellow,3,3,solid 12 | (#t #t) triangle,green,2,3,solid circle,blue,3,3,solid 13 | (#t #t) circle,yellow,2,3,solid circle,blue,2,3,solid 14 | (#t #t #f) triangle,blue,1,3,solid circle,yellow,1,3,solid rectangle,blue,3,3,solid 15 | (#f #f #f #t) rectangle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,green,1,3,solid triangle,yellow,2,3,solid 16 | (#t #f) triangle,blue,1,3,solid rectangle,yellow,1,3,solid 17 | (#f) rectangle,yellow,3,3,solid 18 | (#t #t) circle,yellow,2,3,solid triangle,green,3,3,solid 19 | (#t) circle,yellow,2,3,solid 20 | (#t #t #t) triangle,yellow,3,3,solid triangle,green,3,3,solid circle,yellow,2,3,solid 21 | (#f) rectangle,blue,3,3,solid 22 | (#f #t #t #f) rectangle,green,3,3,solid triangle,yellow,3,3,solid triangle,yellow,1,3,solid rectangle,blue,2,3,solid 23 | (#f #f #t #f #t) rectangle,blue,1,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid rectangle,yellow,3,3,solid circle,green,2,3,solid 24 | (#t) triangle,yellow,2,3,solid 25 | (#f #t #t #t #t) rectangle,blue,1,3,solid triangle,green,1,3,solid circle,green,2,3,solid circle,blue,2,3,solid triangle,green,2,3,solid 26 | (#f #t #t #t #t) rectangle,blue,3,3,solid circle,yellow,2,3,solid circle,yellow,3,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid 27 | (#t #t #t #t) circle,yellow,3,3,solid triangle,green,1,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid 28 | (#f) rectangle,yellow,1,3,solid 29 | (#f #t) rectangle,green,3,3,solid circle,blue,2,3,solid 30 | (#t) circle,yellow,3,3,solid 31 | (#t #t #f) circle,blue,3,3,solid circle,blue,2,3,solid rectangle,green,3,3,solid 32 | (#t #f) circle,green,3,3,solid rectangle,green,3,3,solid 33 | (#f #f) rectangle,blue,2,3,solid rectangle,green,3,3,solid 34 | (#t #f #t) triangle,blue,1,3,solid rectangle,green,1,3,solid circle,blue,3,3,solid 35 | (#f #t #t #t) rectangle,blue,1,3,solid circle,yellow,1,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid 36 | (#f #t) rectangle,blue,1,3,solid circle,green,1,3,solid 37 | (#t) triangle,yellow,3,3,solid 38 | (#t #f #t #t #t) circle,green,2,3,solid rectangle,green,2,3,solid circle,green,3,3,solid circle,yellow,3,3,solid triangle,blue,2,3,solid 39 | (#f) rectangle,green,3,3,solid 40 | (#f #t #f #t #t) rectangle,blue,1,3,solid circle,blue,1,3,solid rectangle,green,1,3,solid circle,green,1,3,solid circle,green,3,3,solid 41 | (#t #f #f #f #t) triangle,blue,1,3,solid rectangle,green,3,3,solid rectangle,green,1,3,solid rectangle,blue,1,3,solid circle,yellow,1,3,solid 42 | (#t) circle,yellow,1,3,solid 43 | (#t #t) circle,green,3,3,solid triangle,blue,3,3,solid 44 | (#t #t #f) circle,yellow,1,3,solid circle,blue,1,3,solid rectangle,blue,1,3,solid 45 | (#f #f #t #t #t) rectangle,green,2,3,solid rectangle,yellow,2,3,solid circle,blue,1,3,solid circle,green,3,3,solid triangle,yellow,2,3,solid 46 | (#f #f #t) rectangle,green,2,3,solid rectangle,yellow,1,3,solid triangle,blue,3,3,solid 47 | (#t) triangle,blue,3,3,solid 48 | (#f #f) rectangle,green,1,3,solid rectangle,blue,2,3,solid 49 | (#f #t #t #t #t) rectangle,yellow,3,3,solid circle,green,3,3,solid triangle,blue,2,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid 50 | (#f #f) rectangle,blue,2,3,solid rectangle,green,3,3,solid 51 | (#t) triangle,blue,2,3,solid 52 | (#t) triangle,green,3,3,solid 53 | (#f #t #t #f) rectangle,green,1,3,solid triangle,blue,1,3,solid circle,green,2,3,solid rectangle,blue,1,3,solid 54 | (#t #t #t #t #f) triangle,yellow,3,3,solid triangle,green,3,3,solid circle,blue,3,3,solid circle,yellow,2,3,solid rectangle,green,3,3,solid 55 | (#t #t) triangle,blue,2,3,solid circle,blue,1,3,solid 56 | (#f #f #t #t) rectangle,green,2,3,solid rectangle,blue,2,3,solid triangle,blue,1,3,solid triangle,green,1,3,solid 57 | (#t #t #f #t #t) triangle,yellow,3,3,solid circle,yellow,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid triangle,blue,3,3,solid 58 | (#f #t #t #t) rectangle,blue,2,3,solid circle,yellow,3,3,solid circle,blue,2,3,solid triangle,yellow,1,3,solid 59 | (#f #f #t #t) rectangle,green,2,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid triangle,yellow,2,3,solid 60 | (#f #f #t #f #t) rectangle,green,3,3,solid rectangle,blue,1,3,solid circle,yellow,3,3,solid rectangle,blue,3,3,solid circle,green,1,3,solid 61 | (#f #t) rectangle,blue,3,3,solid triangle,blue,1,3,solid 62 | (#t #t) triangle,yellow,2,3,solid triangle,blue,2,3,solid 63 | (#f #t #f #t #t) rectangle,green,1,3,solid circle,blue,3,3,solid rectangle,blue,3,3,solid circle,yellow,3,3,solid triangle,green,1,3,solid 64 | (#t #t #f) circle,green,2,3,solid triangle,yellow,1,3,solid rectangle,yellow,1,3,solid 65 | (#t #t #t #f) triangle,blue,2,3,solid circle,green,1,3,solid circle,blue,1,3,solid rectangle,green,1,3,solid 66 | (#t #f #f #t) triangle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,green,3,3,solid triangle,yellow,3,3,solid 67 | (#f #t #f #f) rectangle,blue,1,3,solid circle,blue,1,3,solid rectangle,green,2,3,solid rectangle,yellow,1,3,solid 68 | (#t #t #t) triangle,yellow,3,3,solid circle,green,3,3,solid triangle,blue,2,3,solid 69 | (#t #t #t #f #f) triangle,green,3,3,solid circle,green,2,3,solid triangle,green,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid 70 | (#t) circle,yellow,1,3,solid 71 | (#f #t #f) rectangle,green,1,3,solid triangle,yellow,2,3,solid rectangle,green,2,3,solid 72 | (#f #t #t #f) rectangle,green,2,3,solid triangle,yellow,1,3,solid triangle,green,1,3,solid rectangle,green,1,3,solid 73 | (#f) rectangle,yellow,1,3,solid 74 | (#t #t #f) circle,yellow,1,3,solid triangle,yellow,3,3,solid rectangle,green,2,3,solid 75 | (#f #f #f #t #t) rectangle,yellow,3,3,solid rectangle,green,1,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid circle,yellow,2,3,solid 76 | (#t #f #t) circle,green,1,3,solid rectangle,green,1,3,solid triangle,blue,3,3,solid 77 | (#t) triangle,green,1,3,solid 78 | (#t #t) circle,yellow,2,3,solid circle,green,3,3,solid 79 | (#t #t) triangle,green,1,3,solid triangle,green,3,3,solid 80 | (#t #f #t #t) circle,green,3,3,solid rectangle,green,1,3,solid circle,blue,3,3,solid circle,yellow,1,3,solid 81 | (#f #t #t #t #t) rectangle,green,3,3,solid circle,yellow,2,3,solid triangle,green,2,3,solid triangle,blue,2,3,solid circle,blue,2,3,solid 82 | (#t #t) circle,yellow,3,3,solid triangle,green,3,3,solid 83 | (#t #f) triangle,green,3,3,solid rectangle,green,2,3,solid 84 | (#f #f #t) rectangle,green,3,3,solid rectangle,yellow,3,3,solid triangle,green,1,3,solid 85 | (#t #t #t #t) triangle,blue,1,3,solid circle,yellow,3,3,solid circle,green,2,3,solid circle,blue,3,3,solid 86 | (#t #f) triangle,green,2,3,solid rectangle,green,1,3,solid 87 | (#t) circle,blue,2,3,solid 88 | (#t) circle,blue,2,3,solid 89 | (#t #f #t) circle,blue,3,3,solid rectangle,green,1,3,solid triangle,yellow,2,3,solid 90 | (#f) rectangle,green,3,3,solid 91 | (#t #f #t #t) triangle,green,2,3,solid rectangle,green,2,3,solid circle,green,1,3,solid triangle,blue,3,3,solid 92 | (#f #t #t #t) rectangle,blue,3,3,solid triangle,yellow,2,3,solid circle,green,3,3,solid circle,blue,2,3,solid 93 | (#f) rectangle,green,2,3,solid 94 | (#t #t #t) circle,green,1,3,solid triangle,green,1,3,solid triangle,green,3,3,solid 95 | (#f #t #t #t) rectangle,yellow,2,3,solid circle,yellow,3,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid 96 | (#t) circle,green,1,3,solid 97 | (#t) triangle,blue,2,3,solid 98 | (#t #t #f) circle,green,3,3,solid circle,blue,2,3,solid rectangle,blue,2,3,solid 99 | (#t) triangle,yellow,2,3,solid 100 | (#f #t) rectangle,yellow,1,3,solid circle,green,2,3,solid 101 | (#t #t) triangle,yellow,3,3,solid triangle,green,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg16__LIST_L3.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (or* (and* (eqv* (shape* x) 'circle) (eqv* (color* x) 'blue)) (and* (not* (eqv* (shape* x) 'circle)) (not* (eqv* (color* x) 'blue))))) 2 | (#t #t) rectangle,green,1,3,solid rectangle,yellow,2,3,solid 3 | (#f #t) circle,green,1,3,solid circle,blue,2,3,solid 4 | (#f #f #f) rectangle,blue,2,3,solid triangle,blue,1,3,solid circle,green,1,3,solid 5 | (#f) circle,yellow,2,3,solid 6 | (#t #t #f) circle,blue,1,3,solid circle,blue,2,3,solid rectangle,blue,3,3,solid 7 | (#t #f #f #f #f) rectangle,green,3,3,solid circle,green,2,3,solid circle,yellow,1,3,solid circle,green,1,3,solid circle,yellow,2,3,solid 8 | (#t #t #t #f) triangle,green,2,3,solid circle,blue,2,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid 9 | (#f #t #f #t #t) circle,green,3,3,solid circle,blue,3,3,solid circle,yellow,3,3,solid rectangle,green,2,3,solid rectangle,green,3,3,solid 10 | (#f #t #f) circle,green,2,3,solid triangle,green,2,3,solid triangle,blue,2,3,solid 11 | (#f #t #f #t #f) rectangle,blue,1,3,solid rectangle,yellow,3,3,solid triangle,blue,3,3,solid rectangle,green,3,3,solid circle,yellow,3,3,solid 12 | (#f) triangle,blue,2,3,solid 13 | (#f #f) rectangle,blue,2,3,solid triangle,blue,2,3,solid 14 | (#f) rectangle,blue,3,3,solid 15 | (#f #t) triangle,blue,1,3,solid rectangle,yellow,2,3,solid 16 | (#f #t #t) triangle,blue,2,3,solid triangle,green,2,3,solid rectangle,yellow,3,3,solid 17 | (#t) circle,blue,1,3,solid 18 | (#f #f #t #t) rectangle,blue,1,3,solid triangle,blue,2,3,solid triangle,yellow,3,3,solid circle,blue,3,3,solid 19 | (#t #f #f #f) circle,blue,2,3,solid triangle,blue,3,3,solid rectangle,blue,3,3,solid rectangle,blue,2,3,solid 20 | (#t #t #f #f) triangle,yellow,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,3,3,solid circle,yellow,3,3,solid 21 | (#f #f #f) rectangle,blue,2,3,solid triangle,blue,3,3,solid rectangle,blue,3,3,solid 22 | (#t #t) triangle,green,1,3,solid triangle,green,3,3,solid 23 | (#f #t) circle,green,3,3,solid rectangle,yellow,1,3,solid 24 | (#f #f) triangle,blue,3,3,solid rectangle,blue,1,3,solid 25 | (#t #f) triangle,yellow,2,3,solid circle,yellow,2,3,solid 26 | (#f #t) triangle,blue,1,3,solid triangle,yellow,2,3,solid 27 | (#t #t #t) rectangle,green,2,3,solid rectangle,yellow,2,3,solid triangle,yellow,3,3,solid 28 | (#t #t #f) rectangle,yellow,3,3,solid triangle,green,2,3,solid circle,yellow,3,3,solid 29 | (#t #f #f) circle,blue,1,3,solid rectangle,blue,1,3,solid circle,green,1,3,solid 30 | (#t #t #t) rectangle,yellow,2,3,solid circle,blue,3,3,solid circle,blue,1,3,solid 31 | (#t) rectangle,yellow,2,3,solid 32 | (#f #t) rectangle,blue,2,3,solid triangle,yellow,3,3,solid 33 | (#f #t) circle,yellow,1,3,solid circle,blue,1,3,solid 34 | (#t #f) triangle,yellow,2,3,solid circle,yellow,3,3,solid 35 | (#f #f) circle,green,3,3,solid triangle,blue,1,3,solid 36 | (#t) rectangle,green,2,3,solid 37 | (#f #t #t #t #f) circle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,green,1,3,solid triangle,green,3,3,solid circle,green,1,3,solid 38 | (#f #t) rectangle,blue,2,3,solid circle,blue,3,3,solid 39 | (#t #f #t #f #f) triangle,yellow,1,3,solid triangle,blue,3,3,solid rectangle,yellow,3,3,solid circle,green,1,3,solid triangle,blue,1,3,solid 40 | (#f #t #f #t) circle,green,1,3,solid triangle,green,1,3,solid circle,green,3,3,solid rectangle,yellow,1,3,solid 41 | (#t #f #t) circle,blue,3,3,solid rectangle,blue,3,3,solid triangle,green,3,3,solid 42 | (#t #t #f #f) rectangle,green,1,3,solid triangle,green,3,3,solid circle,green,2,3,solid circle,yellow,2,3,solid 43 | (#f #f #f #f #t) circle,green,1,3,solid rectangle,blue,2,3,solid circle,yellow,1,3,solid triangle,blue,2,3,solid rectangle,green,2,3,solid 44 | (#t) triangle,green,1,3,solid 45 | (#t #f #t) rectangle,green,3,3,solid rectangle,blue,3,3,solid triangle,green,1,3,solid 46 | (#f #f #f #t) triangle,blue,1,3,solid rectangle,blue,3,3,solid circle,yellow,1,3,solid triangle,green,3,3,solid 47 | (#t #f) rectangle,green,1,3,solid circle,yellow,3,3,solid 48 | (#f #t #t) circle,green,2,3,solid rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid 49 | (#t #f) rectangle,green,1,3,solid rectangle,blue,2,3,solid 50 | (#f) triangle,blue,1,3,solid 51 | (#f #f #t #t #t) rectangle,blue,3,3,solid circle,yellow,2,3,solid rectangle,yellow,2,3,solid circle,blue,3,3,solid triangle,yellow,2,3,solid 52 | (#t #t #f) triangle,green,1,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid 53 | (#f #f #t #t #t) circle,yellow,1,3,solid rectangle,blue,1,3,solid rectangle,green,2,3,solid circle,blue,2,3,solid triangle,green,1,3,solid 54 | (#t #t #t) rectangle,yellow,1,3,solid rectangle,green,2,3,solid triangle,yellow,3,3,solid 55 | (#t #t #f) rectangle,green,3,3,solid rectangle,yellow,1,3,solid triangle,blue,1,3,solid 56 | (#t #t #f #t #t) circle,blue,1,3,solid triangle,yellow,2,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid rectangle,yellow,1,3,solid 57 | (#t #t #f #f #t) rectangle,green,1,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid circle,green,3,3,solid rectangle,yellow,2,3,solid 58 | (#t #f) rectangle,green,2,3,solid circle,green,3,3,solid 59 | (#t #t) triangle,green,1,3,solid triangle,yellow,2,3,solid 60 | (#t #t) rectangle,green,2,3,solid circle,blue,3,3,solid 61 | (#t #f) rectangle,yellow,1,3,solid circle,yellow,3,3,solid 62 | (#t) triangle,green,2,3,solid 63 | (#f #t) rectangle,blue,3,3,solid circle,blue,3,3,solid 64 | (#f #t) circle,yellow,1,3,solid circle,blue,2,3,solid 65 | (#t) triangle,yellow,3,3,solid 66 | (#f #t) circle,yellow,3,3,solid triangle,green,3,3,solid 67 | (#f #t #t #f) triangle,blue,1,3,solid triangle,yellow,3,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid 68 | (#t #t #t #f) triangle,yellow,3,3,solid rectangle,green,3,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid 69 | (#f #t #t) circle,green,1,3,solid rectangle,yellow,3,3,solid circle,blue,2,3,solid 70 | (#t #t #t #t #t) circle,blue,2,3,solid triangle,green,2,3,solid rectangle,green,3,3,solid triangle,green,1,3,solid rectangle,yellow,1,3,solid 71 | (#f #t #f #f) triangle,blue,3,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid 72 | (#t #f #t #f) triangle,green,2,3,solid circle,yellow,2,3,solid triangle,yellow,2,3,solid circle,green,3,3,solid 73 | (#t #t) triangle,green,1,3,solid rectangle,yellow,3,3,solid 74 | (#t #t #f) triangle,green,2,3,solid circle,blue,1,3,solid rectangle,blue,2,3,solid 75 | (#f #f #t #t) triangle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid 76 | (#t #f #t #f) circle,blue,2,3,solid circle,yellow,1,3,solid triangle,yellow,1,3,solid rectangle,blue,1,3,solid 77 | (#t #t) circle,blue,1,3,solid triangle,green,1,3,solid 78 | (#t #f #f) rectangle,yellow,1,3,solid circle,green,1,3,solid triangle,blue,2,3,solid 79 | (#f) rectangle,blue,3,3,solid 80 | (#t) rectangle,yellow,1,3,solid 81 | (#f #f #t) triangle,blue,2,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid 82 | (#f #f #t) circle,yellow,1,3,solid circle,green,2,3,solid rectangle,yellow,3,3,solid 83 | (#f #t #f) rectangle,blue,3,3,solid rectangle,green,3,3,solid circle,yellow,1,3,solid 84 | (#f #t) circle,yellow,1,3,solid triangle,yellow,2,3,solid 85 | (#t) circle,blue,2,3,solid 86 | (#f #f #f #f #f) triangle,blue,2,3,solid triangle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,blue,1,3,solid rectangle,blue,2,3,solid 87 | (#t #f) circle,blue,3,3,solid circle,yellow,2,3,solid 88 | (#f #t #t) triangle,blue,2,3,solid rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 89 | (#t #f #f) rectangle,green,1,3,solid circle,yellow,3,3,solid circle,yellow,1,3,solid 90 | (#t) triangle,yellow,2,3,solid 91 | (#f) circle,green,3,3,solid 92 | (#t) circle,blue,3,3,solid 93 | (#f) rectangle,blue,2,3,solid 94 | (#t #f #f) triangle,green,1,3,solid circle,yellow,3,3,solid circle,yellow,1,3,solid 95 | (#t) circle,blue,3,3,solid 96 | (#t #f #t #t) rectangle,green,3,3,solid circle,yellow,3,3,solid rectangle,yellow,1,3,solid triangle,green,2,3,solid 97 | (#t) triangle,green,2,3,solid 98 | (#f #t #t #f #t) rectangle,blue,2,3,solid triangle,green,1,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid rectangle,yellow,3,3,solid 99 | (#t #f #t #f #f) rectangle,yellow,2,3,solid triangle,blue,3,3,solid triangle,green,3,3,solid circle,green,2,3,solid circle,yellow,2,3,solid 100 | (#t) rectangle,green,2,3,solid 101 | (#f #t) circle,green,3,3,solid rectangle,yellow,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg36__LIST_L2.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (exists* (lambda (y) (and* (gt* (size* x) (size* y)) (eqv* (color* y) 'blue))) S))) 2 | (#f #t #t #t) rectangle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,green,2,3,solid circle,blue,2,3,solid 3 | (#f) circle,yellow,2,3,solid 4 | (#t #f #f) circle,yellow,3,3,solid triangle,yellow,1,3,solid rectangle,blue,2,3,solid 5 | (#f #t #t #f) triangle,blue,1,3,solid triangle,blue,3,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid 6 | (#f #t #t #f) rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid triangle,blue,2,3,solid 7 | (#f #f) circle,yellow,1,3,solid triangle,blue,2,3,solid 8 | (#t #f) triangle,blue,3,3,solid circle,blue,1,3,solid 9 | (#f) circle,blue,3,3,solid 10 | (#f #t #f) rectangle,green,2,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid 11 | (#f #f) circle,blue,3,3,solid triangle,blue,3,3,solid 12 | (#f #t #t #f) circle,blue,1,3,solid circle,blue,3,3,solid circle,yellow,3,3,solid circle,green,1,3,solid 13 | (#f #f #f) circle,green,1,3,solid circle,yellow,1,3,solid triangle,green,3,3,solid 14 | (#f #f #f #f) circle,yellow,1,3,solid rectangle,green,2,3,solid rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 15 | (#f #f) circle,yellow,2,3,solid triangle,green,2,3,solid 16 | (#f #f #f) triangle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,green,2,3,solid 17 | (#f #f #f #f) circle,yellow,1,3,solid triangle,green,2,3,solid rectangle,blue,2,3,solid triangle,blue,2,3,solid 18 | (#f #f) circle,yellow,3,3,solid rectangle,green,3,3,solid 19 | (#f #f #f #f) rectangle,green,2,3,solid triangle,green,3,3,solid circle,yellow,1,3,solid rectangle,green,3,3,solid 20 | (#f #t #t) rectangle,blue,1,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid 21 | (#f #f #f #f) circle,blue,3,3,solid triangle,green,1,3,solid triangle,green,2,3,solid rectangle,green,2,3,solid 22 | (#f) circle,yellow,2,3,solid 23 | (#f #f) triangle,yellow,1,3,solid circle,yellow,3,3,solid 24 | (#t #f #f #f) circle,yellow,3,3,solid circle,green,2,3,solid circle,blue,2,3,solid circle,yellow,1,3,solid 25 | (#f #f #f) rectangle,yellow,3,3,solid circle,green,1,3,solid circle,green,3,3,solid 26 | (#f #t #t) rectangle,blue,1,3,solid rectangle,blue,3,3,solid circle,blue,2,3,solid 27 | (#f) rectangle,yellow,3,3,solid 28 | (#f #f #t #f #f) circle,green,1,3,solid rectangle,green,1,3,solid triangle,green,3,3,solid rectangle,blue,1,3,solid circle,yellow,1,3,solid 29 | (#f #f) rectangle,yellow,2,3,solid rectangle,yellow,3,3,solid 30 | (#f #f #t) rectangle,yellow,1,3,solid circle,blue,2,3,solid triangle,green,3,3,solid 31 | (#f #f) rectangle,blue,1,3,solid circle,yellow,1,3,solid 32 | (#f #t #t #f) triangle,yellow,1,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid triangle,blue,1,3,solid 33 | (#f #f #t #t #f) triangle,green,1,3,solid circle,blue,1,3,solid rectangle,green,2,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid 34 | (#f #f) rectangle,blue,2,3,solid rectangle,green,2,3,solid 35 | (#f #f #f #t #f) rectangle,green,2,3,solid circle,green,1,3,solid circle,green,2,3,solid circle,blue,3,3,solid triangle,blue,2,3,solid 36 | (#t #f #t #t #t) rectangle,yellow,3,3,solid circle,blue,1,3,solid circle,yellow,2,3,solid circle,blue,3,3,solid triangle,yellow,3,3,solid 37 | (#f #f #f) triangle,blue,2,3,solid triangle,yellow,2,3,solid rectangle,yellow,1,3,solid 38 | (#f #f #f #t) rectangle,green,2,3,solid circle,green,1,3,solid rectangle,blue,2,3,solid circle,green,3,3,solid 39 | (#f) triangle,green,1,3,solid 40 | (#f) circle,green,3,3,solid 41 | (#f #f #f) circle,yellow,2,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid 42 | (#t #f #t) circle,yellow,3,3,solid rectangle,blue,1,3,solid rectangle,blue,3,3,solid 43 | (#f #f) rectangle,green,1,3,solid circle,yellow,1,3,solid 44 | (#t #f #t #t #t) triangle,green,3,3,solid triangle,blue,2,3,solid rectangle,green,3,3,solid rectangle,yellow,3,3,solid triangle,yellow,3,3,solid 45 | (#f) circle,yellow,2,3,solid 46 | (#f) triangle,green,1,3,solid 47 | (#f #f) triangle,green,1,3,solid triangle,yellow,1,3,solid 48 | (#f) circle,yellow,3,3,solid 49 | (#f #t #t) rectangle,blue,1,3,solid circle,yellow,3,3,solid circle,blue,3,3,solid 50 | (#t #f) triangle,green,2,3,solid triangle,blue,1,3,solid 51 | (#t #f) circle,blue,3,3,solid rectangle,blue,2,3,solid 52 | (#t #t #t #f #t) triangle,green,3,3,solid triangle,yellow,2,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid circle,green,2,3,solid 53 | (#f) triangle,blue,2,3,solid 54 | (#f) triangle,blue,1,3,solid 55 | (#t #f #f) circle,blue,2,3,solid triangle,blue,1,3,solid circle,yellow,1,3,solid 56 | (#t #t #t #f) circle,green,2,3,solid circle,yellow,2,3,solid triangle,blue,2,3,solid triangle,blue,1,3,solid 57 | (#f #t #t #t #t) rectangle,blue,1,3,solid triangle,blue,3,3,solid rectangle,blue,2,3,solid rectangle,yellow,3,3,solid circle,yellow,3,3,solid 58 | (#f) triangle,blue,1,3,solid 59 | (#f) triangle,yellow,3,3,solid 60 | (#f #f #f #f) rectangle,green,3,3,solid circle,blue,3,3,solid circle,yellow,2,3,solid rectangle,yellow,1,3,solid 61 | (#f) triangle,yellow,2,3,solid 62 | (#f) triangle,green,2,3,solid 63 | (#t #f #t #t #f) triangle,yellow,3,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid circle,blue,3,3,solid rectangle,yellow,1,3,solid 64 | (#f) rectangle,blue,2,3,solid 65 | (#t #f #t #t) rectangle,green,3,3,solid circle,blue,1,3,solid rectangle,blue,3,3,solid circle,yellow,2,3,solid 66 | (#f) circle,green,3,3,solid 67 | (#f #f #t) triangle,blue,1,3,solid triangle,yellow,1,3,solid triangle,yellow,3,3,solid 68 | (#f #f) circle,blue,3,3,solid rectangle,green,2,3,solid 69 | (#f #t #f #f #f) rectangle,blue,2,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid circle,green,1,3,solid triangle,green,2,3,solid 70 | (#f #t #f #f #t) circle,green,1,3,solid triangle,yellow,2,3,solid circle,yellow,1,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid 71 | (#f) rectangle,yellow,3,3,solid 72 | (#f #t #t #t #t) circle,blue,1,3,solid rectangle,yellow,2,3,solid circle,yellow,2,3,solid triangle,green,2,3,solid circle,yellow,3,3,solid 73 | (#f #f #f #f #f) circle,blue,2,3,solid rectangle,green,2,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid triangle,green,1,3,solid 74 | (#f #f) circle,green,1,3,solid triangle,green,3,3,solid 75 | (#t #f #t) circle,yellow,3,3,solid triangle,blue,2,3,solid triangle,yellow,3,3,solid 76 | (#f #f #f) circle,green,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,3,3,solid 77 | (#f #t #f #f) rectangle,yellow,1,3,solid triangle,yellow,3,3,solid triangle,green,1,3,solid triangle,blue,1,3,solid 78 | (#f #f #f) triangle,green,3,3,solid circle,green,2,3,solid triangle,blue,3,3,solid 79 | (#f) circle,yellow,3,3,solid 80 | (#f #f #f) rectangle,yellow,3,3,solid triangle,yellow,3,3,solid rectangle,yellow,2,3,solid 81 | (#t #f) circle,green,2,3,solid triangle,blue,1,3,solid 82 | (#f) rectangle,green,3,3,solid 83 | (#f) circle,blue,1,3,solid 84 | (#f #f #f) triangle,green,2,3,solid rectangle,yellow,1,3,solid rectangle,yellow,3,3,solid 85 | (#f) circle,green,3,3,solid 86 | (#t #t #t #f) triangle,yellow,3,3,solid rectangle,yellow,3,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid 87 | (#f #f #f #f) rectangle,yellow,1,3,solid triangle,yellow,1,3,solid triangle,green,3,3,solid circle,yellow,2,3,solid 88 | (#f #f) circle,green,1,3,solid triangle,yellow,2,3,solid 89 | (#f #f) rectangle,yellow,3,3,solid triangle,yellow,1,3,solid 90 | (#f #t #f) triangle,green,1,3,solid circle,blue,3,3,solid rectangle,blue,1,3,solid 91 | (#t #f #f #f) triangle,green,3,3,solid circle,blue,1,3,solid circle,green,1,3,solid triangle,green,1,3,solid 92 | (#f) circle,blue,3,3,solid 93 | (#f #f) circle,green,2,3,solid rectangle,yellow,1,3,solid 94 | (#f #f) triangle,green,2,3,solid circle,green,3,3,solid 95 | (#f #t #t #f #f) circle,green,2,3,solid rectangle,green,3,3,solid rectangle,blue,3,3,solid rectangle,blue,2,3,solid rectangle,green,1,3,solid 96 | (#f #f #f) circle,yellow,1,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid 97 | (#f #f) rectangle,blue,3,3,solid circle,yellow,3,3,solid 98 | (#t #f #t #f #t) triangle,yellow,2,3,solid triangle,blue,1,3,solid rectangle,yellow,2,3,solid rectangle,blue,1,3,solid triangle,blue,2,3,solid 99 | (#f) triangle,blue,2,3,solid 100 | (#f #f) triangle,blue,1,3,solid circle,yellow,1,3,solid 101 | (#f #f #t #f) circle,green,2,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid rectangle,yellow,1,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg55__LIST_L2.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (eqv-SFL-object* x (unique-largest* (filter* (lambda (y) (eqv* (color* y) 'blue)) S))))) 2 | (#f #f #f #t #f) rectangle,blue,2,3,solid circle,green,3,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid rectangle,yellow,3,3,solid 3 | (#t #f #f #f) rectangle,blue,3,3,solid triangle,blue,1,3,solid rectangle,green,1,3,solid circle,green,3,3,solid 4 | (#f #f #t #f) triangle,green,1,3,solid triangle,yellow,2,3,solid circle,blue,1,3,solid rectangle,yellow,2,3,solid 5 | (#f) circle,yellow,3,3,solid 6 | (#f #f) triangle,yellow,1,3,solid triangle,yellow,2,3,solid 7 | (#t #f #f #f) circle,blue,2,3,solid circle,green,2,3,solid circle,yellow,3,3,solid rectangle,yellow,1,3,solid 8 | (#f #f #f #t #f) rectangle,green,1,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,2,3,solid 9 | (#t #f #f) triangle,blue,3,3,solid circle,green,3,3,solid circle,green,1,3,solid 10 | (#f #t #f #f) rectangle,green,2,3,solid rectangle,blue,1,3,solid circle,yellow,1,3,solid rectangle,yellow,1,3,solid 11 | (#f #f) rectangle,yellow,1,3,solid rectangle,yellow,3,3,solid 12 | (#f #f #t) circle,blue,2,3,solid rectangle,blue,1,3,solid circle,blue,3,3,solid 13 | (#t) rectangle,blue,2,3,solid 14 | (#f #f #f) circle,yellow,2,3,solid triangle,yellow,1,3,solid circle,yellow,3,3,solid 15 | (#f #f #f #f) circle,green,2,3,solid circle,yellow,2,3,solid triangle,green,2,3,solid triangle,green,1,3,solid 16 | (#f #f) triangle,green,1,3,solid circle,green,1,3,solid 17 | (#f #f #f #f #f) triangle,yellow,2,3,solid circle,yellow,3,3,solid circle,yellow,2,3,solid triangle,green,3,3,solid rectangle,yellow,2,3,solid 18 | (#f #f #f #f #f) rectangle,green,3,3,solid triangle,green,3,3,solid circle,blue,1,3,solid triangle,blue,1,3,solid triangle,yellow,1,3,solid 19 | (#f) circle,green,2,3,solid 20 | (#f #t) rectangle,green,2,3,solid circle,blue,2,3,solid 21 | (#t) triangle,blue,2,3,solid 22 | (#f) rectangle,green,3,3,solid 23 | (#f #f #f #f #t) circle,green,1,3,solid triangle,yellow,3,3,solid rectangle,green,2,3,solid triangle,green,3,3,solid triangle,blue,3,3,solid 24 | (#f #f #f #f #t) circle,blue,2,3,solid triangle,green,1,3,solid triangle,green,3,3,solid circle,green,3,3,solid circle,blue,3,3,solid 25 | (#f #f #t) triangle,yellow,1,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid 26 | (#f #t #f) triangle,green,2,3,solid rectangle,blue,1,3,solid circle,yellow,3,3,solid 27 | (#t #f) rectangle,blue,1,3,solid circle,yellow,1,3,solid 28 | (#f #t) circle,green,2,3,solid triangle,blue,1,3,solid 29 | (#f #f) rectangle,green,1,3,solid rectangle,yellow,1,3,solid 30 | (#f #t) circle,green,1,3,solid circle,blue,1,3,solid 31 | (#t) triangle,blue,1,3,solid 32 | (#f #f #t) rectangle,green,3,3,solid circle,green,1,3,solid triangle,blue,2,3,solid 33 | (#t) triangle,blue,2,3,solid 34 | (#t) rectangle,blue,1,3,solid 35 | (#t #f #f #f) circle,blue,2,3,solid rectangle,green,1,3,solid circle,blue,1,3,solid rectangle,green,3,3,solid 36 | (#f) rectangle,green,1,3,solid 37 | (#t #f #f) triangle,blue,3,3,solid circle,green,2,3,solid rectangle,green,1,3,solid 38 | (#f #f #f #f #f) circle,green,3,3,solid rectangle,green,2,3,solid triangle,green,1,3,solid rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid 39 | (#f #f #f #f) triangle,green,1,3,solid rectangle,blue,3,3,solid rectangle,green,2,3,solid triangle,blue,3,3,solid 40 | (#f #t #f #f) rectangle,blue,1,3,solid circle,blue,3,3,solid rectangle,yellow,3,3,solid circle,yellow,1,3,solid 41 | (#f #f #f) rectangle,yellow,1,3,solid circle,green,2,3,solid triangle,yellow,2,3,solid 42 | (#f #f #f #f) circle,green,2,3,solid triangle,blue,1,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid 43 | (#f #t) circle,green,2,3,solid circle,blue,2,3,solid 44 | (#f #t) rectangle,yellow,2,3,solid circle,blue,2,3,solid 45 | (#f) rectangle,yellow,3,3,solid 46 | (#f #f #t) circle,blue,2,3,solid triangle,yellow,2,3,solid triangle,blue,3,3,solid 47 | (#f #f) triangle,yellow,3,3,solid circle,green,1,3,solid 48 | (#f #t #f #f) circle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,green,1,3,solid circle,green,2,3,solid 49 | (#t #f) circle,blue,3,3,solid rectangle,yellow,3,3,solid 50 | (#f #t) triangle,yellow,3,3,solid rectangle,blue,2,3,solid 51 | (#f) triangle,green,2,3,solid 52 | (#f #f) rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 53 | (#t) rectangle,blue,1,3,solid 54 | (#f #t) circle,yellow,3,3,solid circle,blue,1,3,solid 55 | (#t #f #f) circle,blue,3,3,solid rectangle,green,1,3,solid triangle,green,1,3,solid 56 | (#t) circle,blue,2,3,solid 57 | (#f #t #f) rectangle,blue,1,3,solid circle,blue,2,3,solid rectangle,green,1,3,solid 58 | (#t) triangle,blue,2,3,solid 59 | (#f #f #f #f) circle,blue,2,3,solid circle,green,3,3,solid rectangle,yellow,2,3,solid rectangle,blue,2,3,solid 60 | (#f #f) triangle,yellow,2,3,solid triangle,yellow,1,3,solid 61 | (#f) rectangle,green,3,3,solid 62 | (#f) circle,green,1,3,solid 63 | (#f #t #f #f) circle,green,3,3,solid triangle,blue,3,3,solid triangle,blue,1,3,solid circle,green,1,3,solid 64 | (#f #t) rectangle,yellow,3,3,solid rectangle,blue,2,3,solid 65 | (#f #t #f #f) triangle,green,1,3,solid rectangle,blue,2,3,solid circle,yellow,1,3,solid circle,green,3,3,solid 66 | (#t) triangle,blue,3,3,solid 67 | (#t) circle,blue,3,3,solid 68 | (#f) rectangle,green,2,3,solid 69 | (#f #t #f #f #f) rectangle,yellow,3,3,solid triangle,blue,3,3,solid circle,green,3,3,solid triangle,blue,2,3,solid triangle,yellow,2,3,solid 70 | (#f #t) rectangle,yellow,1,3,solid triangle,blue,2,3,solid 71 | (#f) rectangle,green,2,3,solid 72 | (#t #f #f) triangle,blue,2,3,solid rectangle,yellow,1,3,solid rectangle,green,2,3,solid 73 | (#f #f #f) circle,yellow,1,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid 74 | (#f #t) triangle,green,1,3,solid triangle,blue,1,3,solid 75 | (#f #t #f #f) rectangle,green,1,3,solid rectangle,blue,3,3,solid circle,green,2,3,solid triangle,blue,2,3,solid 76 | (#f #f) circle,green,1,3,solid rectangle,green,2,3,solid 77 | (#f #t #f #f) rectangle,yellow,3,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid rectangle,green,1,3,solid 78 | (#t #f #f) triangle,blue,3,3,solid rectangle,yellow,3,3,solid triangle,green,1,3,solid 79 | (#f #t) circle,green,3,3,solid triangle,blue,3,3,solid 80 | (#f #f #f #t) triangle,green,2,3,solid triangle,yellow,2,3,solid rectangle,yellow,2,3,solid circle,blue,1,3,solid 81 | (#f #f #f) rectangle,green,1,3,solid circle,green,2,3,solid circle,yellow,2,3,solid 82 | (#f #f) circle,yellow,2,3,solid rectangle,yellow,3,3,solid 83 | (#t #f #f #f #f) triangle,blue,3,3,solid circle,green,1,3,solid rectangle,blue,2,3,solid rectangle,blue,1,3,solid circle,blue,2,3,solid 84 | (#f) circle,green,3,3,solid 85 | (#f #f #f #f) circle,yellow,3,3,solid circle,blue,3,3,solid rectangle,green,3,3,solid rectangle,blue,3,3,solid 86 | (#f #f #f #f #t) triangle,blue,2,3,solid circle,green,2,3,solid rectangle,green,2,3,solid circle,green,3,3,solid triangle,blue,3,3,solid 87 | (#f #f #f) rectangle,blue,3,3,solid triangle,blue,3,3,solid triangle,green,1,3,solid 88 | (#f #f #f #f) circle,yellow,3,3,solid circle,green,1,3,solid rectangle,green,3,3,solid circle,yellow,1,3,solid 89 | (#f #f #f #f) circle,yellow,1,3,solid circle,green,2,3,solid triangle,green,1,3,solid circle,green,3,3,solid 90 | (#f #f #t) rectangle,green,2,3,solid triangle,yellow,2,3,solid triangle,blue,3,3,solid 91 | (#f #t #f #f) rectangle,yellow,1,3,solid rectangle,blue,2,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid 92 | (#f #f #t) circle,green,1,3,solid circle,green,2,3,solid triangle,blue,3,3,solid 93 | (#f) triangle,green,3,3,solid 94 | (#f #f #f #f #t) circle,yellow,2,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid rectangle,green,1,3,solid triangle,blue,2,3,solid 95 | (#t) circle,blue,3,3,solid 96 | (#t #f #f) circle,blue,3,3,solid rectangle,green,2,3,solid triangle,yellow,1,3,solid 97 | (#t #f #f #f) rectangle,blue,2,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid rectangle,yellow,2,3,solid 98 | (#f #f #t #f #f) triangle,green,3,3,solid rectangle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,yellow,2,3,solid circle,yellow,2,3,solid 99 | (#f #t) rectangle,yellow,2,3,solid triangle,blue,3,3,solid 100 | (#f #t #f) rectangle,blue,1,3,solid triangle,blue,2,3,solid triangle,green,3,3,solid 101 | (#f #f #f #t #f) circle,green,1,3,solid triangle,blue,2,3,solid circle,blue,1,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg23__LIST_L1.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (or* (eqv* (size* x) 2) (eqv* (size* x) 1))) 2 | (#t #f #t) circle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid 3 | (#t #t #t #t #t) triangle,yellow,2,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid circle,yellow,1,3,solid rectangle,yellow,1,3,solid 4 | (#f #t) circle,green,3,3,solid rectangle,blue,2,3,solid 5 | (#t #f) circle,yellow,2,3,solid rectangle,yellow,3,3,solid 6 | (#f #t) rectangle,yellow,3,3,solid triangle,blue,2,3,solid 7 | (#t #f #t #f) rectangle,yellow,2,3,solid circle,blue,3,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid 8 | (#t) rectangle,green,2,3,solid 9 | (#t #f #f) circle,yellow,1,3,solid triangle,green,3,3,solid rectangle,blue,3,3,solid 10 | (#t #t #t #t) triangle,green,2,3,solid circle,blue,1,3,solid circle,green,2,3,solid triangle,blue,1,3,solid 11 | (#f) rectangle,green,3,3,solid 12 | (#f) triangle,green,3,3,solid 13 | (#t #f #t) rectangle,yellow,2,3,solid triangle,blue,3,3,solid circle,yellow,1,3,solid 14 | (#t #f #t #t #f) circle,blue,2,3,solid triangle,yellow,3,3,solid circle,yellow,1,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid 15 | (#t #f #t #f) triangle,yellow,2,3,solid triangle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,3,3,solid 16 | (#t #t #t #t) triangle,green,2,3,solid rectangle,yellow,1,3,solid rectangle,blue,2,3,solid triangle,green,1,3,solid 17 | (#t #f) rectangle,blue,2,3,solid circle,yellow,3,3,solid 18 | (#t #t) circle,yellow,1,3,solid triangle,green,2,3,solid 19 | (#t #t #t #f #t) triangle,green,1,3,solid triangle,blue,2,3,solid rectangle,yellow,1,3,solid circle,yellow,3,3,solid circle,green,1,3,solid 20 | (#f #t #f) circle,yellow,3,3,solid rectangle,yellow,2,3,solid triangle,yellow,3,3,solid 21 | (#t) rectangle,green,2,3,solid 22 | (#t #t #t) circle,yellow,2,3,solid rectangle,green,2,3,solid triangle,blue,1,3,solid 23 | (#t #t #t) circle,blue,2,3,solid circle,yellow,1,3,solid rectangle,green,1,3,solid 24 | (#t #f) triangle,blue,2,3,solid circle,green,3,3,solid 25 | (#t #t #t) circle,yellow,1,3,solid rectangle,blue,2,3,solid rectangle,yellow,1,3,solid 26 | (#t #f #f #t) circle,green,2,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid triangle,green,1,3,solid 27 | (#t) circle,green,2,3,solid 28 | (#t #t #f #t) triangle,yellow,1,3,solid circle,green,1,3,solid rectangle,yellow,3,3,solid triangle,green,1,3,solid 29 | (#t #t #t #t #f) rectangle,blue,1,3,solid circle,yellow,2,3,solid rectangle,green,1,3,solid triangle,yellow,2,3,solid circle,yellow,3,3,solid 30 | (#t #t #t #t #f) triangle,yellow,1,3,solid triangle,green,2,3,solid circle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,green,3,3,solid 31 | (#t #t) triangle,green,2,3,solid circle,blue,1,3,solid 32 | (#t) triangle,blue,2,3,solid 33 | (#f #f #t) triangle,blue,3,3,solid triangle,green,3,3,solid rectangle,green,2,3,solid 34 | (#f #t) rectangle,yellow,3,3,solid rectangle,green,1,3,solid 35 | (#t #t #t) circle,green,1,3,solid rectangle,green,1,3,solid triangle,green,2,3,solid 36 | (#t #t #f #f) rectangle,green,2,3,solid rectangle,yellow,2,3,solid triangle,green,3,3,solid circle,yellow,3,3,solid 37 | (#t #f #t #t #t) circle,blue,1,3,solid triangle,green,3,3,solid circle,yellow,2,3,solid rectangle,green,1,3,solid triangle,yellow,1,3,solid 38 | (#t #t) rectangle,blue,1,3,solid triangle,green,2,3,solid 39 | (#f) triangle,blue,3,3,solid 40 | (#t #f #t #t) rectangle,blue,2,3,solid triangle,blue,3,3,solid rectangle,blue,1,3,solid triangle,green,1,3,solid 41 | (#t) rectangle,green,1,3,solid 42 | (#f #t) rectangle,blue,3,3,solid circle,yellow,1,3,solid 43 | (#t) rectangle,green,1,3,solid 44 | (#t) circle,green,1,3,solid 45 | (#f #t #t #t #t) rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid circle,yellow,2,3,solid triangle,yellow,2,3,solid triangle,blue,2,3,solid 46 | (#f #t #t) rectangle,green,3,3,solid triangle,yellow,2,3,solid rectangle,yellow,1,3,solid 47 | (#t #t #t #t) triangle,green,1,3,solid triangle,blue,1,3,solid triangle,blue,2,3,solid rectangle,blue,2,3,solid 48 | (#f #t) circle,green,3,3,solid triangle,green,2,3,solid 49 | (#f #t) triangle,green,3,3,solid triangle,blue,2,3,solid 50 | (#f #t #t #f) triangle,blue,3,3,solid circle,blue,2,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid 51 | (#t #f #f) triangle,green,2,3,solid rectangle,blue,3,3,solid triangle,blue,3,3,solid 52 | (#t #t) circle,green,2,3,solid rectangle,yellow,1,3,solid 53 | (#f) circle,blue,3,3,solid 54 | (#f #t) circle,yellow,3,3,solid rectangle,yellow,1,3,solid 55 | (#t #f #t #t #f) rectangle,blue,1,3,solid triangle,blue,3,3,solid circle,green,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid 56 | (#t #f) circle,yellow,2,3,solid circle,green,3,3,solid 57 | (#f) circle,blue,3,3,solid 58 | (#t) rectangle,green,2,3,solid 59 | (#t) circle,blue,2,3,solid 60 | (#f #t #f #f) triangle,blue,3,3,solid circle,green,2,3,solid circle,blue,3,3,solid triangle,yellow,3,3,solid 61 | (#t) rectangle,blue,1,3,solid 62 | (#t #f) circle,green,2,3,solid rectangle,blue,3,3,solid 63 | (#t) rectangle,blue,1,3,solid 64 | (#t #t) circle,blue,2,3,solid rectangle,blue,1,3,solid 65 | (#f) circle,green,3,3,solid 66 | (#f #f) circle,blue,3,3,solid rectangle,yellow,3,3,solid 67 | (#t #t #f #t) circle,yellow,2,3,solid rectangle,blue,1,3,solid circle,green,3,3,solid rectangle,yellow,1,3,solid 68 | (#t #f #t #f #f) triangle,yellow,2,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid 69 | (#t #t) triangle,yellow,1,3,solid triangle,blue,1,3,solid 70 | (#t #t #t #t) circle,blue,2,3,solid rectangle,blue,1,3,solid triangle,green,2,3,solid rectangle,blue,2,3,solid 71 | (#t #t #t) rectangle,green,1,3,solid triangle,green,2,3,solid rectangle,blue,2,3,solid 72 | (#t #t) circle,blue,2,3,solid triangle,blue,2,3,solid 73 | (#t #t #t #t #t) rectangle,yellow,1,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid triangle,yellow,2,3,solid circle,blue,1,3,solid 74 | (#t #f #t #f) triangle,yellow,2,3,solid circle,blue,3,3,solid rectangle,yellow,1,3,solid triangle,green,3,3,solid 75 | (#f #f #t) triangle,green,3,3,solid rectangle,yellow,3,3,solid triangle,yellow,2,3,solid 76 | (#f #t #t) rectangle,green,3,3,solid rectangle,yellow,1,3,solid triangle,green,2,3,solid 77 | (#t #f #t) triangle,yellow,1,3,solid triangle,blue,3,3,solid triangle,green,2,3,solid 78 | (#t #f #t #t) rectangle,yellow,1,3,solid triangle,green,3,3,solid circle,green,1,3,solid rectangle,green,2,3,solid 79 | (#t #f #t) rectangle,blue,1,3,solid rectangle,green,3,3,solid circle,blue,2,3,solid 80 | (#f #f #f #f #t) rectangle,green,3,3,solid rectangle,blue,3,3,solid circle,blue,3,3,solid rectangle,yellow,3,3,solid circle,yellow,2,3,solid 81 | (#f #t #t #t #t) rectangle,blue,3,3,solid circle,yellow,2,3,solid rectangle,green,2,3,solid circle,green,1,3,solid rectangle,yellow,2,3,solid 82 | (#f) circle,yellow,3,3,solid 83 | (#t #t) rectangle,green,1,3,solid circle,green,2,3,solid 84 | (#t) rectangle,blue,1,3,solid 85 | (#t #t #t #f) triangle,green,1,3,solid circle,blue,2,3,solid triangle,blue,2,3,solid triangle,yellow,3,3,solid 86 | (#f #f) rectangle,yellow,3,3,solid circle,blue,3,3,solid 87 | (#t #f #t #t #t) circle,green,2,3,solid triangle,yellow,3,3,solid triangle,yellow,1,3,solid rectangle,green,1,3,solid triangle,green,2,3,solid 88 | (#t #f #f #f #t) triangle,green,2,3,solid circle,green,3,3,solid circle,yellow,3,3,solid rectangle,yellow,3,3,solid triangle,green,1,3,solid 89 | (#t #f #t #t #t) circle,blue,2,3,solid circle,blue,3,3,solid rectangle,yellow,2,3,solid circle,yellow,1,3,solid circle,yellow,2,3,solid 90 | (#t #t) circle,yellow,1,3,solid rectangle,blue,2,3,solid 91 | (#t #t #f) triangle,green,1,3,solid triangle,blue,2,3,solid circle,green,3,3,solid 92 | (#t #t #f #t) triangle,yellow,1,3,solid circle,green,1,3,solid circle,green,3,3,solid rectangle,blue,2,3,solid 93 | (#f #t #t) triangle,green,3,3,solid circle,green,1,3,solid rectangle,green,1,3,solid 94 | (#t) circle,green,2,3,solid 95 | (#f) circle,green,3,3,solid 96 | (#t #t #f) circle,yellow,2,3,solid rectangle,blue,2,3,solid circle,yellow,3,3,solid 97 | (#t) triangle,blue,2,3,solid 98 | (#t #f) circle,yellow,2,3,solid triangle,green,3,3,solid 99 | (#t #t #t #f) circle,yellow,2,3,solid circle,yellow,1,3,solid rectangle,green,1,3,solid circle,green,3,3,solid 100 | (#f #t #f) rectangle,blue,3,3,solid triangle,yellow,2,3,solid rectangle,green,3,3,solid 101 | (#t #t) circle,green,1,3,solid rectangle,green,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg93__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (is-the-unique* x (lambda (y) (or* (eqv* (color* y) 'blue) (eqv* (shape* y) 'circle))) S))) 2 | (#t) circle,blue,3,3,solid 3 | (#f #f) circle,green,1,3,solid circle,green,3,3,solid 4 | (#f #f #t) rectangle,yellow,2,3,solid triangle,yellow,2,3,solid circle,green,3,3,solid 5 | (#f #f #f #f #f) triangle,blue,1,3,solid triangle,green,1,3,solid rectangle,yellow,1,3,solid rectangle,blue,3,3,solid circle,yellow,1,3,solid 6 | (#f #f #f #f #f) triangle,yellow,3,3,solid circle,blue,3,3,solid rectangle,blue,3,3,solid circle,green,3,3,solid triangle,blue,1,3,solid 7 | (#f) triangle,yellow,3,3,solid 8 | (#f #f #f) circle,green,1,3,solid circle,blue,2,3,solid triangle,blue,2,3,solid 9 | (#f #f #f #f #f) triangle,yellow,3,3,solid circle,blue,1,3,solid triangle,yellow,2,3,solid triangle,blue,2,3,solid triangle,blue,1,3,solid 10 | (#f #f #f #f) circle,green,3,3,solid rectangle,yellow,2,3,solid triangle,blue,1,3,solid triangle,yellow,3,3,solid 11 | (#f) rectangle,green,3,3,solid 12 | (#f #f #f #f #f) circle,yellow,2,3,solid rectangle,blue,1,3,solid circle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,3,3,solid 13 | (#t) rectangle,blue,3,3,solid 14 | (#f #f #f #f #f) rectangle,blue,3,3,solid rectangle,yellow,3,3,solid circle,green,2,3,solid circle,yellow,1,3,solid rectangle,yellow,2,3,solid 15 | (#f #f) rectangle,blue,1,3,solid circle,green,2,3,solid 16 | (#f #f #f #f #f) rectangle,yellow,3,3,solid triangle,green,3,3,solid circle,blue,2,3,solid circle,green,2,3,solid triangle,green,2,3,solid 17 | (#t #f) triangle,blue,2,3,solid triangle,green,1,3,solid 18 | (#f) rectangle,yellow,3,3,solid 19 | (#f) rectangle,green,1,3,solid 20 | (#f #f #f) circle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,blue,2,3,solid 21 | (#t #f) circle,green,1,3,solid triangle,green,2,3,solid 22 | (#t #f) circle,green,3,3,solid triangle,green,2,3,solid 23 | (#f) rectangle,yellow,2,3,solid 24 | (#f #f #f) rectangle,blue,3,3,solid circle,yellow,3,3,solid circle,green,1,3,solid 25 | (#t) circle,green,1,3,solid 26 | (#f #f #f) circle,yellow,2,3,solid triangle,blue,1,3,solid circle,blue,1,3,solid 27 | (#f #f #f) rectangle,yellow,1,3,solid triangle,yellow,2,3,solid rectangle,green,3,3,solid 28 | (#f #f #f #f) triangle,yellow,2,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid circle,blue,1,3,solid 29 | (#f #f #f) triangle,yellow,1,3,solid circle,green,2,3,solid rectangle,blue,3,3,solid 30 | (#f #t #f) triangle,yellow,2,3,solid circle,green,1,3,solid rectangle,yellow,3,3,solid 31 | (#f #t) rectangle,yellow,2,3,solid circle,yellow,3,3,solid 32 | (#f) triangle,green,3,3,solid 33 | (#f #f) triangle,green,3,3,solid rectangle,yellow,1,3,solid 34 | (#f #f #f #f) rectangle,green,2,3,solid circle,green,1,3,solid rectangle,yellow,1,3,solid triangle,blue,1,3,solid 35 | (#t #f) rectangle,blue,2,3,solid triangle,yellow,2,3,solid 36 | (#f #f) triangle,blue,3,3,solid rectangle,blue,2,3,solid 37 | (#f) rectangle,green,2,3,solid 38 | (#f #f) triangle,blue,3,3,solid circle,green,3,3,solid 39 | (#f #f #f #f) circle,yellow,3,3,solid triangle,green,3,3,solid rectangle,blue,3,3,solid triangle,blue,1,3,solid 40 | (#f #f #f #f #f) rectangle,yellow,2,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid triangle,green,3,3,solid rectangle,yellow,3,3,solid 41 | (#t) circle,blue,2,3,solid 42 | (#f #t) rectangle,yellow,1,3,solid circle,yellow,3,3,solid 43 | (#f) triangle,green,2,3,solid 44 | (#f) rectangle,green,2,3,solid 45 | (#t) triangle,blue,2,3,solid 46 | (#f #f #f) triangle,yellow,2,3,solid circle,green,1,3,solid circle,yellow,2,3,solid 47 | (#f #t #f) triangle,green,3,3,solid rectangle,blue,1,3,solid rectangle,green,3,3,solid 48 | (#f #f #f #f #f) circle,blue,3,3,solid triangle,green,3,3,solid triangle,yellow,2,3,solid rectangle,green,1,3,solid circle,green,3,3,solid 49 | (#f #f #f #f) circle,blue,2,3,solid rectangle,blue,2,3,solid rectangle,blue,3,3,solid rectangle,yellow,1,3,solid 50 | (#f #f #f #f) rectangle,blue,3,3,solid rectangle,yellow,3,3,solid circle,yellow,3,3,solid triangle,green,2,3,solid 51 | (#f #f #f) triangle,blue,3,3,solid rectangle,green,2,3,solid circle,yellow,3,3,solid 52 | (#f #f #f #f #f) rectangle,blue,3,3,solid circle,blue,3,3,solid circle,green,1,3,solid triangle,blue,1,3,solid triangle,blue,2,3,solid 53 | (#f #f #f #f #f) rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid circle,blue,2,3,solid rectangle,blue,1,3,solid circle,green,1,3,solid 54 | (#f #f) rectangle,green,1,3,solid triangle,yellow,2,3,solid 55 | (#f #f #f #f #t) triangle,yellow,3,3,solid rectangle,yellow,1,3,solid rectangle,green,1,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid 56 | (#t #f) rectangle,blue,2,3,solid triangle,yellow,2,3,solid 57 | (#t #f #f #f) triangle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,yellow,3,3,solid rectangle,green,1,3,solid 58 | (#f #f #f #t #f) triangle,yellow,2,3,solid triangle,yellow,1,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid triangle,yellow,3,3,solid 59 | (#f #f #f) circle,blue,3,3,solid triangle,blue,3,3,solid rectangle,green,1,3,solid 60 | (#f #f #f #f) circle,blue,3,3,solid circle,green,2,3,solid rectangle,blue,3,3,solid rectangle,yellow,3,3,solid 61 | (#f #f #f) rectangle,yellow,1,3,solid circle,yellow,2,3,solid circle,blue,1,3,solid 62 | (#f #t) rectangle,yellow,2,3,solid circle,yellow,3,3,solid 63 | (#f #f #f) rectangle,blue,2,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid 64 | (#f #f) rectangle,green,2,3,solid rectangle,green,3,3,solid 65 | (#f) rectangle,yellow,3,3,solid 66 | (#f #f) triangle,blue,3,3,solid triangle,blue,1,3,solid 67 | (#t) circle,yellow,3,3,solid 68 | (#t) circle,yellow,2,3,solid 69 | (#f #t) rectangle,green,1,3,solid circle,green,1,3,solid 70 | (#f) rectangle,yellow,3,3,solid 71 | (#f #f #f #f) circle,yellow,3,3,solid rectangle,green,3,3,solid rectangle,blue,3,3,solid circle,blue,1,3,solid 72 | (#f #t) rectangle,yellow,3,3,solid circle,yellow,3,3,solid 73 | (#t) circle,blue,1,3,solid 74 | (#t #f #f #f) circle,green,3,3,solid rectangle,yellow,2,3,solid rectangle,green,3,3,solid rectangle,green,2,3,solid 75 | (#f #f #f #f) triangle,green,2,3,solid rectangle,green,1,3,solid triangle,blue,3,3,solid rectangle,blue,3,3,solid 76 | (#f #t) rectangle,green,1,3,solid triangle,blue,1,3,solid 77 | (#f #f) rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid 78 | (#f) rectangle,green,1,3,solid 79 | (#f #f #f #f #f) circle,green,1,3,solid triangle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid 80 | (#t) circle,blue,2,3,solid 81 | (#f #f #f #f #f) rectangle,blue,3,3,solid rectangle,green,1,3,solid rectangle,green,3,3,solid circle,yellow,3,3,solid circle,green,3,3,solid 82 | (#f #f #t) triangle,green,3,3,solid triangle,green,2,3,solid rectangle,blue,2,3,solid 83 | (#f #f #f) rectangle,green,3,3,solid triangle,blue,2,3,solid circle,yellow,1,3,solid 84 | (#f) triangle,yellow,2,3,solid 85 | (#f #f #f #f #f) triangle,yellow,3,3,solid circle,yellow,3,3,solid circle,blue,3,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid 86 | (#t) circle,green,2,3,solid 87 | (#t #f) circle,green,1,3,solid rectangle,green,3,3,solid 88 | (#t) rectangle,blue,2,3,solid 89 | (#f #f) rectangle,blue,2,3,solid circle,blue,2,3,solid 90 | (#t #f #f) circle,green,1,3,solid rectangle,green,1,3,solid triangle,yellow,2,3,solid 91 | (#f #f #f #f) circle,yellow,1,3,solid circle,blue,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,1,3,solid 92 | (#f #f #f #f) circle,blue,2,3,solid triangle,blue,1,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid 93 | (#t) circle,yellow,2,3,solid 94 | (#f #f #f #f #f) circle,green,1,3,solid rectangle,green,2,3,solid rectangle,green,3,3,solid triangle,blue,3,3,solid circle,blue,1,3,solid 95 | (#f #f #t) rectangle,green,1,3,solid triangle,yellow,2,3,solid circle,blue,1,3,solid 96 | (#f #f #f #f) circle,blue,1,3,solid circle,green,3,3,solid circle,green,2,3,solid circle,yellow,3,3,solid 97 | (#f #f #f) triangle,yellow,3,3,solid circle,blue,1,3,solid circle,blue,2,3,solid 98 | (#f #f #f #f #f) circle,yellow,1,3,solid triangle,yellow,1,3,solid rectangle,yellow,2,3,solid circle,green,2,3,solid circle,blue,2,3,solid 99 | (#f) triangle,green,2,3,solid 100 | (#f #f #f #f) rectangle,blue,3,3,solid rectangle,blue,1,3,solid circle,yellow,1,3,solid rectangle,yellow,1,3,solid 101 | (#f #f #f #f #f) triangle,yellow,2,3,solid circle,yellow,1,3,solid triangle,green,2,3,solid triangle,yellow,1,3,solid triangle,blue,3,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg99__LIST_L3.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (contains-SFL-OBJECT* (smallest-set* S) x))) 2 | (#t) triangle,blue,1,3,solid 3 | (#f #f #t) triangle,green,2,3,solid rectangle,green,2,3,solid triangle,green,1,3,solid 4 | (#f #t #f) rectangle,yellow,2,3,solid triangle,blue,1,3,solid circle,green,2,3,solid 5 | (#f #f #f #t #f) triangle,yellow,2,3,solid rectangle,blue,2,3,solid rectangle,yellow,2,3,solid triangle,green,1,3,solid triangle,green,2,3,solid 6 | (#t #t #f #f) circle,green,2,3,solid circle,blue,2,3,solid rectangle,yellow,3,3,solid circle,blue,3,3,solid 7 | (#t) rectangle,yellow,2,3,solid 8 | (#f #t #t) circle,green,3,3,solid rectangle,green,2,3,solid triangle,blue,2,3,solid 9 | (#f #t #f #t) rectangle,blue,2,3,solid rectangle,yellow,1,3,solid triangle,green,3,3,solid circle,green,1,3,solid 10 | (#t) triangle,green,2,3,solid 11 | (#t) triangle,blue,3,3,solid 12 | (#t #f #t #f #t) triangle,green,1,3,solid triangle,yellow,2,3,solid triangle,blue,1,3,solid triangle,green,2,3,solid circle,yellow,1,3,solid 13 | (#f #f #f #t #t) rectangle,green,3,3,solid circle,yellow,2,3,solid rectangle,yellow,3,3,solid rectangle,blue,1,3,solid triangle,blue,1,3,solid 14 | (#f #f #t #f #f) triangle,yellow,3,3,solid circle,green,3,3,solid circle,green,2,3,solid circle,yellow,3,3,solid rectangle,blue,3,3,solid 15 | (#t) triangle,blue,2,3,solid 16 | (#t #f) triangle,yellow,1,3,solid rectangle,green,3,3,solid 17 | (#t #f #f #f) triangle,yellow,1,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,yellow,2,3,solid 18 | (#t) rectangle,blue,3,3,solid 19 | (#t #f #f) triangle,yellow,1,3,solid circle,yellow,3,3,solid circle,blue,3,3,solid 20 | (#f #f #t) circle,blue,3,3,solid rectangle,yellow,3,3,solid triangle,yellow,1,3,solid 21 | (#t) rectangle,green,3,3,solid 22 | (#f #f #f #t) rectangle,blue,2,3,solid circle,blue,3,3,solid triangle,blue,2,3,solid circle,blue,1,3,solid 23 | (#f #f #t) circle,blue,3,3,solid circle,yellow,3,3,solid triangle,yellow,2,3,solid 24 | (#f #t #f #f) rectangle,yellow,3,3,solid circle,yellow,1,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid 25 | (#f #t #t) rectangle,green,2,3,solid triangle,blue,1,3,solid circle,blue,1,3,solid 26 | (#t) triangle,yellow,3,3,solid 27 | (#f #t #f #f) rectangle,green,3,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid 28 | (#t) triangle,blue,3,3,solid 29 | (#t) rectangle,yellow,1,3,solid 30 | (#t) triangle,blue,2,3,solid 31 | (#f #f #t #f) triangle,yellow,3,3,solid triangle,green,2,3,solid rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid 32 | (#t #f #f) rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid 33 | (#f #t) triangle,green,3,3,solid rectangle,blue,1,3,solid 34 | (#f #t #f) rectangle,yellow,3,3,solid triangle,green,2,3,solid rectangle,blue,3,3,solid 35 | (#f #t #t) rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid circle,green,1,3,solid 36 | (#t #t #f) circle,blue,1,3,solid triangle,green,1,3,solid triangle,yellow,3,3,solid 37 | (#t #f #f #f #t) triangle,blue,1,3,solid triangle,green,3,3,solid circle,green,3,3,solid circle,blue,2,3,solid rectangle,blue,1,3,solid 38 | (#f #t #f #f) triangle,green,2,3,solid rectangle,blue,1,3,solid circle,yellow,3,3,solid circle,blue,2,3,solid 39 | (#t #f) circle,green,1,3,solid rectangle,green,2,3,solid 40 | (#t) rectangle,green,3,3,solid 41 | (#f #t) triangle,blue,3,3,solid triangle,blue,2,3,solid 42 | (#f #t #t #t) circle,yellow,3,3,solid triangle,green,2,3,solid triangle,blue,2,3,solid rectangle,green,2,3,solid 43 | (#t #f) rectangle,green,1,3,solid circle,green,3,3,solid 44 | (#t #f #f #f) circle,blue,1,3,solid rectangle,blue,2,3,solid rectangle,green,3,3,solid circle,green,3,3,solid 45 | (#f #t) rectangle,green,3,3,solid triangle,blue,1,3,solid 46 | (#f #t #f) triangle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,blue,3,3,solid 47 | (#t #f #f #f) triangle,green,1,3,solid circle,blue,2,3,solid rectangle,yellow,3,3,solid triangle,green,3,3,solid 48 | (#f #t) rectangle,green,3,3,solid circle,yellow,1,3,solid 49 | (#t #f #f) circle,green,2,3,solid rectangle,blue,3,3,solid triangle,blue,3,3,solid 50 | (#t) triangle,green,1,3,solid 51 | (#t) circle,yellow,3,3,solid 52 | (#f #f #f #t #f) triangle,green,3,3,solid rectangle,blue,3,3,solid rectangle,yellow,2,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid 53 | (#t #t #t) rectangle,green,3,3,solid circle,green,3,3,solid circle,yellow,3,3,solid 54 | (#t #f #f #f #t) triangle,blue,1,3,solid rectangle,yellow,2,3,solid rectangle,green,2,3,solid triangle,green,2,3,solid circle,green,1,3,solid 55 | (#t #t #f) triangle,blue,1,3,solid rectangle,green,1,3,solid circle,blue,3,3,solid 56 | (#t) circle,green,3,3,solid 57 | (#f #f #t #t) rectangle,yellow,3,3,solid circle,green,3,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid 58 | (#t) circle,green,3,3,solid 59 | (#t) rectangle,yellow,1,3,solid 60 | (#t) circle,green,2,3,solid 61 | (#f #f #t) triangle,green,2,3,solid circle,blue,2,3,solid rectangle,green,1,3,solid 62 | (#t #f #t) circle,green,2,3,solid triangle,blue,3,3,solid rectangle,green,2,3,solid 63 | (#t #f #f #t #t) triangle,green,1,3,solid rectangle,blue,3,3,solid triangle,blue,3,3,solid rectangle,yellow,1,3,solid circle,blue,1,3,solid 64 | (#t #f) rectangle,green,1,3,solid circle,blue,3,3,solid 65 | (#t #t #t) triangle,green,2,3,solid rectangle,blue,2,3,solid circle,blue,2,3,solid 66 | (#t) rectangle,green,3,3,solid 67 | (#t #t #f #f) rectangle,green,1,3,solid rectangle,blue,1,3,solid triangle,green,2,3,solid circle,green,3,3,solid 68 | (#t) circle,green,1,3,solid 69 | (#t) triangle,blue,1,3,solid 70 | (#t #t #f) rectangle,green,2,3,solid rectangle,blue,2,3,solid triangle,blue,3,3,solid 71 | (#f #t #t) circle,blue,3,3,solid triangle,yellow,2,3,solid circle,green,2,3,solid 72 | (#t) triangle,blue,2,3,solid 73 | (#t) rectangle,yellow,2,3,solid 74 | (#t) rectangle,blue,2,3,solid 75 | (#t #t) circle,green,2,3,solid rectangle,blue,2,3,solid 76 | (#f #f #t) triangle,yellow,2,3,solid triangle,blue,2,3,solid rectangle,blue,1,3,solid 77 | (#f #f #f #f #t) triangle,blue,3,3,solid triangle,green,2,3,solid circle,blue,3,3,solid triangle,green,3,3,solid rectangle,yellow,1,3,solid 78 | (#f #f #t) circle,blue,3,3,solid circle,yellow,3,3,solid triangle,green,1,3,solid 79 | (#t #f) circle,green,1,3,solid rectangle,blue,2,3,solid 80 | (#f #f #t #t) triangle,blue,3,3,solid triangle,green,2,3,solid rectangle,yellow,1,3,solid rectangle,green,1,3,solid 81 | (#t #f) rectangle,blue,1,3,solid rectangle,yellow,3,3,solid 82 | (#t) rectangle,green,3,3,solid 83 | (#t) rectangle,green,1,3,solid 84 | (#f #f #f #f #t) triangle,yellow,3,3,solid rectangle,yellow,2,3,solid circle,green,3,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid 85 | (#f #t #f) circle,green,3,3,solid rectangle,green,1,3,solid rectangle,blue,3,3,solid 86 | (#t #t #f) circle,yellow,1,3,solid rectangle,green,1,3,solid rectangle,blue,2,3,solid 87 | (#t #f #f #t) triangle,green,1,3,solid triangle,yellow,3,3,solid triangle,blue,3,3,solid circle,blue,1,3,solid 88 | (#f #f #t #f) triangle,blue,3,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid circle,blue,2,3,solid 89 | (#t #t) circle,green,1,3,solid rectangle,blue,1,3,solid 90 | (#f #f #f #t #f) rectangle,yellow,2,3,solid triangle,blue,2,3,solid circle,blue,2,3,solid rectangle,green,1,3,solid triangle,green,2,3,solid 91 | (#t #f #t) circle,blue,1,3,solid circle,green,3,3,solid triangle,yellow,1,3,solid 92 | (#t #f #f) rectangle,blue,2,3,solid circle,blue,3,3,solid circle,green,3,3,solid 93 | (#t #t) triangle,blue,2,3,solid circle,green,2,3,solid 94 | (#f #f #f #t #t) circle,yellow,2,3,solid triangle,blue,3,3,solid triangle,green,3,3,solid rectangle,green,1,3,solid circle,green,1,3,solid 95 | (#t #t #f #f) triangle,green,1,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid 96 | (#t #f #t #f #f) rectangle,yellow,1,3,solid rectangle,blue,2,3,solid circle,blue,1,3,solid rectangle,green,3,3,solid triangle,yellow,3,3,solid 97 | (#t #f #f #t) triangle,green,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,2,3,solid rectangle,yellow,1,3,solid 98 | (#f #t #f #f #t) triangle,yellow,2,3,solid triangle,blue,1,3,solid rectangle,green,2,3,solid circle,green,3,3,solid triangle,yellow,1,3,solid 99 | (#f #t) rectangle,blue,2,3,solid rectangle,yellow,1,3,solid 100 | (#f #f #f #t) circle,blue,3,3,solid triangle,yellow,3,3,solid triangle,yellow,2,3,solid rectangle,green,1,3,solid 101 | (#t) triangle,green,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg89__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (exists-other-SFL* (lambda (y) (and* (eqv* (shape* y) (shape* x)) (eqv* (color* y) 'blue))) x S))) 2 | (#t #f #f #t) circle,blue,3,3,solid rectangle,yellow,2,3,solid rectangle,green,3,3,solid circle,blue,2,3,solid 3 | (#f #f #f) triangle,blue,1,3,solid circle,yellow,3,3,solid rectangle,yellow,2,3,solid 4 | (#f) rectangle,blue,3,3,solid 5 | (#f #f #t) triangle,blue,3,3,solid rectangle,green,2,3,solid triangle,green,3,3,solid 6 | (#f #f #f) circle,yellow,1,3,solid circle,yellow,3,3,solid circle,yellow,2,3,solid 7 | (#t #f #f #t #f) triangle,green,2,3,solid circle,yellow,2,3,solid rectangle,green,3,3,solid triangle,yellow,1,3,solid triangle,blue,2,3,solid 8 | (#f #f #f) rectangle,green,3,3,solid triangle,green,3,3,solid circle,green,3,3,solid 9 | (#f #f) circle,green,3,3,solid rectangle,green,2,3,solid 10 | (#f) rectangle,green,3,3,solid 11 | (#f #f) circle,yellow,1,3,solid triangle,green,1,3,solid 12 | (#f) triangle,yellow,3,3,solid 13 | (#f #f #f #f #f) rectangle,green,2,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid rectangle,green,1,3,solid rectangle,yellow,1,3,solid 14 | (#f #f #f #f) circle,green,1,3,solid circle,yellow,3,3,solid rectangle,yellow,1,3,solid circle,yellow,1,3,solid 15 | (#t #t #f) circle,green,2,3,solid circle,green,1,3,solid circle,blue,2,3,solid 16 | (#f #f) rectangle,yellow,1,3,solid triangle,yellow,3,3,solid 17 | (#f #f #f #f #f) circle,green,2,3,solid rectangle,green,3,3,solid rectangle,yellow,2,3,solid triangle,green,3,3,solid triangle,green,1,3,solid 18 | (#f #f #f) triangle,yellow,2,3,solid rectangle,yellow,2,3,solid triangle,green,2,3,solid 19 | (#f) circle,yellow,2,3,solid 20 | (#f #f #f #t #t) triangle,blue,3,3,solid circle,blue,1,3,solid rectangle,blue,1,3,solid circle,yellow,2,3,solid triangle,green,1,3,solid 21 | (#f #f #f #f) rectangle,yellow,3,3,solid triangle,yellow,3,3,solid circle,green,1,3,solid rectangle,green,1,3,solid 22 | (#f) rectangle,yellow,3,3,solid 23 | (#f) circle,green,1,3,solid 24 | (#t #f) triangle,green,1,3,solid triangle,blue,3,3,solid 25 | (#t #t #f #f #f) rectangle,yellow,3,3,solid triangle,green,3,3,solid circle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,blue,3,3,solid 26 | (#t #f) circle,green,2,3,solid circle,blue,2,3,solid 27 | (#f) circle,blue,1,3,solid 28 | (#f) rectangle,blue,3,3,solid 29 | (#f #f #f) triangle,blue,1,3,solid circle,green,3,3,solid rectangle,yellow,1,3,solid 30 | (#f) circle,blue,3,3,solid 31 | (#f #f #f #f) circle,green,1,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid triangle,blue,1,3,solid 32 | (#f #f #f) rectangle,blue,1,3,solid circle,green,1,3,solid triangle,blue,3,3,solid 33 | (#f #f) rectangle,blue,2,3,solid circle,blue,2,3,solid 34 | (#f #f) circle,yellow,1,3,solid triangle,blue,3,3,solid 35 | (#f #f) triangle,blue,2,3,solid rectangle,yellow,1,3,solid 36 | (#f) rectangle,green,2,3,solid 37 | (#t #f #f #f) circle,yellow,1,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid triangle,yellow,2,3,solid 38 | (#f #f) rectangle,green,2,3,solid triangle,blue,2,3,solid 39 | (#f #t) triangle,blue,3,3,solid triangle,green,1,3,solid 40 | (#t #f #f #t) rectangle,green,3,3,solid triangle,blue,1,3,solid rectangle,blue,2,3,solid triangle,green,3,3,solid 41 | (#f #f #t #t) triangle,blue,3,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid triangle,yellow,1,3,solid 42 | (#f #f #t #t) triangle,blue,2,3,solid rectangle,yellow,3,3,solid triangle,green,3,3,solid triangle,yellow,1,3,solid 43 | (#f #f) triangle,green,1,3,solid circle,yellow,1,3,solid 44 | (#f #t #f #t) circle,blue,1,3,solid triangle,green,2,3,solid triangle,blue,2,3,solid circle,yellow,3,3,solid 45 | (#f #t #f #f) triangle,blue,2,3,solid triangle,green,3,3,solid rectangle,green,3,3,solid circle,green,1,3,solid 46 | (#t #f #t #t) triangle,blue,1,3,solid rectangle,green,3,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid 47 | (#f) triangle,yellow,3,3,solid 48 | (#f #t) triangle,blue,3,3,solid triangle,yellow,2,3,solid 49 | (#f #f #t #f) circle,green,1,3,solid rectangle,yellow,1,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid 50 | (#f #f #t #f #t) triangle,blue,1,3,solid circle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,1,3,solid circle,green,1,3,solid 51 | (#f #f) rectangle,yellow,1,3,solid rectangle,green,3,3,solid 52 | (#t #t #f #f) rectangle,green,2,3,solid circle,yellow,3,3,solid rectangle,blue,1,3,solid circle,blue,3,3,solid 53 | (#f #t #f) circle,blue,1,3,solid circle,yellow,3,3,solid triangle,yellow,2,3,solid 54 | (#f #f #t #t #f) circle,yellow,2,3,solid rectangle,yellow,1,3,solid triangle,yellow,3,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid 55 | (#t #f #f #t) circle,yellow,2,3,solid circle,blue,1,3,solid triangle,green,1,3,solid circle,green,1,3,solid 56 | (#t #f #t #f) circle,blue,1,3,solid rectangle,yellow,2,3,solid circle,blue,3,3,solid triangle,blue,1,3,solid 57 | (#f #f #f) circle,yellow,1,3,solid circle,yellow,2,3,solid rectangle,yellow,2,3,solid 58 | (#f) circle,blue,2,3,solid 59 | (#t #f) rectangle,green,3,3,solid rectangle,blue,3,3,solid 60 | (#f #f #f #t #f) circle,yellow,1,3,solid triangle,blue,3,3,solid circle,green,3,3,solid triangle,green,2,3,solid rectangle,yellow,3,3,solid 61 | (#f #t #t #f) rectangle,blue,2,3,solid triangle,green,1,3,solid triangle,yellow,1,3,solid triangle,blue,3,3,solid 62 | (#f) rectangle,yellow,1,3,solid 63 | (#f) triangle,blue,2,3,solid 64 | (#f #f) circle,green,2,3,solid circle,yellow,1,3,solid 65 | (#f) rectangle,green,3,3,solid 66 | (#f #f) circle,yellow,3,3,solid circle,green,3,3,solid 67 | (#t #f #t #f #f) circle,yellow,2,3,solid triangle,yellow,3,3,solid rectangle,green,1,3,solid circle,blue,1,3,solid rectangle,blue,2,3,solid 68 | (#f #f #f #f) circle,green,2,3,solid rectangle,green,3,3,solid circle,green,1,3,solid triangle,green,2,3,solid 69 | (#f #f) triangle,yellow,3,3,solid triangle,yellow,1,3,solid 70 | (#t #t) rectangle,blue,2,3,solid rectangle,blue,1,3,solid 71 | (#f #f #f) triangle,green,3,3,solid circle,blue,1,3,solid rectangle,yellow,3,3,solid 72 | (#f #f #t) triangle,blue,2,3,solid circle,blue,1,3,solid triangle,green,1,3,solid 73 | (#f #f #f) triangle,yellow,1,3,solid circle,green,3,3,solid rectangle,blue,1,3,solid 74 | (#t #f #f) circle,green,3,3,solid triangle,blue,2,3,solid circle,blue,2,3,solid 75 | (#f #f #f #t) triangle,blue,1,3,solid circle,yellow,3,3,solid rectangle,green,3,3,solid triangle,green,2,3,solid 76 | (#f #f #t #t #f) rectangle,yellow,2,3,solid circle,green,2,3,solid triangle,blue,1,3,solid triangle,blue,3,3,solid rectangle,yellow,3,3,solid 77 | (#f #f #f) triangle,yellow,2,3,solid circle,green,2,3,solid triangle,green,1,3,solid 78 | (#f) rectangle,blue,1,3,solid 79 | (#t #f #t) rectangle,yellow,3,3,solid rectangle,blue,1,3,solid rectangle,yellow,2,3,solid 80 | (#f #f) circle,green,1,3,solid circle,green,2,3,solid 81 | (#f) triangle,blue,2,3,solid 82 | (#f #f #f) rectangle,green,1,3,solid triangle,green,2,3,solid rectangle,green,2,3,solid 83 | (#f #f #t) rectangle,blue,2,3,solid circle,yellow,1,3,solid rectangle,yellow,3,3,solid 84 | (#f #f) circle,yellow,3,3,solid rectangle,blue,1,3,solid 85 | (#f #f) circle,blue,2,3,solid triangle,yellow,1,3,solid 86 | (#t #t #t) rectangle,blue,1,3,solid rectangle,green,2,3,solid rectangle,blue,3,3,solid 87 | (#f) rectangle,yellow,1,3,solid 88 | (#t #t #f) triangle,blue,3,3,solid triangle,blue,1,3,solid circle,green,1,3,solid 89 | (#f #f) triangle,blue,1,3,solid circle,green,1,3,solid 90 | (#f) rectangle,green,3,3,solid 91 | (#f) triangle,blue,2,3,solid 92 | (#f #f #f) rectangle,green,3,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid 93 | (#f #t #f #f) triangle,yellow,1,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,yellow,3,3,solid 94 | (#t #t #f #t) triangle,green,2,3,solid triangle,blue,3,3,solid circle,green,1,3,solid triangle,blue,2,3,solid 95 | (#f #f) rectangle,blue,3,3,solid circle,green,3,3,solid 96 | (#t #f #t #t #f) triangle,yellow,3,3,solid rectangle,green,3,3,solid triangle,green,3,3,solid triangle,yellow,1,3,solid triangle,blue,3,3,solid 97 | (#f #f #f #f) triangle,green,3,3,solid triangle,green,1,3,solid triangle,yellow,3,3,solid rectangle,blue,3,3,solid 98 | (#f #f) triangle,blue,3,3,solid circle,yellow,2,3,solid 99 | (#f) circle,green,1,3,solid 100 | (#f #f #f) circle,green,3,3,solid triangle,green,1,3,solid circle,green,2,3,solid 101 | (#f #f #f #f) circle,green,2,3,solid circle,green,3,3,solid rectangle,green,1,3,solid circle,yellow,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg11__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (not* (and* (eqv* (shape* x) 'circle) (eqv* (color* x) 'blue)))) 2 | (#t #t #t #t #f) triangle,yellow,1,3,solid circle,yellow,1,3,solid triangle,green,3,3,solid circle,yellow,3,3,solid circle,blue,1,3,solid 3 | (#t #f #t) rectangle,yellow,1,3,solid circle,blue,3,3,solid triangle,green,1,3,solid 4 | (#f #t) circle,blue,1,3,solid circle,yellow,2,3,solid 5 | (#f #t #t #f) circle,blue,1,3,solid triangle,yellow,2,3,solid rectangle,blue,2,3,solid circle,blue,3,3,solid 6 | (#t #f #t #t #t) rectangle,green,2,3,solid circle,blue,2,3,solid triangle,blue,3,3,solid rectangle,blue,1,3,solid triangle,yellow,3,3,solid 7 | (#t #t #t) circle,green,3,3,solid circle,yellow,2,3,solid triangle,blue,3,3,solid 8 | (#t) circle,yellow,3,3,solid 9 | (#t #t #f #t) rectangle,blue,2,3,solid circle,yellow,1,3,solid circle,blue,2,3,solid circle,yellow,2,3,solid 10 | (#t #t #t #t) rectangle,yellow,1,3,solid circle,yellow,1,3,solid rectangle,blue,2,3,solid triangle,yellow,3,3,solid 11 | (#t #t #t #t) triangle,green,2,3,solid circle,green,3,3,solid rectangle,blue,2,3,solid circle,green,2,3,solid 12 | (#t) circle,green,2,3,solid 13 | (#t #t) rectangle,blue,3,3,solid rectangle,blue,1,3,solid 14 | (#t #t) rectangle,yellow,3,3,solid circle,yellow,2,3,solid 15 | (#t) triangle,green,1,3,solid 16 | (#t #t #t #t) rectangle,blue,2,3,solid rectangle,green,3,3,solid triangle,yellow,2,3,solid triangle,blue,2,3,solid 17 | (#t #t #t) circle,green,1,3,solid rectangle,green,2,3,solid triangle,yellow,2,3,solid 18 | (#t #t #t #t #t) triangle,yellow,3,3,solid triangle,blue,2,3,solid rectangle,blue,3,3,solid triangle,yellow,2,3,solid rectangle,yellow,3,3,solid 19 | (#t #t #t #t #t) circle,green,2,3,solid rectangle,yellow,2,3,solid circle,green,3,3,solid triangle,yellow,2,3,solid rectangle,blue,3,3,solid 20 | (#t) triangle,yellow,1,3,solid 21 | (#t #t #t) rectangle,green,2,3,solid triangle,yellow,2,3,solid rectangle,blue,3,3,solid 22 | (#t #t #t #t) circle,yellow,1,3,solid triangle,yellow,2,3,solid triangle,green,1,3,solid circle,green,1,3,solid 23 | (#f) circle,blue,1,3,solid 24 | (#t #f #t #t #t) triangle,blue,2,3,solid circle,blue,3,3,solid rectangle,blue,2,3,solid circle,green,3,3,solid rectangle,green,2,3,solid 25 | (#t) rectangle,blue,2,3,solid 26 | (#t #f #t #t) circle,green,1,3,solid circle,blue,3,3,solid circle,green,3,3,solid triangle,blue,1,3,solid 27 | (#t) circle,green,3,3,solid 28 | (#t #t #t #t) rectangle,blue,1,3,solid triangle,blue,1,3,solid rectangle,green,1,3,solid triangle,yellow,2,3,solid 29 | (#t #t) rectangle,green,1,3,solid triangle,green,1,3,solid 30 | (#t) rectangle,blue,1,3,solid 31 | (#t #t #t #t) rectangle,green,3,3,solid rectangle,blue,1,3,solid circle,green,3,3,solid circle,yellow,2,3,solid 32 | (#t) circle,yellow,3,3,solid 33 | (#t #t) rectangle,green,1,3,solid triangle,yellow,3,3,solid 34 | (#t #t) rectangle,green,3,3,solid triangle,blue,3,3,solid 35 | (#t) rectangle,green,3,3,solid 36 | (#f #t #t #t #t) circle,blue,2,3,solid rectangle,yellow,2,3,solid triangle,yellow,2,3,solid triangle,green,2,3,solid rectangle,green,1,3,solid 37 | (#t #t #t #t) triangle,yellow,2,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid circle,yellow,3,3,solid 38 | (#t #t #t #t) rectangle,green,3,3,solid rectangle,blue,1,3,solid circle,yellow,1,3,solid rectangle,green,2,3,solid 39 | (#t) circle,yellow,3,3,solid 40 | (#t #t #t #t) rectangle,green,1,3,solid circle,green,2,3,solid triangle,blue,3,3,solid rectangle,blue,2,3,solid 41 | (#f #t) circle,blue,2,3,solid triangle,green,2,3,solid 42 | (#t #t #t #f #t) circle,yellow,1,3,solid circle,green,3,3,solid rectangle,green,3,3,solid circle,blue,1,3,solid triangle,green,2,3,solid 43 | (#f #t #t #t) circle,blue,1,3,solid rectangle,blue,3,3,solid rectangle,blue,1,3,solid rectangle,green,3,3,solid 44 | (#t #t #t) triangle,green,1,3,solid circle,yellow,3,3,solid circle,green,1,3,solid 45 | (#t) rectangle,blue,3,3,solid 46 | (#t #t #t #t) rectangle,yellow,3,3,solid rectangle,yellow,1,3,solid triangle,yellow,1,3,solid triangle,blue,1,3,solid 47 | (#t #t #t) triangle,blue,1,3,solid triangle,yellow,1,3,solid circle,yellow,1,3,solid 48 | (#t #t #t) circle,yellow,2,3,solid rectangle,green,3,3,solid triangle,green,1,3,solid 49 | (#f #t #t #t) circle,blue,2,3,solid rectangle,green,3,3,solid triangle,green,1,3,solid triangle,yellow,1,3,solid 50 | (#t #t) circle,yellow,1,3,solid triangle,blue,3,3,solid 51 | (#t #t) triangle,blue,2,3,solid circle,yellow,2,3,solid 52 | (#f #t) circle,blue,3,3,solid rectangle,yellow,3,3,solid 53 | (#t #t #t #t #t) triangle,green,1,3,solid rectangle,blue,2,3,solid triangle,green,2,3,solid triangle,blue,2,3,solid circle,green,2,3,solid 54 | (#t) triangle,green,3,3,solid 55 | (#t #t) triangle,green,1,3,solid circle,green,2,3,solid 56 | (#t #t) rectangle,green,1,3,solid triangle,yellow,3,3,solid 57 | (#t) rectangle,green,3,3,solid 58 | (#t #t #f) rectangle,blue,3,3,solid circle,yellow,1,3,solid circle,blue,3,3,solid 59 | (#t) rectangle,yellow,3,3,solid 60 | (#t) rectangle,green,1,3,solid 61 | (#f) circle,blue,2,3,solid 62 | (#f #t #t) circle,blue,2,3,solid triangle,yellow,3,3,solid triangle,blue,2,3,solid 63 | (#f) circle,blue,2,3,solid 64 | (#t #t #t #t #t) rectangle,green,2,3,solid circle,green,2,3,solid triangle,green,3,3,solid triangle,green,1,3,solid triangle,yellow,1,3,solid 65 | (#t) triangle,blue,3,3,solid 66 | (#t #t #t) rectangle,yellow,2,3,solid circle,green,2,3,solid triangle,blue,3,3,solid 67 | (#t #t #t #t) triangle,green,3,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid rectangle,green,3,3,solid 68 | (#t #t #t) circle,yellow,1,3,solid triangle,yellow,2,3,solid triangle,green,2,3,solid 69 | (#f #t #t) circle,blue,1,3,solid circle,green,2,3,solid rectangle,blue,1,3,solid 70 | (#t #t #t #t) triangle,yellow,2,3,solid triangle,blue,2,3,solid circle,green,3,3,solid circle,yellow,3,3,solid 71 | (#t #t #t) rectangle,yellow,2,3,solid rectangle,green,3,3,solid triangle,yellow,1,3,solid 72 | (#f #t #t) circle,blue,3,3,solid circle,yellow,3,3,solid circle,green,2,3,solid 73 | (#t #t #f #t) circle,green,2,3,solid circle,yellow,3,3,solid circle,blue,2,3,solid triangle,yellow,3,3,solid 74 | (#t) triangle,yellow,2,3,solid 75 | (#t #t #t #t #t) triangle,blue,2,3,solid triangle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,green,3,3,solid circle,green,3,3,solid 76 | (#t #t #t) rectangle,yellow,2,3,solid triangle,blue,1,3,solid rectangle,blue,1,3,solid 77 | (#t #t) rectangle,green,2,3,solid triangle,green,3,3,solid 78 | (#t #t #t) rectangle,green,3,3,solid rectangle,green,1,3,solid triangle,green,3,3,solid 79 | (#t) rectangle,yellow,1,3,solid 80 | (#t #t) triangle,blue,1,3,solid rectangle,blue,1,3,solid 81 | (#t #t #t #t #t) circle,yellow,3,3,solid rectangle,blue,2,3,solid triangle,green,1,3,solid triangle,yellow,1,3,solid rectangle,green,3,3,solid 82 | (#t) circle,yellow,1,3,solid 83 | (#f #t #t) circle,blue,3,3,solid rectangle,green,1,3,solid triangle,yellow,3,3,solid 84 | (#t #t #t #t) circle,yellow,3,3,solid triangle,blue,3,3,solid circle,yellow,2,3,solid circle,green,2,3,solid 85 | (#t #t) rectangle,green,2,3,solid rectangle,green,1,3,solid 86 | (#f #t #t #t) circle,blue,3,3,solid rectangle,green,1,3,solid triangle,blue,2,3,solid triangle,yellow,2,3,solid 87 | (#f #t) circle,blue,1,3,solid circle,yellow,3,3,solid 88 | (#t #t) triangle,green,2,3,solid circle,green,2,3,solid 89 | (#t #t) circle,green,3,3,solid triangle,yellow,1,3,solid 90 | (#t #t #t #t #t) triangle,yellow,1,3,solid circle,green,3,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid rectangle,yellow,2,3,solid 91 | (#t #t #t #t) rectangle,yellow,1,3,solid triangle,yellow,1,3,solid circle,yellow,3,3,solid rectangle,blue,3,3,solid 92 | (#f #t #t #t #t) circle,blue,2,3,solid rectangle,yellow,3,3,solid rectangle,blue,2,3,solid triangle,yellow,2,3,solid rectangle,green,3,3,solid 93 | (#t #t #t) triangle,blue,2,3,solid rectangle,yellow,3,3,solid triangle,green,2,3,solid 94 | (#t #t #t) triangle,blue,3,3,solid triangle,green,3,3,solid circle,green,1,3,solid 95 | (#t #t #t) circle,yellow,2,3,solid triangle,green,1,3,solid circle,green,1,3,solid 96 | (#t #t) circle,yellow,3,3,solid triangle,blue,3,3,solid 97 | (#t #t) circle,green,3,3,solid rectangle,yellow,1,3,solid 98 | (#t) triangle,green,3,3,solid 99 | (#t #t #t) triangle,yellow,3,3,solid rectangle,blue,3,3,solid rectangle,green,1,3,solid 100 | (#t) triangle,blue,2,3,solid 101 | (#t #t #t #t) triangle,green,3,3,solid triangle,yellow,1,3,solid circle,green,1,3,solid rectangle,blue,1,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg12__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (not* (or* (eqv* (shape* x) 'circle) (eqv* (color* x) 'blue)))) 2 | (#f #t #f #f #f) circle,green,1,3,solid rectangle,yellow,3,3,solid triangle,blue,2,3,solid circle,yellow,2,3,solid circle,yellow,3,3,solid 3 | (#f #t) circle,yellow,1,3,solid rectangle,yellow,1,3,solid 4 | (#t) rectangle,green,1,3,solid 5 | (#f #f) circle,yellow,2,3,solid circle,green,2,3,solid 6 | (#t #f #f #t #t) triangle,green,2,3,solid triangle,blue,3,3,solid rectangle,blue,2,3,solid rectangle,green,3,3,solid rectangle,green,2,3,solid 7 | (#t #t #f) rectangle,green,1,3,solid triangle,green,1,3,solid triangle,blue,3,3,solid 8 | (#f #f #f) circle,green,3,3,solid triangle,blue,2,3,solid circle,blue,2,3,solid 9 | (#t) rectangle,green,2,3,solid 10 | (#t #f) triangle,green,2,3,solid circle,blue,1,3,solid 11 | (#f #f #t #f) circle,yellow,1,3,solid circle,yellow,3,3,solid triangle,green,3,3,solid circle,green,2,3,solid 12 | (#f #t) circle,blue,2,3,solid triangle,green,1,3,solid 13 | (#f #f) circle,blue,1,3,solid rectangle,blue,3,3,solid 14 | (#t #f #t #f) rectangle,yellow,2,3,solid circle,blue,2,3,solid triangle,yellow,1,3,solid circle,yellow,1,3,solid 15 | (#t) rectangle,yellow,2,3,solid 16 | (#t #f #f #f #t) rectangle,green,2,3,solid circle,blue,3,3,solid circle,yellow,2,3,solid circle,green,1,3,solid triangle,yellow,2,3,solid 17 | (#f #f #t #f) circle,yellow,3,3,solid triangle,blue,2,3,solid rectangle,yellow,2,3,solid circle,blue,3,3,solid 18 | (#f) circle,yellow,3,3,solid 19 | (#f #f) rectangle,blue,2,3,solid triangle,blue,1,3,solid 20 | (#f) circle,blue,2,3,solid 21 | (#t) triangle,green,2,3,solid 22 | (#f #t #t #f #t) circle,blue,1,3,solid triangle,green,1,3,solid triangle,green,3,3,solid circle,green,3,3,solid triangle,yellow,1,3,solid 23 | (#t) rectangle,yellow,1,3,solid 24 | (#f #f #f #t) circle,yellow,3,3,solid rectangle,blue,1,3,solid triangle,blue,3,3,solid triangle,green,1,3,solid 25 | (#t #t) triangle,yellow,2,3,solid rectangle,green,1,3,solid 26 | (#f #f #f #t #f) circle,blue,3,3,solid circle,yellow,2,3,solid circle,yellow,1,3,solid triangle,green,2,3,solid circle,blue,2,3,solid 27 | (#t) rectangle,yellow,1,3,solid 28 | (#t #t #t #f #f) rectangle,yellow,2,3,solid triangle,green,2,3,solid rectangle,green,1,3,solid circle,yellow,3,3,solid circle,green,3,3,solid 29 | (#t) rectangle,yellow,3,3,solid 30 | (#t #f #f #t) triangle,yellow,1,3,solid circle,yellow,2,3,solid circle,green,3,3,solid triangle,green,2,3,solid 31 | (#t #t #t #f) rectangle,yellow,2,3,solid rectangle,green,2,3,solid rectangle,green,3,3,solid rectangle,blue,3,3,solid 32 | (#f #t #f #f) rectangle,blue,2,3,solid rectangle,green,2,3,solid circle,green,1,3,solid circle,yellow,2,3,solid 33 | (#t #t) triangle,green,3,3,solid rectangle,green,3,3,solid 34 | (#f #t #f #f #t) rectangle,blue,3,3,solid rectangle,yellow,3,3,solid circle,yellow,2,3,solid circle,blue,2,3,solid triangle,green,1,3,solid 35 | (#f #f #t) circle,yellow,2,3,solid rectangle,blue,1,3,solid triangle,green,3,3,solid 36 | (#f) rectangle,blue,2,3,solid 37 | (#t #f #t) rectangle,green,2,3,solid circle,green,1,3,solid triangle,yellow,2,3,solid 38 | (#f #f #f #f) circle,blue,1,3,solid circle,yellow,2,3,solid circle,yellow,1,3,solid circle,yellow,3,3,solid 39 | (#f #f) rectangle,blue,3,3,solid triangle,blue,2,3,solid 40 | (#f) circle,yellow,3,3,solid 41 | (#t #f) rectangle,green,2,3,solid circle,yellow,3,3,solid 42 | (#f #t #t #f) triangle,blue,2,3,solid triangle,green,1,3,solid rectangle,green,1,3,solid circle,yellow,3,3,solid 43 | (#t #t #f #t #f) rectangle,yellow,2,3,solid triangle,green,2,3,solid circle,yellow,1,3,solid triangle,yellow,2,3,solid triangle,blue,2,3,solid 44 | (#t #t #t #f) rectangle,green,1,3,solid triangle,yellow,3,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid 45 | (#f) circle,yellow,2,3,solid 46 | (#f #t) circle,blue,3,3,solid triangle,yellow,2,3,solid 47 | (#t #f #t) rectangle,green,1,3,solid circle,yellow,1,3,solid rectangle,yellow,3,3,solid 48 | (#t) rectangle,green,2,3,solid 49 | (#t #f #f #t) rectangle,yellow,2,3,solid triangle,blue,3,3,solid triangle,blue,2,3,solid triangle,green,1,3,solid 50 | (#f #t #t) circle,blue,1,3,solid triangle,green,2,3,solid triangle,yellow,1,3,solid 51 | (#f) circle,blue,3,3,solid 52 | (#f #t #f #t #f) circle,blue,1,3,solid triangle,green,2,3,solid circle,yellow,2,3,solid rectangle,green,2,3,solid triangle,blue,2,3,solid 53 | (#f) circle,yellow,3,3,solid 54 | (#f) triangle,blue,3,3,solid 55 | (#f #f #f) circle,blue,2,3,solid circle,yellow,3,3,solid rectangle,blue,2,3,solid 56 | (#t #f) rectangle,green,1,3,solid circle,blue,3,3,solid 57 | (#f #t #f) rectangle,blue,1,3,solid triangle,yellow,3,3,solid circle,blue,3,3,solid 58 | (#f) triangle,blue,2,3,solid 59 | (#f #t #f #f) circle,blue,2,3,solid triangle,yellow,3,3,solid circle,green,1,3,solid circle,blue,1,3,solid 60 | (#t #t #f #f #t) triangle,green,2,3,solid triangle,yellow,1,3,solid rectangle,blue,1,3,solid triangle,blue,3,3,solid triangle,yellow,3,3,solid 61 | (#f #t) circle,blue,1,3,solid rectangle,green,2,3,solid 62 | (#f #t) triangle,blue,2,3,solid rectangle,green,2,3,solid 63 | (#f #f #t) circle,yellow,3,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid 64 | (#f) rectangle,blue,3,3,solid 65 | (#f) circle,yellow,1,3,solid 66 | (#t #f #f #t) triangle,green,1,3,solid circle,green,2,3,solid circle,yellow,1,3,solid triangle,yellow,1,3,solid 67 | (#t #t) triangle,green,1,3,solid rectangle,yellow,3,3,solid 68 | (#t) triangle,yellow,3,3,solid 69 | (#f #t #t) circle,green,1,3,solid triangle,yellow,3,3,solid rectangle,yellow,2,3,solid 70 | (#f) triangle,blue,2,3,solid 71 | (#f #f #t #t #f) circle,green,1,3,solid circle,blue,3,3,solid rectangle,green,2,3,solid triangle,green,2,3,solid rectangle,blue,1,3,solid 72 | (#f #t #t) circle,blue,1,3,solid rectangle,yellow,2,3,solid triangle,yellow,1,3,solid 73 | (#f) circle,green,2,3,solid 74 | (#t #t #f #t #f) triangle,green,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,green,3,3,solid rectangle,blue,2,3,solid 75 | (#t) rectangle,yellow,2,3,solid 76 | (#t #t #f) rectangle,green,3,3,solid triangle,green,2,3,solid circle,blue,3,3,solid 77 | (#f #f #f) circle,blue,1,3,solid triangle,blue,2,3,solid circle,yellow,2,3,solid 78 | (#f #f #f) circle,yellow,1,3,solid rectangle,blue,3,3,solid circle,green,3,3,solid 79 | (#t #f #t #f) triangle,green,2,3,solid circle,yellow,2,3,solid rectangle,green,3,3,solid circle,green,1,3,solid 80 | (#f #f) circle,yellow,1,3,solid circle,yellow,3,3,solid 81 | (#t #t #t) triangle,yellow,1,3,solid triangle,green,2,3,solid triangle,yellow,2,3,solid 82 | (#t #f #f) triangle,yellow,2,3,solid triangle,blue,3,3,solid circle,green,2,3,solid 83 | (#f #f #t #f) triangle,blue,1,3,solid circle,green,2,3,solid triangle,green,3,3,solid rectangle,blue,2,3,solid 84 | (#f #t #f #t) circle,green,2,3,solid triangle,green,1,3,solid circle,yellow,2,3,solid triangle,green,3,3,solid 85 | (#t) triangle,yellow,1,3,solid 86 | (#t) triangle,green,1,3,solid 87 | (#t #f) triangle,green,2,3,solid rectangle,blue,1,3,solid 88 | (#f #t #f) circle,green,3,3,solid rectangle,green,3,3,solid circle,yellow,2,3,solid 89 | (#t #f #f #t #t) triangle,green,2,3,solid circle,yellow,1,3,solid circle,blue,2,3,solid rectangle,yellow,1,3,solid rectangle,green,2,3,solid 90 | (#f #t #f #f) circle,green,2,3,solid rectangle,green,3,3,solid circle,blue,2,3,solid circle,blue,1,3,solid 91 | (#t #t) rectangle,green,2,3,solid rectangle,green,3,3,solid 92 | (#t #t #f #t) triangle,yellow,3,3,solid triangle,yellow,1,3,solid triangle,blue,2,3,solid rectangle,yellow,1,3,solid 93 | (#t #t) triangle,green,3,3,solid rectangle,yellow,1,3,solid 94 | (#f #t #t #t #t) circle,green,2,3,solid rectangle,yellow,2,3,solid triangle,green,1,3,solid rectangle,green,2,3,solid rectangle,yellow,3,3,solid 95 | (#f #t #f #t) triangle,blue,1,3,solid triangle,yellow,2,3,solid circle,green,1,3,solid triangle,yellow,1,3,solid 96 | (#f #t #t) circle,blue,2,3,solid triangle,green,2,3,solid rectangle,green,1,3,solid 97 | (#f #t #t #t #f) circle,blue,2,3,solid rectangle,yellow,1,3,solid rectangle,yellow,2,3,solid triangle,green,3,3,solid rectangle,blue,1,3,solid 98 | (#t #t #f #t) triangle,yellow,3,3,solid rectangle,yellow,1,3,solid circle,green,1,3,solid rectangle,green,3,3,solid 99 | (#f #f #t) circle,blue,2,3,solid triangle,blue,2,3,solid triangle,yellow,1,3,solid 100 | (#f #f #t) rectangle,blue,2,3,solid circle,yellow,2,3,solid rectangle,green,3,3,solid 101 | (#f #f) triangle,blue,1,3,solid circle,yellow,2,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg23__LIST_L4.txt: -------------------------------------------------------------------------------- 1 | (lambda (x) (or* (eqv* (size* x) 2) (eqv* (size* x) 1))) 2 | (#f) circle,yellow,3,3,solid 3 | (#t) circle,blue,1,3,solid 4 | (#t #t #f #t #t) rectangle,green,1,3,solid circle,blue,2,3,solid rectangle,green,3,3,solid rectangle,green,2,3,solid circle,blue,1,3,solid 5 | (#t #t #t) circle,green,1,3,solid rectangle,blue,2,3,solid rectangle,blue,1,3,solid 6 | (#t #t) triangle,blue,1,3,solid circle,blue,2,3,solid 7 | (#t #t #t #f #f) circle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,blue,1,3,solid circle,yellow,3,3,solid triangle,blue,3,3,solid 8 | (#f #f) triangle,yellow,3,3,solid rectangle,blue,3,3,solid 9 | (#f) rectangle,yellow,3,3,solid 10 | (#t #t) rectangle,yellow,1,3,solid triangle,blue,1,3,solid 11 | (#t #t #t) triangle,green,1,3,solid triangle,blue,2,3,solid triangle,yellow,1,3,solid 12 | (#t #t #t) rectangle,green,2,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid 13 | (#t) circle,yellow,2,3,solid 14 | (#t) rectangle,blue,2,3,solid 15 | (#f #t #f) triangle,green,3,3,solid circle,blue,2,3,solid triangle,blue,3,3,solid 16 | (#f #f) rectangle,green,3,3,solid circle,green,3,3,solid 17 | (#f #t #t #f) circle,green,3,3,solid rectangle,blue,1,3,solid rectangle,green,2,3,solid circle,yellow,3,3,solid 18 | (#t #t #t) triangle,yellow,2,3,solid rectangle,yellow,1,3,solid circle,blue,2,3,solid 19 | (#f #t) rectangle,blue,3,3,solid circle,green,2,3,solid 20 | (#f #t #t #t) circle,blue,3,3,solid circle,blue,2,3,solid rectangle,blue,2,3,solid circle,yellow,2,3,solid 21 | (#f #f) circle,green,3,3,solid triangle,green,3,3,solid 22 | (#t #t #t #f #f) circle,green,1,3,solid circle,green,2,3,solid circle,yellow,2,3,solid circle,green,3,3,solid triangle,blue,3,3,solid 23 | (#t #t #f #t) rectangle,blue,2,3,solid circle,yellow,1,3,solid rectangle,yellow,3,3,solid rectangle,blue,1,3,solid 24 | (#t #f #t #t #f) circle,yellow,2,3,solid rectangle,yellow,3,3,solid triangle,yellow,1,3,solid triangle,blue,1,3,solid triangle,yellow,3,3,solid 25 | (#f #f #f #f #t) rectangle,green,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid 26 | (#f #f #t) circle,yellow,3,3,solid rectangle,blue,3,3,solid rectangle,blue,1,3,solid 27 | (#f #f #t #t #f) circle,yellow,3,3,solid rectangle,green,3,3,solid rectangle,green,2,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid 28 | (#t #t #t) triangle,blue,1,3,solid triangle,blue,2,3,solid rectangle,yellow,2,3,solid 29 | (#f) triangle,yellow,3,3,solid 30 | (#t #f) triangle,yellow,2,3,solid rectangle,blue,3,3,solid 31 | (#f #t #f) rectangle,yellow,3,3,solid rectangle,green,1,3,solid circle,green,3,3,solid 32 | (#t #f #t) triangle,yellow,1,3,solid rectangle,green,3,3,solid triangle,blue,2,3,solid 33 | (#t #t) triangle,green,1,3,solid circle,yellow,2,3,solid 34 | (#t #t #t) rectangle,green,2,3,solid triangle,green,1,3,solid circle,green,1,3,solid 35 | (#f) circle,blue,3,3,solid 36 | (#t) triangle,blue,2,3,solid 37 | (#f #t #t) circle,yellow,3,3,solid triangle,blue,2,3,solid rectangle,green,1,3,solid 38 | (#t #t #f) circle,green,1,3,solid rectangle,green,2,3,solid triangle,yellow,3,3,solid 39 | (#t #t) rectangle,blue,2,3,solid triangle,yellow,2,3,solid 40 | (#t #f #f) triangle,yellow,2,3,solid triangle,green,3,3,solid circle,green,3,3,solid 41 | (#t #t #t #t) rectangle,yellow,1,3,solid circle,green,2,3,solid triangle,yellow,2,3,solid rectangle,blue,2,3,solid 42 | (#t #t #t #t #t) circle,green,1,3,solid triangle,blue,1,3,solid rectangle,blue,2,3,solid triangle,blue,2,3,solid rectangle,green,1,3,solid 43 | (#f) triangle,green,3,3,solid 44 | (#f) circle,blue,3,3,solid 45 | (#t #f #t) triangle,yellow,2,3,solid rectangle,blue,3,3,solid rectangle,green,2,3,solid 46 | (#t #t) triangle,blue,1,3,solid rectangle,blue,2,3,solid 47 | (#f #f #f #t #t) rectangle,blue,3,3,solid rectangle,green,3,3,solid triangle,yellow,3,3,solid circle,yellow,2,3,solid circle,blue,1,3,solid 48 | (#t) triangle,blue,1,3,solid 49 | (#t) rectangle,yellow,1,3,solid 50 | (#f #t) circle,blue,3,3,solid circle,green,2,3,solid 51 | (#t #t #f) circle,green,2,3,solid triangle,green,1,3,solid triangle,green,3,3,solid 52 | (#t) circle,green,1,3,solid 53 | (#t #t) rectangle,green,1,3,solid triangle,blue,2,3,solid 54 | (#f #t #t #t) triangle,yellow,3,3,solid triangle,yellow,1,3,solid circle,blue,2,3,solid triangle,yellow,2,3,solid 55 | (#t #t #f #f #f) rectangle,blue,2,3,solid rectangle,green,1,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid 56 | (#t #t #t) rectangle,blue,2,3,solid triangle,blue,2,3,solid circle,yellow,1,3,solid 57 | (#f #f #f #t) circle,blue,3,3,solid circle,green,3,3,solid triangle,blue,3,3,solid rectangle,blue,1,3,solid 58 | (#t #f) circle,blue,2,3,solid circle,green,3,3,solid 59 | (#t #f) triangle,yellow,1,3,solid rectangle,blue,3,3,solid 60 | (#f #f) triangle,green,3,3,solid rectangle,blue,3,3,solid 61 | (#t #t #t #t #t) rectangle,green,2,3,solid triangle,green,1,3,solid triangle,blue,2,3,solid rectangle,blue,2,3,solid circle,yellow,1,3,solid 62 | (#t #t) rectangle,blue,2,3,solid triangle,yellow,2,3,solid 63 | (#f) circle,green,3,3,solid 64 | (#t #f #t) rectangle,green,2,3,solid rectangle,yellow,3,3,solid triangle,blue,1,3,solid 65 | (#t) rectangle,blue,2,3,solid 66 | (#f #t) rectangle,yellow,3,3,solid rectangle,blue,2,3,solid 67 | (#t #t) circle,green,1,3,solid rectangle,green,1,3,solid 68 | (#t #t #t) triangle,yellow,2,3,solid circle,blue,1,3,solid rectangle,blue,1,3,solid 69 | (#t #t) circle,blue,2,3,solid rectangle,green,2,3,solid 70 | (#f #f #t) circle,yellow,3,3,solid circle,blue,3,3,solid triangle,yellow,2,3,solid 71 | (#t #t) triangle,blue,2,3,solid rectangle,green,1,3,solid 72 | (#t #t #t #f) circle,blue,2,3,solid circle,yellow,2,3,solid triangle,green,1,3,solid rectangle,green,3,3,solid 73 | (#t) circle,yellow,1,3,solid 74 | (#t #f #t #t #f) circle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,green,1,3,solid triangle,blue,3,3,solid 75 | (#t #f #t) triangle,blue,2,3,solid circle,green,3,3,solid circle,green,1,3,solid 76 | (#t) circle,yellow,1,3,solid 77 | (#t #f #t #t) circle,blue,2,3,solid rectangle,green,3,3,solid circle,yellow,2,3,solid triangle,green,1,3,solid 78 | (#t) circle,yellow,1,3,solid 79 | (#t #t) triangle,yellow,1,3,solid rectangle,blue,2,3,solid 80 | (#t) rectangle,green,2,3,solid 81 | (#f #t #t) circle,blue,3,3,solid circle,yellow,1,3,solid circle,blue,1,3,solid 82 | (#t) circle,yellow,2,3,solid 83 | (#f #t #t #f #f) rectangle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,blue,1,3,solid rectangle,green,3,3,solid triangle,green,3,3,solid 84 | (#t #f #f) triangle,blue,2,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid 85 | (#t #f #t #t) circle,yellow,1,3,solid triangle,blue,3,3,solid rectangle,blue,1,3,solid triangle,blue,2,3,solid 86 | (#t #t #f #t) circle,green,1,3,solid triangle,yellow,1,3,solid triangle,green,3,3,solid triangle,green,1,3,solid 87 | (#t #t #t #f #f) circle,blue,2,3,solid circle,blue,1,3,solid rectangle,yellow,1,3,solid triangle,yellow,3,3,solid circle,blue,3,3,solid 88 | (#f #t) triangle,blue,3,3,solid triangle,blue,1,3,solid 89 | (#f #t #f #t #t) rectangle,green,3,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid circle,blue,2,3,solid circle,green,1,3,solid 90 | (#t #t) rectangle,blue,1,3,solid circle,blue,1,3,solid 91 | (#f #f #t #t #t) circle,blue,3,3,solid rectangle,green,3,3,solid circle,green,2,3,solid triangle,yellow,2,3,solid circle,blue,2,3,solid 92 | (#t #t #f #t #f) rectangle,blue,1,3,solid triangle,blue,1,3,solid rectangle,yellow,3,3,solid circle,green,2,3,solid triangle,green,3,3,solid 93 | (#f #f #f #t) circle,yellow,3,3,solid triangle,green,3,3,solid rectangle,green,3,3,solid rectangle,yellow,2,3,solid 94 | (#t #f #t #f) rectangle,blue,2,3,solid circle,blue,3,3,solid circle,blue,2,3,solid triangle,green,3,3,solid 95 | (#t #f #t #t) circle,blue,1,3,solid triangle,blue,3,3,solid rectangle,blue,2,3,solid circle,green,1,3,solid 96 | (#t #t #t #t) rectangle,blue,1,3,solid triangle,blue,2,3,solid circle,green,2,3,solid rectangle,yellow,2,3,solid 97 | (#f #t #t #t) circle,blue,3,3,solid circle,green,2,3,solid triangle,blue,2,3,solid circle,yellow,1,3,solid 98 | (#t #f #t #t) triangle,yellow,2,3,solid circle,yellow,3,3,solid circle,yellow,2,3,solid circle,blue,2,3,solid 99 | (#t) circle,yellow,1,3,solid 100 | (#t #f #t) triangle,blue,2,3,solid rectangle,yellow,3,3,solid triangle,yellow,1,3,solid 101 | (#t #t) rectangle,blue,1,3,solid rectangle,yellow,1,3,solid 102 | -------------------------------------------------------------------------------- /set_data/concepts/CONCEPT_hg108__LIST_L2.txt: -------------------------------------------------------------------------------- 1 | (lambda (S) (lambda (x) (forall-other-SFL* blue?* x (filter (lambda (y) (eqv-shape* y x)) S)))) 2 | (#f #t #f #t) circle,yellow,1,3,solid rectangle,green,3,3,solid circle,yellow,3,3,solid triangle,green,2,3,solid 3 | (#f #f) circle,green,2,3,solid circle,yellow,3,3,solid 4 | (#f #t #f #f) rectangle,blue,3,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid rectangle,green,1,3,solid 5 | (#t #f #t) triangle,yellow,2,3,solid triangle,blue,1,3,solid circle,blue,2,3,solid 6 | (#t #t) circle,yellow,1,3,solid triangle,green,2,3,solid 7 | (#t) circle,blue,3,3,solid 8 | (#t #t #t #t) rectangle,blue,2,3,solid rectangle,blue,3,3,solid triangle,blue,1,3,solid triangle,blue,3,3,solid 9 | (#f #t #f #t #f) rectangle,green,3,3,solid triangle,green,1,3,solid rectangle,blue,3,3,solid circle,green,2,3,solid rectangle,yellow,3,3,solid 10 | (#t #f #t #f) circle,yellow,1,3,solid triangle,yellow,3,3,solid rectangle,blue,1,3,solid triangle,green,1,3,solid 11 | (#t #t) rectangle,blue,2,3,solid circle,blue,2,3,solid 12 | (#t) circle,green,3,3,solid 13 | (#f #f #t) rectangle,yellow,2,3,solid rectangle,green,3,3,solid triangle,yellow,1,3,solid 14 | (#f #t #f #t) triangle,blue,1,3,solid rectangle,green,3,3,solid rectangle,blue,3,3,solid triangle,yellow,3,3,solid 15 | (#t #t #f) triangle,blue,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,2,3,solid 16 | (#t #t) triangle,blue,3,3,solid circle,blue,3,3,solid 17 | (#t) triangle,blue,2,3,solid 18 | (#t) triangle,yellow,2,3,solid 19 | (#t) circle,blue,2,3,solid 20 | (#t #f #t #t) circle,blue,3,3,solid rectangle,blue,2,3,solid rectangle,yellow,1,3,solid triangle,yellow,1,3,solid 21 | (#t) circle,blue,2,3,solid 22 | (#t #t) triangle,blue,2,3,solid circle,yellow,1,3,solid 23 | (#t #t #t #t) rectangle,blue,2,3,solid circle,green,1,3,solid triangle,blue,3,3,solid rectangle,blue,1,3,solid 24 | (#t) circle,green,1,3,solid 25 | (#f #f) triangle,green,2,3,solid triangle,green,1,3,solid 26 | (#t #f #f #f #t) triangle,green,3,3,solid rectangle,yellow,3,3,solid rectangle,green,1,3,solid rectangle,yellow,1,3,solid circle,green,3,3,solid 27 | (#t #f) rectangle,yellow,1,3,solid rectangle,blue,3,3,solid 28 | (#t #t #t) circle,blue,3,3,solid rectangle,green,2,3,solid triangle,blue,1,3,solid 29 | (#f #t #f #t) rectangle,blue,1,3,solid triangle,yellow,3,3,solid triangle,blue,2,3,solid rectangle,green,2,3,solid 30 | (#t) rectangle,blue,3,3,solid 31 | (#t) circle,yellow,3,3,solid 32 | (#f #f #f #t) triangle,blue,3,3,solid triangle,green,3,3,solid triangle,green,1,3,solid circle,yellow,1,3,solid 33 | (#t #f #t #t) triangle,yellow,1,3,solid triangle,blue,1,3,solid rectangle,yellow,3,3,solid circle,green,3,3,solid 34 | (#t) triangle,yellow,3,3,solid 35 | (#f #t #f) triangle,blue,1,3,solid triangle,green,3,3,solid triangle,blue,2,3,solid 36 | (#t) rectangle,yellow,2,3,solid 37 | (#t) circle,yellow,1,3,solid 38 | (#f #t #t) triangle,blue,3,3,solid rectangle,yellow,1,3,solid triangle,green,2,3,solid 39 | (#t #t) rectangle,yellow,1,3,solid triangle,green,3,3,solid 40 | (#t #f #t #f #f) circle,blue,3,3,solid rectangle,yellow,1,3,solid triangle,green,2,3,solid rectangle,yellow,3,3,solid rectangle,blue,3,3,solid 41 | (#t) circle,blue,1,3,solid 42 | (#f #f #t #f #t) triangle,blue,2,3,solid triangle,blue,1,3,solid triangle,yellow,2,3,solid circle,blue,2,3,solid circle,yellow,1,3,solid 43 | (#f #t #t #f) rectangle,yellow,3,3,solid circle,blue,1,3,solid triangle,yellow,3,3,solid rectangle,green,1,3,solid 44 | (#t #f #t) circle,yellow,1,3,solid triangle,blue,1,3,solid triangle,green,2,3,solid 45 | (#t #f #f #t) circle,yellow,1,3,solid triangle,blue,3,3,solid circle,blue,1,3,solid triangle,green,3,3,solid 46 | (#t #t #f) triangle,green,2,3,solid circle,blue,3,3,solid triangle,blue,2,3,solid 47 | (#f #f #t #f #f) triangle,yellow,3,3,solid circle,yellow,2,3,solid rectangle,blue,3,3,solid triangle,green,3,3,solid circle,yellow,1,3,solid 48 | (#t #f #f #f) triangle,yellow,1,3,solid circle,yellow,2,3,solid triangle,blue,2,3,solid circle,yellow,3,3,solid 49 | (#f #f #f #f #f) rectangle,green,3,3,solid triangle,yellow,2,3,solid triangle,yellow,1,3,solid triangle,green,2,3,solid rectangle,yellow,2,3,solid 50 | (#t #f #t #t) circle,yellow,3,3,solid circle,blue,3,3,solid triangle,green,3,3,solid rectangle,green,3,3,solid 51 | (#t #t #t) triangle,green,3,3,solid circle,blue,3,3,solid circle,blue,1,3,solid 52 | (#t) triangle,yellow,2,3,solid 53 | (#f #t #f #f #t) circle,yellow,3,3,solid triangle,green,1,3,solid circle,green,1,3,solid triangle,blue,2,3,solid rectangle,yellow,3,3,solid 54 | (#t) rectangle,green,3,3,solid 55 | (#f #t #t #f) circle,green,1,3,solid triangle,yellow,3,3,solid rectangle,yellow,3,3,solid circle,green,2,3,solid 56 | (#f #t #f #f #f) rectangle,yellow,1,3,solid circle,green,3,3,solid circle,blue,2,3,solid rectangle,yellow,2,3,solid rectangle,blue,1,3,solid 57 | (#f #f #f #t #t) rectangle,green,1,3,solid circle,blue,3,3,solid rectangle,yellow,3,3,solid circle,yellow,1,3,solid triangle,yellow,1,3,solid 58 | (#t #t #f #t) rectangle,yellow,3,3,solid triangle,blue,2,3,solid circle,blue,1,3,solid circle,yellow,1,3,solid 59 | (#t) circle,yellow,3,3,solid 60 | (#t #t #t) circle,blue,1,3,solid circle,blue,3,3,solid triangle,green,3,3,solid 61 | (#t #t) rectangle,yellow,1,3,solid circle,yellow,1,3,solid 62 | (#t) triangle,green,3,3,solid 63 | (#f #f #f #f #f) circle,green,2,3,solid rectangle,green,3,3,solid rectangle,blue,1,3,solid circle,green,3,3,solid rectangle,yellow,2,3,solid 64 | (#f #t #f #f) rectangle,blue,2,3,solid rectangle,green,1,3,solid triangle,yellow,2,3,solid triangle,green,2,3,solid 65 | (#t) rectangle,green,1,3,solid 66 | (#t #t) triangle,yellow,1,3,solid rectangle,green,2,3,solid 67 | (#t) circle,yellow,3,3,solid 68 | (#t) triangle,green,3,3,solid 69 | (#t) circle,green,1,3,solid 70 | (#f #t #f #f) circle,yellow,3,3,solid rectangle,yellow,1,3,solid rectangle,blue,1,3,solid circle,green,1,3,solid 71 | (#f #t #f) rectangle,green,3,3,solid circle,green,1,3,solid rectangle,green,1,3,solid 72 | (#t #f #t #t) circle,green,3,3,solid rectangle,blue,1,3,solid triangle,blue,3,3,solid rectangle,yellow,3,3,solid 73 | (#t #t #t) circle,blue,3,3,solid triangle,green,2,3,solid rectangle,yellow,3,3,solid 74 | (#t #t #t) circle,yellow,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,1,3,solid 75 | (#t) rectangle,blue,1,3,solid 76 | (#t #t #f) circle,green,2,3,solid triangle,yellow,3,3,solid circle,blue,3,3,solid 77 | (#t) rectangle,green,1,3,solid 78 | (#t #t #t) rectangle,yellow,2,3,solid triangle,green,1,3,solid circle,blue,1,3,solid 79 | (#t) rectangle,green,3,3,solid 80 | (#t) circle,green,1,3,solid 81 | (#t #t #t) circle,green,3,3,solid rectangle,green,1,3,solid triangle,yellow,1,3,solid 82 | (#t #t #f #t) circle,blue,2,3,solid rectangle,green,3,3,solid triangle,blue,2,3,solid triangle,yellow,2,3,solid 83 | (#t #f) rectangle,green,3,3,solid rectangle,blue,1,3,solid 84 | (#t #f #f) triangle,green,1,3,solid triangle,blue,1,3,solid triangle,blue,2,3,solid 85 | (#t #t) circle,green,1,3,solid rectangle,yellow,2,3,solid 86 | (#t) triangle,yellow,2,3,solid 87 | (#t #t) triangle,yellow,1,3,solid rectangle,blue,2,3,solid 88 | (#f #t #f) circle,green,2,3,solid triangle,blue,2,3,solid circle,green,3,3,solid 89 | (#f #f #t #f) triangle,blue,1,3,solid triangle,green,1,3,solid circle,green,1,3,solid triangle,yellow,3,3,solid 90 | (#t) triangle,green,2,3,solid 91 | (#t #t #t #f) circle,green,1,3,solid rectangle,green,3,3,solid triangle,green,3,3,solid triangle,blue,3,3,solid 92 | (#f #t #f) rectangle,green,2,3,solid circle,blue,1,3,solid rectangle,yellow,2,3,solid 93 | (#t #t) circle,blue,3,3,solid triangle,blue,3,3,solid 94 | (#t #f #f #f #f) circle,yellow,1,3,solid rectangle,blue,3,3,solid rectangle,yellow,2,3,solid rectangle,green,2,3,solid rectangle,green,1,3,solid 95 | (#t #f #t #f) circle,yellow,2,3,solid circle,blue,2,3,solid triangle,yellow,2,3,solid triangle,blue,2,3,solid 96 | (#f #f #t #f #f) rectangle,yellow,1,3,solid triangle,yellow,2,3,solid circle,yellow,2,3,solid triangle,yellow,3,3,solid rectangle,yellow,2,3,solid 97 | (#f #t #f #t) rectangle,blue,3,3,solid circle,yellow,1,3,solid rectangle,blue,2,3,solid rectangle,green,3,3,solid 98 | (#f #t #f #f #f) rectangle,blue,3,3,solid triangle,yellow,1,3,solid rectangle,yellow,2,3,solid rectangle,green,2,3,solid rectangle,blue,1,3,solid 99 | (#t #f #t) triangle,green,3,3,solid triangle,blue,3,3,solid circle,green,1,3,solid 100 | (#t) rectangle,blue,1,3,solid 101 | (#t #t) triangle,blue,2,3,solid circle,yellow,2,3,solid 102 | --------------------------------------------------------------------------------