HTML Microdata document

This HTML5 document contains 564 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl	http://www.w3.org/2002/07/owl#
rdfs	http://www.w3.org/2000/01/rdf-schema#
n3	http://yang.eurecom.fr/codeontology/
xsdh	http://www.w3.org/2001/XMLSchema#

Statements

Subject Item: n3:Expression
rdf:type: owl:Class
rdfs:subClassOf: _:vb13857 _:vb13862 _:vb13867 _:vb13871 _:vb13847 _:vb13852 _:vb13836 _:vb13811 _:vb13816 _:vb13821 _:vb13796 _:vb13801 _:vb13806 _:vb13776 _:vb13781 _:vb13786 _:vb13791 _:vb13771 _:vb12675 _:vb12679 n3:CodeElement _:vb12594 _:vb12599 _:vb12604 _:vb12579 _:vb12584 _:vb12589 _:vb12660 _:vb12665 _:vb12670 _:vb12644 _:vb12655 _:vb12624 _:vb12629 _:vb12609 _:vb12614 _:vb12619
rdfs:label: Expression
rdfs:comment: An evaluable syntactic entity.

Subject Item: _:vb12578
rdf:first: _:vb12580
rdf:rest: _:vb12581

Subject Item: _:vb12579
rdf:type: owl:Class
owl:intersectionOf: _:vb12578

Subject Item: _:vb12580
rdf:type: owl:Restriction
owl:onProperty: n3:isTargetOf
owl:allValuesFrom: n3:MethodInvocationExpression

Subject Item: _:vb12581
rdf:first: _:vb12582
rdf:rest: rdf:nil

Subject Item: _:vb12582
rdf:type: owl:Restriction
owl:onProperty: n3:isTargetOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:MethodInvocationExpression

Subject Item: _:vb12583
rdf:first: _:vb12585
rdf:rest: _:vb12586

Subject Item: _:vb12584
rdf:type: owl:Class
owl:intersectionOf: _:vb12583

Subject Item: _:vb12585
rdf:type: owl:Restriction
owl:onProperty: n3:isAssertExpressionOf
owl:allValuesFrom: n3:AssertStatement

Subject Item: _:vb12586
rdf:first: _:vb12587
rdf:rest: rdf:nil

Subject Item: _:vb12587
rdf:type: owl:Restriction
owl:onProperty: n3:isAssertExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AssertStatement

Subject Item: _:vb12588
rdf:first: _:vb12590
rdf:rest: _:vb12591

Subject Item: _:vb12589
rdf:type: owl:Class
owl:intersectionOf: _:vb12588

Subject Item: _:vb12590
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnedExpressionOf
owl:allValuesFrom: n3:ReturnStatement

Subject Item: _:vb12591
rdf:first: _:vb12592
rdf:rest: rdf:nil

Subject Item: _:vb12592
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnedExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ReturnStatement

Subject Item: _:vb12593
rdf:first: _:vb12595
rdf:rest: _:vb12596

Subject Item: _:vb12594
rdf:type: owl:Class
owl:intersectionOf: _:vb12593

Subject Item: _:vb12595
rdf:type: owl:Restriction
owl:onProperty: n3:isThrownExpressionOf
owl:allValuesFrom: n3:ThrowStatement

Subject Item: _:vb12596
rdf:first: _:vb12597
rdf:rest: rdf:nil

Subject Item: _:vb12597
rdf:type: owl:Restriction
owl:onProperty: n3:isThrownExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ThrowStatement

Subject Item: _:vb12598
rdf:first: _:vb12600
rdf:rest: _:vb12601

Subject Item: _:vb12599
rdf:type: owl:Class
owl:intersectionOf: _:vb12598

Subject Item: _:vb12600
rdf:type: owl:Restriction
owl:onProperty: n3:isIterableOf
owl:allValuesFrom: n3:ForEachStatement

Subject Item: _:vb12601
rdf:first: _:vb12602
rdf:rest: rdf:nil

Subject Item: _:vb12602
rdf:type: owl:Restriction
owl:onProperty: n3:isIterableOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ForEachStatement

Subject Item: _:vb12603
rdf:first: _:vb12605
rdf:rest: _:vb12606

Subject Item: _:vb12604
rdf:type: owl:Class
owl:intersectionOf: _:vb12603

