initial commit
add bigger statement with transitivity
add Dan's code to repo
add circle dependencies with boxes + updated readme with physical laws list
add square rules
add triangle rules
correct form names + add rules with plank and table
add box rules
remove '
added plank and table to shrdlite_grammar.pl
fix missing shrdlite.pl
add holding and put function
fix isontop condition
modified variables that started with a lower case character so that all variables start with a capital later plus removed some cases of canbeon that were not supposed to be present
add a few functions to manipulate lists