DOG WIZARDS Axioms

main
[main]

1,[subject] [relation] [subject]
 * main

1,quan-subject-sin
 * subject

1,all 1,each 1,article[subject] 1,any 1,the one true

1,thing 1,man 1,god 1,hell 1,justice 1,proof of [subject]
 * subject

relation 1, is 1, is greater than 1, is less than 1,, we can see that is 1, is like 1, is kin to 1, is a kind of