Up to index of Isabelle/FOL/BFO
theory BFO imports QDistR Adjacency TMTL SumsPartitions UniversalParthood begin end