import Axiom
import A.j12bzjgj

open j12bzjgj
open c424c6bg

open BFO

namespace mw1nngvh

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

end mw1nngvh