Class: drs:Formula

http://cs-www.cs.yale.edu/homes/dvm/daml/drsonto040520.owl#Formula

Usage (2)