Revert "rename property to props so it fits in the screen"
Revert "rename property to props so it fits in the screen"

This reverts commit b3fbc5189f30c71cbc14901c8ea8d8efa0d487e9.

sebhoss/truth-property-proposition