Assertion: logic's semantic | /r/HasProperty | sound
Facets:
Source sentences:
text: Adams (1998, 154) also defines another logic for which his probabilistic semantics is sound and complete.