type DrtOrExpression

source code

                       object --+            
                                |            
                      AbstractDrs --+        
                                    |        
               object --+           |        
                        |           |        
logic.SubstituteBindingsI --+       |        
                            |       |        
             logic.Expression --+   |        
                                |   |        
           logic.BinaryExpression --+        
                                    |        
                  DrtBinaryExpression --+    
                                        |    
               object --+               |    
                        |               |    
logic.SubstituteBindingsI --+           |    
                            |           |    
             logic.Expression --+       |    
                                |       |    
           logic.BinaryExpression --+   |    
                                    |   |    
              logic.BooleanExpression --+    
                                        |    
                     DrtBooleanExpression --+
                                            |
               object --+                   |
                        |                   |
logic.SubstituteBindingsI --+               |
                            |               |
             logic.Expression --+           |
                                |           |
           logic.BinaryExpression --+       |
                                    |       |
              logic.BooleanExpression --+   |
                                        |   |
                       logic.OrExpression --+
                                            |
                                           DrtOrExpression