true true CRW C CRO C ARW A ARO A CRO-ARO C-has-A false A-has-C id a_id CRW-ARW C-has-A false A-has-C id a_id