Assertion: argument's claim | /r/HasProperty | contingent
Facets:
value: in case
type: TEMPORAL
Source sentences:
text: Suppose that we agree to think about possibility and necessity in terms of possible worlds: a claim is possibly true just in case it is true in at least one possible world; a claim is necessarily true just in case it is true in every possible world; and a claim is contingent just in case it is true in some possible worlds and false in others.