N::N |: ["BIT" "SPR"] -> ["school"]
(
(X1::Y1)
((X0 def) = +)
)