b is a generically dependent c ...... in BFO2 Reference: [074-001])
@en