Added acceptable prop-value assertion to test case, in addition to inconsistent assertion.
Implement test SlotFillerABoxTest to attempt to create an A-Box version of the SlotFiller test -- create an acceptable and an un-acceptable assertion, so that the unacceptable one causes an inconsistency while the acceptable one does not.