Test BFO Classes and Relations Display

FOL Expression Test
Test Results
BFO Classes Used:
    BFO Relations Used:
      Free Variables (Not Bound by Quantifiers):
        Non-BFO Terms:
          Issues: