Axioms 060-001, 059-002 conflict

[GoogleCodeExporter]

Please elaborate on the issue here.

ELUCIDATION: to say that a realizes b at t is to assert that 
there is some material entity c 
& a is a process in which has participant c at temporal interval t 
& b is a disposition or role of which c is bearer at t
& the type instantiated by a is correlated with the type instantiated by b. 
[059-002]
DOMAIN: process
RANGE: realizable entity

AXIOM: All realizable dependent continuants have material entities or sites as 
their bearers. [060-001]

The first insists that bearers are material entities. 
The second that bearers are either material entities or sites.

Original issue reported on code.google.com by alanruttenberg@gmail.com on 28 Jun 2012 at 3:39

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

Fixed, reference says bearers are idc but not s-regions

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 5:30

• Changed state: Fixed-in-reference