I know I can achieve what I want with more code, but I’m trying to make this a little more logically elegant. Can I define a value via a relation? Specifically, can I say:
Marital status is a kind of value. The marital statuses are single, married, widowed, and unknown. A person has a marital status.
Marriage relates people to each other. The verb to be wedded to means the marriage relation.
Definition: a person is married if it is wedded to someone.
Or rather, I know I can’t say this exactly because it gives me an error (“it looks as if you intend ‘The marital statuses are single, married, widowed, and unknown’ to be asserting something, but that seems to involve applying the adjective ‘married’ to a marital status - and I have no definition of it which would apply in that situation”), but is there something I can write to achieve the same result? So that I could say “A is wedded to B” and not need a separate line of code to say “A is married. B is married”, and so that I could concisely say that killing someone’s spouse makes them widowed?
(Hoo boy I don’t like the new forum)