Subject Item: _:vb12605
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:allValuesFrom: n3:Type

Subject Item: _:vb12606
rdf:first: _:vb12607
rdf:rest: rdf:nil

Subject Item: _:vb12607
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:minQualifiedCardinality: 1
owl:onClass: n3:Type

Subject Item: _:vb12608
rdf:first: _:vb12610
rdf:rest: _:vb12611

Subject Item: _:vb12609
rdf:type: owl:Class
owl:intersectionOf: _:vb12608

Subject Item: _:vb12610
rdf:type: owl:Restriction
owl:onProperty: n3:isSwitchExpressionOf
owl:allValuesFrom: n3:SwitchStatement

Subject Item: _:vb12611
rdf:first: _:vb12612
rdf:rest: rdf:nil

Subject Item: _:vb12612
rdf:type: owl:Restriction
owl:onProperty: n3:isSwitchExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:SwitchStatement

Subject Item: _:vb12613
rdf:first: _:vb12615
rdf:rest: _:vb12616

Subject Item: _:vb12614
rdf:type: owl:Class
owl:intersectionOf: _:vb12613

Subject Item: _:vb12615
rdf:type: owl:Restriction
owl:onProperty: n3:isInitializerOf
owl:allValuesFrom: n3:VariableDeclarationStatement

Subject Item: _:vb12616
rdf:first: _:vb12617
rdf:rest: rdf:nil

Subject Item: _:vb12617
rdf:type: owl:Restriction
owl:onProperty: n3:isInitializerOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:VariableDeclarationStatement

Subject Item: _:vb12618
rdf:first: _:vb12620
rdf:rest: _:vb12621

Subject Item: _:vb12619
rdf:type: owl:Class
owl:intersectionOf: _:vb12618

Subject Item: _:vb12620
rdf:type: owl:Restriction
owl:onProperty: n3:isForInitOf
owl:allValuesFrom: n3:ForStatement

Subject Item: _:vb12621
rdf:first: _:vb12622
rdf:rest: rdf:nil

Subject Item: _:vb12622
rdf:type: owl:Restriction
owl:onProperty: n3:isForInitOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ForStatement

Subject Item: _:vb12623
rdf:first: _:vb12625
rdf:rest: _:vb12626

Subject Item: _:vb12624
rdf:type: owl:Class
owl:intersectionOf: _:vb12623

Subject Item: _:vb12625
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:allValuesFrom: xsdh:string

Subject Item: _:vb12626
rdf:first: _:vb12627
rdf:rest: rdf:nil

Subject Item: _:vb12627
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb12628
rdf:first: _:vb12630
rdf:rest: _:vb12636

Subject Item: _:vb12629
rdf:type: owl:Class
owl:intersectionOf: _:vb12628

Subject Item: _:vb12630
rdf:type: owl:Restriction
owl:onProperty: n3:isConditionOf
owl:allValuesFrom: _:vb12631

Subject Item: _:vb12631
rdf:type: owl:Class
owl:unionOf: _:vb12632

Subject Item: _:vb12632
rdf:first: n3:DoWhileStatement
rdf:rest: _:vb12633

Subject Item: _:vb12633
rdf:first: n3:ForStatement
rdf:rest: _:vb12634

Subject Item: _:vb12634
rdf:first: n3:IfThenElseStatement
rdf:rest: _:vb12635

Subject Item: _:vb12635
rdf:first: n3:WhileStatement
rdf:rest: rdf:nil

Subject Item: _:vb12636
rdf:first: _:vb12637
rdf:rest: rdf:nil

Subject Item: _:vb12637
rdf:type: owl:Restriction
owl:onProperty: n3:isConditionOf
owl:maxQualifiedCardinality: 1
owl:onClass: _:vb12638

Subject Item: _:vb12638
rdf:type: owl:Class
owl:unionOf: _:vb12639

Subject Item: _:vb12639
rdf:first: n3:DoWhileStatement
rdf:rest: _:vb12640

Subject Item: _:vb12640
rdf:first: n3:ForStatement
rdf:rest: _:vb12641

Subject Item: _:vb12641
rdf:first: n3:IfThenElseStatement
rdf:rest: _:vb12642

Subject Item: _:vb12642
rdf:first: n3:WhileStatement
rdf:rest: rdf:nil

