import Axiom
import A.hz46pbq2

open hz46pbq2
open va6mxd60

open BFO

namespace z69f3rb3

rigid universal Person extends Object := "person"
universal Child extends Person := "child"

end z69f3rb3