import Axiom
import A.ta3nj1a4
import A.r59jf3ak

open ta3nj1a4
open r59jf3ak

namespace nrhqjxz5

rigid universal Person extends Object := "person"

end nrhqjxz5