File size: 4,357 Bytes
8873a5c
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
<html><head>
<style>
body { font-family: Arial, sans-serif; margin: 20px; }
h1 { text-align: center; }
.cot-title { color: blue; }
.pos-title { color: green; }
h2 { color: black; text-align: left; }
h3 { color: black; text-align: left; }
h4 { color: darkslategray; }
table { width: 100%; border-collapse: collapse; margin: 20px 0; }
table, th, td { border: 1px solid #ddd; padding: 8px; }
th { background-color: #f2f2f2; }
tr:nth-child(even) { background-color: #f9f9f9; }
.highlight { background-color: #ffffcc; }
.true { color: green; }
.false { color: red; }
.highlighted-cell { background-color: yellow; cursor: pointer; }
.step-title { background-color: #f1f1f1; color: #444; padding: 10px; margin: 10px 0; font-size: 18px; border-left: 4px solid #888; }
.step { display: block; }
</style>
</head><body>
<hr>
<h3><span>Statement:</span> the vcpc and vctp of 7.62 mm (0.3in) fn mag 60 - 20 machine gun are the same for vcrt 20 mm (79in) rh - 202 autocannon , and so is the vcpc and vcrt of 75 km / h (47 mph) for vctp 75 km / h (47 mph)</h3>
<h3>Input Table: tam (tank)</h3>
<div class="step">
<div class="step">
<div class="step-title">Step 1: Select rows where 'vcpc' is '7.62 mm (0.3in) fn mag 60 - 20 machine gun'.</div>
<div id="step-1" class="content">
<table>
<tr>
<td>vctp</td>
<td>vca_155</td>
<td>vctm</td>
<td>vcpc</td>
<td>vclc</td>
<td>vcrt</td>
</tr>
<tr>
<td>28.2 t (31.1 tons )</td>
<td>40t (44.1tons)</td>
<td>26t (28.7tons)</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">25t (27.6tons)</span></td>
<td>32t (35.3tons)</td>
<td>32t (35.3tons)</td>
</tr>
<tr>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">20 mm (79in) rh - 202 autocannon</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">155 mm (6.1in) l / 41 howitzer</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">120 mm (4.72in) mortar</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:#90EE90;">7.62 mm (0.3in) fn mag 60 - 20 machine gun</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">160 mm (6.3in) or 350 mm (13.8in) rockets</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">7.62 mm (0.3in) fn mag 60 - 20 machine gun</span></td>
</tr>
<tr>
<td>km (mi)</td>
<td>-</td>
<td>km (mi)</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">-</span></td>
<td>km (mi)</td>
<td>km (mi)</td>
</tr>
<tr>
<td>24hp / t (23hp / ton)</td>
<td>18hp / t ( 16.5hp / ton)</td>
<td>28.8hp / t (25.1hp / ton)</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">28.8hp / t (25.1hp / ton)</span></td>
<td>22.5hp / t (20.4hp / ton)</td>
<td>22.5hp / t (20.4hp / ton)</td>
</tr>
<tr>
<td>75 km / h (47 mph)</td>
<td>55 km / h (34 mph)</td>
<td>75 km / h (47 mph)</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">75 km / h (47 mph)</span></td>
<td>75 km / h (47 mph)</td>
<td>75 km / h (47 mph)</td>
</tr>
</table>
</div>
<hr>
<div class="step">
<div class="step-title">Step 2: Select rows where 'vcrt' is '20 mm (79in) rh - 202 autocannon'.</div>
<div id="step-0" class="content">
<table>
<tr>
<td>vctp</td>
<td>vca_155</td>
<td>vctm</td>
<td>vcpc</td>
<td>vclc</td>
<td>vcrt</td>
</tr>
<tr>
<td>20 mm (79in) rh - 202 autocannon</td>
<td>155 mm (6.1in) l / 41 howitzer</td>
<td>120 mm (4.72in) mortar</td>
<td>7.62 mm (0.3in) fn mag 60 - 20 machine gun</td>
<td>160 mm (6.3in) or 350 mm (13.8in) rockets</td>
<td>7.62 mm (0.3in) fn mag 60 - 20 machine gun</td>
</tr>
</table>
</div>
</div>
<hr>
<div class="step">
<div class="step-title">Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.</div>
<div id="step-1" class="content">
<table>
<tr>
<td>vctp</td>
<td>vca_155</td>
<td>vctm</td>
<td>vcpc</td>
<td>vclc</td>
<td>vcrt</td>
</tr>
</table>
</div>
</div>
<hr>
<table>
<tr>
<td>verification_result</td>
</tr>
<tr>
<td>FALSE</td>
</tr>
</table>
</div>
</div>
<hr>
</body></html>