Subject Item: _:vb12643
rdf:first: _:vb12645
rdf:rest: _:vb12649

Subject Item: _:vb12644
rdf:type: owl:Class
owl:intersectionOf: _:vb12643

Subject Item: _:vb12645
rdf:type: owl:Restriction
owl:onProperty: n3:isSubExpressionOf
owl:allValuesFrom: _:vb12646

Subject Item: _:vb12646
rdf:type: owl:Class
owl:unionOf: _:vb12647

Subject Item: _:vb12647
rdf:first: n3:Expression
rdf:rest: _:vb12648

Subject Item: _:vb12648
rdf:first: n3:Statement
rdf:rest: rdf:nil

Subject Item: _:vb12649
rdf:first: _:vb12650
rdf:rest: rdf:nil

Subject Item: _:vb12650
rdf:type: owl:Restriction
owl:onProperty: n3:isSubExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: _:vb12651

Subject Item: _:vb12651
rdf:type: owl:Class
owl:unionOf: _:vb12652

Subject Item: _:vb12652
rdf:first: n3:Expression
rdf:rest: _:vb12653

Subject Item: _:vb12653
rdf:first: n3:Statement
rdf:rest: rdf:nil

Subject Item: _:vb12654
rdf:first: _:vb12656
rdf:rest: _:vb12657

Subject Item: _:vb12655
rdf:type: owl:Class
owl:intersectionOf: _:vb12654

Subject Item: _:vb12656
rdf:type: owl:Restriction
owl:onProperty: n3:isRightHandSideOf
owl:allValuesFrom: n3:AssignmentExpression

Subject Item: _:vb12657
rdf:first: _:vb12658
rdf:rest: rdf:nil

Subject Item: _:vb12658
rdf:type: owl:Restriction
owl:onProperty: n3:isRightHandSideOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AssignmentExpression

Subject Item: _:vb12659
rdf:first: _:vb12661
rdf:rest: _:vb12662

Subject Item: _:vb12660
rdf:type: owl:Class
owl:intersectionOf: _:vb12659

Subject Item: _:vb12661
rdf:type: owl:Restriction
owl:onProperty: n3:isForUpdateOf
owl:allValuesFrom: n3:ForStatement

Subject Item: _:vb12662
rdf:first: _:vb12663
rdf:rest: rdf:nil

Subject Item: _:vb12663
rdf:type: owl:Restriction
owl:onProperty: n3:isForUpdateOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ForStatement

Subject Item: _:vb12664
rdf:first: _:vb12666
rdf:rest: _:vb12667

Subject Item: _:vb12665
rdf:type: owl:Class
owl:intersectionOf: _:vb12664

Subject Item: _:vb12666
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftHandSideOf
owl:allValuesFrom: n3:AssignmentExpression

Subject Item: _:vb12667
rdf:first: _:vb12668
rdf:rest: rdf:nil

Subject Item: _:vb12668
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftHandSideOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AssignmentExpression

Subject Item: _:vb12669
rdf:first: _:vb12671
rdf:rest: _:vb12672

Subject Item: _:vb12670
rdf:type: owl:Class
owl:intersectionOf: _:vb12669

Subject Item: _:vb12671
rdf:type: owl:Restriction
owl:onProperty: n3:hasLine
owl:allValuesFrom: xsdh:int

Subject Item: _:vb12672
rdf:first: _:vb12673
rdf:rest: rdf:nil

Subject Item: _:vb12673
rdf:type: owl:Restriction
owl:onProperty: n3:hasLine
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb12674
rdf:first: n3:Expression
rdf:rest: _:vb12677

Subject Item: _:vb12675
rdf:type: owl:Restriction
owl:onProperty: n3:hasSubExpression
owl:allValuesFrom: _:vb12676

Subject Item: _:vb12676
rdf:type: owl:Class
owl:unionOf: _:vb12674

Subject Item: _:vb12677
rdf:first: n3:Variable
rdf:rest: rdf:nil

Subject Item: _:vb12678
rdf:first: _:vb12680
rdf:rest: _:vb12681

Subject Item: _:vb12679
rdf:type: owl:Class
owl:intersectionOf: _:vb12678

Subject Item: _:vb12680
rdf:type: owl:Restriction
owl:onProperty: n3:isCaseExpressionOf
owl:allValuesFrom: n3:CaseLabeledBlock

