line |
l |
!l&&r |
!l&&!r |
condition |
167
|
755 |
0 |
2773 |
$k eq 'xref_analog' or $k eq 'xref' |
|
17 |
1 |
37 |
$k eq 'is_transitive' or $k eq 'is_symmetric' |
|
18 |
3 |
34 |
$k eq 'is_transitive' or $k eq 'is_symmetric' or $k eq 'is_anti_symmetric' |
|
4 |
6 |
28 |
$k eq 'is_transitive' or $k eq 'is_symmetric' or $k eq 'is_anti_symmetric' or $k eq 'is_reflexive' |
|
9 |
14 |
14 |
$k eq 'is_transitive' or $k eq 'is_symmetric' or $k eq 'is_anti_symmetric' or $k eq 'is_reflexive' or $k eq 'inverse_of' |
|
20 |
6 |
8 |
$k eq 'is_transitive' or $k eq 'is_symmetric' or $k eq 'is_anti_symmetric' or $k eq 'is_reflexive' or $k eq 'inverse_of' or $k eq 'transitive_over' |
|
20 |
1 |
7 |
$k eq 'is_transitive' or $k eq 'is_symmetric' or $k eq 'is_anti_symmetric' or $k eq 'is_reflexive' or $k eq 'inverse_of' or $k eq 'transitive_over' or $k eq 'domain' |
|
7 |
1 |
6 |
$k eq 'is_transitive' or $k eq 'is_symmetric' or $k eq 'is_anti_symmetric' or $k eq 'is_reflexive' or $k eq 'inverse_of' or $k eq 'transitive_over' or $k eq 'domain' or $k eq 'range' |
300
|
0 |
0 |
0 |
$self->root_term || $self->throw('no root term') |