code: @Override
      public List<Statement> expand(Statement statement) {
          List<Statement> statements = new ArrayList<Statement>();
  
          // A -> (B -> C) implies A
          Statement definitional = new Statement(statement.getSubject());
          attachExpansionRuleCitation(definitional);
          statements.add(definitional);
  
          // A -> (B -> C) implies B -> C
          Statement object = statement.getObject().getStatement();
          Statement extracted = new Statement(object.getSubject());
          extracted.setRelationshipType(object.getRelationshipType());
          extracted.setObject(new Statement.Object(object.getObject().getTerm()));
          attachExpansionRuleCitation(extracted);
          statements.add(extracted);
  
          return statements;
      }
docs: {@inheritDoc}