assumptionsKB property

StdFactKB assumptionsKB
latefinal

Implementation

late final StdFactKB assumptionsKB;