%% phil essay abstract ideas
/**
The program will use grammars to translate sentences into aphors (relations within the sentence), for checking.

(Alternatively, object descriptions would be translated into aphors.)

The grammars will be built using the sentences in another program, like formula finder.
-the grammars are found by using simpler sentences
-the aphors are taken from the grammars
-they are checked against objects
* object<->aphor

noun verb article preposition adjective adverb

John walked home.

John
	walked
	home

I have John.
I have home.
John walked home.

The cat ate the bird.
-
	the
	cat

	ate
		the
		bird

I have the cat.
I have the bird.
The cat ate the bird.

A triangle is in a rectangle.

-
	a
	triangle

	is
		in
			a
			rectangle	

I have a triangle.
I have a rectangle.
A triangle is in a rectangle.

-
	the
		large
		cat

	walked
	home

I have a large cat.
I have the cat.
I have home.
The cat walked home.

John ran home quickly.

john
	ran
	home
	quickly

Phil version:
aphoric definitions only

comp version:
grammar(AphorList) --> noun_phrase(AphorList1,Noun), verb_phrase(AphorList2),
	{append_list(AphorList1,AphorList2,AphorList).
noun_phrase(AphorList) --> noun(Noun)
append_list([A|B],C) :-
        append_list([],[A,B],C).  
append_list(A,[],A).
append_list(A,[[B1|B1s]|Bs],C) :-
        append_list(A,[B1|B1s],C1), append_list(C1,Bs,C), !.
append_list(A,[B|Bs],C) :-
        append(A,[B],C1), append_list(C1,Bs,C).

phil
on,in,next to,behind

test_objects(ObjectList)

ObjectList		List of objects, e.g. [[Cubes,Faces,Lines,Points]]
Cubes,Faces,Lines	List of shapes e.g. [[ShapeNumber,[NextLevelShapeNumbers]],...]
FaceNumbers,LineNumbers,PointNumbers	List of next level shape numbers, e.g. [FaceNumbers 1-6],[LineNumbers 1-4],[PointNumbers 1-2]
Points			[[PointNumber,[X,Y,Z]],...]

**/

in