+
+ /*
+ * proximity ::= exclusion distance ordered relation which-code unit-code.
+ * exclusion ::= '1' | '0' | 'void'.
+ * distance ::= integer.
+ * ordered ::= '1' | '0'.
+ * relation ::= integer.
+ * which-code ::= 'known' | 'private' | integer.
+ * unit-code ::= integer.
+ */
+ String opPQF() {
+ String rel = ms.modifier("relation");
+ int relCode = 0;
+ if (rel.equals("<")) {
+ relCode = 1;
+ } else if (rel.equals("<=")) {
+ relCode = 2;
+ } else if (rel.equals("=")) {
+ relCode = 3;
+ } else if (rel.equals(">=")) {
+ relCode = 4;
+ } else if (rel.equals(">")) {
+ relCode = 5;
+ } else if (rel.equals("<>")) {
+ relCode = 6;
+ }
+
+ String unit = ms.modifier("unit");
+ int unitCode = 0;
+ if (unit.equals("word")) {
+ unitCode = 2;
+ } else if (unit.equals("sentence")) {
+ unitCode = 3;
+ } else if (unit.equals("paragraph")) {
+ unitCode = 4;
+ } else if (unit.equals("element")) {
+ unitCode = 8;
+ }
+
+ String res = "prox " +
+ "0 " +
+ ms.modifier("distance") + " " +
+ (ms.modifier("ordering").equals("ordered") ? 1 : 0) + " " +
+ relCode + " " +
+ "1 " +
+ unitCode;
+
+ return res;
+ }