class "orange"
[ { "MLTT1" * } {
[ { "" * } {
- [ "genv_primitive" "judgement" * ]
+ [ "genv_primitive" "judgment" * ]
}
]
}
]
}
-class "component" { 0 }
+class "top" { * }
-class "plane" { 1 }
+class "capitalize italic" { 0 }
-class "file" { 2 * }
+class "italic" { 1 }