-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathmatchprototype.html
47 lines (36 loc) · 1.91 KB
/
matchprototype.html
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
<html>
<head>
<title>Syntax prosody interface application</title>
<link rel="stylesheet" type="text/css" href="spot.css">
<!-- to keep spot.js in sync with the codebase make sure to run jsbuild.sh after making any changes to javascript files in the main directory or in the constraints sub-directory
(open a terminal, cd into the main directory, type ./jsbuild.sh and hit enter) -->
<script src="build/spot.js"></script>
<script src="trees/trees.js"></script>
<script src="trees/MyrbergTrees.js"></script>
</head>
<body style="padding-left: 5%; padding-right: 5%; padding-top: 20px">
<h2>Syntax prosody interface application</h2>
<pre id="results-container"></pre>
<script>
var candidateSet3 = GEN('kinyamboSTree1', "showed workers dog", {obeysHeadedness: true, obeysNonrecursivity: true});
var candidateSet4 = GEN('kinyamboSTree2', "showed chief of-workers dog", {obeysExhaustivity: true});
var constraintSet1 = ['equalSistersAdj','matchSP-xp', 'matchPS-phi'];
function runDemo() {
/*writeTableau(makeTableau([['sTreeCoord','pTreeA'], ['sTreeCoord','pTreeB'], ['sTreeCoord','pTreeC']], ['equalSistersAdj','matchSP-clause', 'matchPS-i']));
lastSegmentId++;
logreport('<br><hr>');
writeTableau(makeTableau([['sTreeEmbed','pTreeA'], ['sTreeEmbed','pTreeB'], ['sTreeEmbed','pTreeC']], ['equalSistersAdj','matchSP-clause', 'matchPS-i']));
lastSegmentId++;
logreport('<br><hr>');
writeTableau(makeTableau([[null, 'unequalSisters1'], [null, 'unequalSisters2'], [null, 'unequalSisters3']], ['equalSistersAdj', 'equalSistersFirstPrivilege', 'equalSistersPairwise']));
lastSegmentId++;*/
writeTableau(makeTableau(candidateSet3, constraintSet1));
//revealNextSegment();
//lastSegmentId++;
writeTableau(makeTableau(candidateSet4, constraintSet1));
revealNextSegment();
lastSegmentId++;
}
</script>
</body>
</html>