Carter-Beau Benson

Results 2 issues of Carter-Beau Benson

May I suggest adding has_role, has_dispostion, and has_quality back as object properties. Their presence clarifies design patterns. Aggregate_bearer_of still has the equivalent sub-object properties.

**Describe the bug** The last axiom for generic dependence is "If a generically dependent continuant participates in a process p then, if it is concretized as a process, that process...

bug
FOL staged