Subject Item: _:vb12681
rdf:first: _:vb12682
rdf:rest: rdf:nil

Subject Item: _:vb12682
rdf:type: owl:Restriction
owl:onProperty: n3:isCaseExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:CaseLabeledBlock

Subject Item: _:vb13770
rdf:first: _:vb13772
rdf:rest: _:vb13773

Subject Item: _:vb13771
rdf:type: owl:Class
owl:intersectionOf: _:vb13770

Subject Item: _:vb13772
rdf:type: owl:Restriction
owl:onProperty: n3:isTargetOf
owl:allValuesFrom: n3:MethodInvocationExpression

Subject Item: _:vb13773
rdf:first: _:vb13774
rdf:rest: rdf:nil

Subject Item: _:vb13774
rdf:type: owl:Restriction
owl:onProperty: n3:isTargetOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:MethodInvocationExpression

Subject Item: _:vb13775
rdf:first: _:vb13777
rdf:rest: _:vb13778

Subject Item: _:vb13776
rdf:type: owl:Class
owl:intersectionOf: _:vb13775

Subject Item: _:vb13777
rdf:type: owl:Restriction
owl:onProperty: n3:isAssertExpressionOf
owl:allValuesFrom: n3:AssertStatement

Subject Item: _:vb13778
rdf:first: _:vb13779
rdf:rest: rdf:nil

Subject Item: _:vb13779
rdf:type: owl:Restriction
owl:onProperty: n3:isAssertExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AssertStatement

Subject Item: _:vb13780
rdf:first: _:vb13782
rdf:rest: _:vb13783

Subject Item: _:vb13781
rdf:type: owl:Class
owl:intersectionOf: _:vb13780

Subject Item: _:vb13782
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnedExpressionOf
owl:allValuesFrom: n3:ReturnStatement

Subject Item: _:vb13783
rdf:first: _:vb13784
rdf:rest: rdf:nil

Subject Item: _:vb13784
rdf:type: owl:Restriction
owl:onProperty: n3:isReturnedExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ReturnStatement

Subject Item: _:vb13785
rdf:first: _:vb13787
rdf:rest: _:vb13788

Subject Item: _:vb13786
rdf:type: owl:Class
owl:intersectionOf: _:vb13785

Subject Item: _:vb13787
rdf:type: owl:Restriction
owl:onProperty: n3:isThrownExpressionOf
owl:allValuesFrom: n3:ThrowStatement

Subject Item: _:vb13788
rdf:first: _:vb13789
rdf:rest: rdf:nil

Subject Item: _:vb13789
rdf:type: owl:Restriction
owl:onProperty: n3:isThrownExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ThrowStatement

Subject Item: _:vb13790
rdf:first: _:vb13792
rdf:rest: _:vb13793

Subject Item: _:vb13791
rdf:type: owl:Class
owl:intersectionOf: _:vb13790

Subject Item: _:vb13792
rdf:type: owl:Restriction
owl:onProperty: n3:isIterableOf
owl:allValuesFrom: n3:ForEachStatement

Subject Item: _:vb13793
rdf:first: _:vb13794
rdf:rest: rdf:nil

Subject Item: _:vb13794
rdf:type: owl:Restriction
owl:onProperty: n3:isIterableOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ForEachStatement

Subject Item: _:vb13795
rdf:first: _:vb13797
rdf:rest: _:vb13798

Subject Item: _:vb13796
rdf:type: owl:Class
owl:intersectionOf: _:vb13795

Subject Item: _:vb13797
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:allValuesFrom: n3:Type

Subject Item: _:vb13798
rdf:first: _:vb13799
rdf:rest: rdf:nil

Subject Item: _:vb13799
rdf:type: owl:Restriction
owl:onProperty: n3:hasType
owl:minQualifiedCardinality: 1
owl:onClass: n3:Type

Subject Item: _:vb13800
rdf:first: _:vb13802
rdf:rest: _:vb13803

Subject Item: _:vb13801
rdf:type: owl:Class
owl:intersectionOf: _:vb13800

Subject Item: _:vb13802
rdf:type: owl:Restriction
owl:onProperty: n3:isSwitchExpressionOf
owl:allValuesFrom: n3:SwitchStatement

Subject Item: _:vb13803
rdf:first: _:vb13804
rdf:rest: rdf:nil

Subject Item: _:vb13804
rdf:type: owl:Restriction
owl:onProperty: n3:isSwitchExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:SwitchStatement

Subject Item: _:vb13805
rdf:first: _:vb13807
rdf:rest: _:vb13808

Subject Item: _:vb13806
rdf:type: owl:Class
owl:intersectionOf: _:vb13805

Subject Item: _:vb13807
rdf:type: owl:Restriction
owl:onProperty: n3:isInitializerOf
owl:allValuesFrom: n3:VariableDeclarationStatement

Subject Item: _:vb13808
rdf:first: _:vb13809
rdf:rest: rdf:nil

Subject Item: _:vb13809
rdf:type: owl:Restriction
owl:onProperty: n3:isInitializerOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:VariableDeclarationStatement

Subject Item: _:vb13810
rdf:first: _:vb13812
rdf:rest: _:vb13813

Subject Item: _:vb13811
rdf:type: owl:Class
owl:intersectionOf: _:vb13810

Subject Item: _:vb13812
rdf:type: owl:Restriction
owl:onProperty: n3:isForInitOf
owl:allValuesFrom: n3:ForStatement

Subject Item: _:vb13813
rdf:first: _:vb13814
rdf:rest: rdf:nil

Subject Item: _:vb13814
rdf:type: owl:Restriction
owl:onProperty: n3:isForInitOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ForStatement

Subject Item: _:vb13815
rdf:first: _:vb13817
rdf:rest: _:vb13818

Subject Item: _:vb13816
rdf:type: owl:Class
owl:intersectionOf: _:vb13815

Subject Item: _:vb13817
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:allValuesFrom: xsdh:string

Subject Item: _:vb13818
rdf:first: _:vb13819
rdf:rest: rdf:nil

Subject Item: _:vb13819
rdf:type: owl:Restriction
owl:onProperty: n3:hasSourceCode
owl:onDataRange: xsdh:string
owl:qualifiedCardinality: 1

Subject Item: _:vb13820
rdf:first: _:vb13822
rdf:rest: _:vb13828

Subject Item: _:vb13821
rdf:type: owl:Class
owl:intersectionOf: _:vb13820

Subject Item: _:vb13822
rdf:type: owl:Restriction
owl:onProperty: n3:isConditionOf
owl:allValuesFrom: _:vb13823

Subject Item: _:vb13823
rdf:type: owl:Class
owl:unionOf: _:vb13824

Subject Item: _:vb13824
rdf:first: n3:DoWhileStatement
rdf:rest: _:vb13825

Subject Item: _:vb13825
rdf:first: n3:ForStatement
rdf:rest: _:vb13826

Subject Item: _:vb13826
rdf:first: n3:IfThenElseStatement
rdf:rest: _:vb13827

Subject Item: _:vb13827
rdf:first: n3:WhileStatement
rdf:rest: rdf:nil

Subject Item: _:vb13828
rdf:first: _:vb13829
rdf:rest: rdf:nil

Subject Item: _:vb13829
rdf:type: owl:Restriction
owl:onProperty: n3:isConditionOf
owl:maxQualifiedCardinality: 1
owl:onClass: _:vb13830

Subject Item: _:vb13830
rdf:type: owl:Class
owl:unionOf: _:vb13831

Subject Item: _:vb13831
rdf:first: n3:DoWhileStatement
rdf:rest: _:vb13832

Subject Item: _:vb13832
rdf:first: n3:ForStatement
rdf:rest: _:vb13833

Subject Item: _:vb13833
rdf:first: n3:IfThenElseStatement
rdf:rest: _:vb13834

Subject Item: _:vb13834
rdf:first: n3:WhileStatement
rdf:rest: rdf:nil

Subject Item: _:vb13835
rdf:first: _:vb13837
rdf:rest: _:vb13841

Subject Item: _:vb13836
rdf:type: owl:Class
owl:intersectionOf: _:vb13835

Subject Item: _:vb13837
rdf:type: owl:Restriction
owl:onProperty: n3:isSubExpressionOf
owl:allValuesFrom: _:vb13838

Subject Item: _:vb13838
rdf:type: owl:Class
owl:unionOf: _:vb13839

Subject Item: _:vb13839
rdf:first: n3:Expression
rdf:rest: _:vb13840

Subject Item: _:vb13840
rdf:first: n3:Statement
rdf:rest: rdf:nil

Subject Item: _:vb13841
rdf:first: _:vb13842
rdf:rest: rdf:nil

Subject Item: _:vb13842
rdf:type: owl:Restriction
owl:onProperty: n3:isSubExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: _:vb13843

Subject Item: _:vb13843
rdf:type: owl:Class
owl:unionOf: _:vb13844

Subject Item: _:vb13844
rdf:first: n3:Expression
rdf:rest: _:vb13845

Subject Item: _:vb13845
rdf:first: n3:Statement
rdf:rest: rdf:nil

Subject Item: _:vb13846
rdf:first: _:vb13848
rdf:rest: _:vb13849

Subject Item: _:vb13847
rdf:type: owl:Class
owl:intersectionOf: _:vb13846

Subject Item: _:vb13848
rdf:type: owl:Restriction
owl:onProperty: n3:isRightHandSideOf
owl:allValuesFrom: n3:AssignmentExpression

Subject Item: _:vb13849
rdf:first: _:vb13850
rdf:rest: rdf:nil

Subject Item: _:vb13850
rdf:type: owl:Restriction
owl:onProperty: n3:isRightHandSideOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AssignmentExpression

Subject Item: _:vb13851
rdf:first: _:vb13853
rdf:rest: _:vb13854

Subject Item: _:vb13852
rdf:type: owl:Class
owl:intersectionOf: _:vb13851

Subject Item: _:vb13853
rdf:type: owl:Restriction
owl:onProperty: n3:isForUpdateOf
owl:allValuesFrom: n3:ForStatement

Subject Item: _:vb13854
rdf:first: _:vb13855
rdf:rest: rdf:nil

Subject Item: _:vb13855
rdf:type: owl:Restriction
owl:onProperty: n3:isForUpdateOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:ForStatement

Subject Item: _:vb13856
rdf:first: _:vb13858
rdf:rest: _:vb13859

Subject Item: _:vb13857
rdf:type: owl:Class
owl:intersectionOf: _:vb13856

Subject Item: _:vb13858
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftHandSideOf
owl:allValuesFrom: n3:AssignmentExpression

Subject Item: _:vb13859
rdf:first: _:vb13860
rdf:rest: rdf:nil

Subject Item: _:vb13860
rdf:type: owl:Restriction
owl:onProperty: n3:isLeftHandSideOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:AssignmentExpression

Subject Item: _:vb13861
rdf:first: _:vb13863
rdf:rest: _:vb13864

Subject Item: _:vb13862
rdf:type: owl:Class
owl:intersectionOf: _:vb13861

Subject Item: _:vb13863
rdf:type: owl:Restriction
owl:onProperty: n3:hasLine
owl:allValuesFrom: xsdh:int

Subject Item: _:vb13864
rdf:first: _:vb13865
rdf:rest: rdf:nil

Subject Item: _:vb13865
rdf:type: owl:Restriction
owl:onProperty: n3:hasLine
owl:onDataRange: xsdh:int
owl:qualifiedCardinality: 1

Subject Item: _:vb13866
rdf:first: n3:Expression
rdf:rest: _:vb13869

Subject Item: _:vb13867
rdf:type: owl:Restriction
owl:onProperty: n3:hasSubExpression
owl:allValuesFrom: _:vb13868

Subject Item: _:vb13868
rdf:type: owl:Class
owl:unionOf: _:vb13866

Subject Item: _:vb13869
rdf:first: n3:Variable
rdf:rest: rdf:nil

Subject Item: _:vb13870
rdf:first: _:vb13872
rdf:rest: _:vb13873

Subject Item: _:vb13871
rdf:type: owl:Class
owl:intersectionOf: _:vb13870

Subject Item: _:vb13872
rdf:type: owl:Restriction
owl:onProperty: n3:isCaseExpressionOf
owl:allValuesFrom: n3:CaseLabeledBlock

Subject Item: _:vb13873
rdf:first: _:vb13874
rdf:rest: rdf:nil

Subject Item: _:vb13874
rdf:type: owl:Restriction
owl:onProperty: n3:isCaseExpressionOf
owl:maxQualifiedCardinality: 1
owl:onClass: n3:CaseLabeledBlock