From b9aadd59ae0ba115231bf53f3f602754b3722824 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Thu, 29 Oct 2020 20:00:59 +0100
Subject: [PATCH] work
---
.../integrationtests/$My$Scroll.omdoc.xz | Bin 0 -> 644 bytes
.../$Sample$Situation$Space.omdoc.xz | Bin 0 -> 1720 bytes
.../$Sample$Situation$Theory.omdoc.xz | Bin 1372 -> 1536 bytes
.../$Situation$Space.omdoc.xz | Bin 0 -> 788 bytes
.../IntegrationTests/SituationTheory.mmt.err | 2 -
.../IntegrationTests/SituationTheory.omdoc | 2 +-
.../IntegrationTests/SituationTheory.rel | 4 +-
.../integrationtests/$My$Scroll.rel | 14 ++
.../$Sample$Situation$Space.rel | 128 ++++++++++++++++++
.../$Sample$Situation$Theory.rel | 2 +
.../integrationtests/$Situation$Space.rel | 23 ++++
source/IntegrationTests/SituationTheory.mmt | 110 +++++++++------
12 files changed, 243 insertions(+), 42 deletions(-)
create mode 100644 content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz
create mode 100644 content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz
create mode 100644 content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz
create mode 100644 relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.rel
create mode 100644 relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.rel
create mode 100644 relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.omdoc.xz
new file mode 100644
index 0000000000000000000000000000000000000000..5128a06d909b5212142a8b93ed1b8682bd2dc144
GIT binary patch
literal 644
zcmV-~0(<@aH+ooF000E$*0e?f03iVu0001VFXf})4(0+uT>u^%$);Gjm;(V8!D4R=
zvOFp-REWkEE1f>j;I%&DeXXhUOC=fH*0Ejij1i?$h>zE3%J*;?T3^ss2<$DwDDq;t
znLacvhp7#)W=4oj!1EnIu3Cz;76;PAH3n;@{;Z8H`qm&+SkHQEe*K@7a9id~kl6d*
zXU4_FGcy%WFZB)&5$cvF_Bwqsr|T7|;+xEXHHcr-Oku<C)PG)mw06<rS|G`Pz|go`
z-C|c4gtf-wkq-aH&)Fn*gq_T$Az$JX2n>y|vzV^W-RH0PJ`mtClix%?mD5(WbTi9u
z`O<~H&ta}71JR2iuQK_2qu=Q-wriMHT5;=sw5Rk7mBu4IpBOrR6)oN_WS>a{!g*?+
zXXpTRmWv;Oh%N9~zN&9?0aQUmx2BgX+(`MbYC*j~n6p6oi9*6C-7#>El&F6V&}hk6
zk|R7X)yll&JjJ}K&k<W1M!N^c#rQJW*G5?IQz^!zL~Un_8fd@Huu_$P7?X%hKs&bN
z^o*D(f7dgBch~5SO_iz(VwFj9$Q?>mR_SQD1%Z!-sL?3cK|Pj-;2IUDCQ*-BkD{~l
zAbRv+oH&^qO7*UpS=u>OyL+L$9vpND4!~vr9>Me%`J3LE-F5iLr_n8viOh<GRSMg<
zNpP-|@abH-cD%YC+lG%Gq0?Hyf3&>5y_7@!`*OJTw0iH$O11z1J*MpYQf+XQ%=?Q{
zDMo6T+f4qQN906N53x2%^Bdptqwd&TPDfpO3kF3wsBb8h71*%{Yn0002M4!}F*
ezWgBo0o?@W9RL7MG$Y5c#Ao{g000001X)_%r9DLe
literal 0
HcmV?d00001
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.omdoc.xz
new file mode 100644
index 0000000000000000000000000000000000000000..4305ebcd23f63fbee7f0078b7f653a5e18f36e3c
GIT binary patch
literal 1720
zcmV;p21oh*H+ooF000E$*0e?f03iVu0001VFXf})c(ev}T>u^%$);Gjm;(V8!D4R=
zvOFp-REWkEE1f>j;I%&DeXXhUOC=fH*0Ejij1i?$h>zE3%J*;?T3^ss2<$DwDDq;t
znLacvhpwiBP>(D)12gl$RIie!@<Iwi-oS7wAf3@ky$PsU95gjcmh64*!jq|E<IdEf
zV;8_mD<*=gC0Y7>yCc?J5qPxWy^(P<$2JK}ik<|#A48ucy;=3}a!~Vegp<cwIP;eT
zqwvI<<C0Q$6TjY+GLyk&>c1I?MM{GXg=>0#`_`(xI8D*CXPeM;U+B~`Tcx~Za4f%c
zUbMn;LO%k&&~?oobS5yrL!adR9Zld3x6pn_sKh=paEV9|v}cmbr4c`oI7x)duLY7q
zZiu>_Gbe+b^@<nO{kbM5Ic!?zupiC~H~9@YSY=pv9O#a9)TiLvN;xFLdd4lDHa06-
z*ELhR_MN)^w_9>L@Cy$IfJb=rlL+C$Kjy=7se?7~TN60QF)NO^4+Zj{?JbafTzFOe
zpBTK5y+n`x%Cflwa)49;WMATcI|yx}zE?#nKPB_GtU5NcH`^Zcj3sB~a<{N0P<?sD
z;=BNGKm2PMO9Ysmx)bV-^Nd#VlV!b>7ZDhC#H`t)Z=$x)(iy_4GuL)RU{4~NoX%`%
z{E|O9t!E{MmQ(hej+M;c?|{4XkU3|^Wu<DP)Pe-6j6Fw@Da!i~8>Z(cqQMp|r)2ek
zCWMGtYtyvR*UkcEwBmFUk6^VPIN-XflY249Q+tRwVMjICWlhT~K4Yi-QA4iqku$nV
zmh#DfuQj8U&sM-cf^CgB6wYHNESZD2obO6P3}vu++y92X{Caq(ZzR&aFvxVQ?c}Q`
z7^C*}3NBH&ai<jc-Cgj^h}n*wAnFZ0Lnv->vT!orjsOPCA9qM42#w@gc+>9H=V>x(
z_Me0ZXQGA-E*bInJOXxS_O_!ba9gd}9ol|GVyxtGh-z!B1cNZLGa`mIh?<FCp^SIy
zo9nz_F5V31tuab{NQIHh<E(#D&tpr8)lx<6=JvHA;yOV7hmO1dmLRxeg-&AccvaT#
zx@jSE>ZcPs>R{evk^kYZPWQn!!_T_Rx4h5b76RihJ2KdzwB>Q*Vju&5;CH?VnJ6iW
z_;ClrcMWv;4HwT2z{v)Q9|ygXBt`L4&>!_NW<l@LRnJ!Sf@JhQKrAU5`W=cu@ae=z
zG5Azkr2Q=9@S*346zC1aN%bltXe!7l6Z1`dlro(8nL7vzfiy}f=?BwTKZVZRob>Yx
zq?ob=1Io!%(9uo!Su>^NX%rmU^z{a<*uo@QQ|;W3$D#)YrWFDf5htCjUguT#X$3>v
zZF6Xt{cI_w?yq$HIL^ST)*X;+toj%^BEsTLHYmbhteCqOOExB8nYuYYi<&x>vf=1r
zO4&JdzEbI;QI)8664}9wL8_6A+QFs}7H&kVc5p)Zc(Qo=r+|83tF7h97RtMLLUCO!
zRi0AWTBV2{KsX*t5`}n95xo)+=i<h~^_|ITmhie*4UhF-ggG5B&>4%0=Yc37W<oX8
zvoP|b0{de+HVw)+owbpA@+gBUsS6z;!sw?piH<Z9CC5knylpP?SZ244oU>yNpcJeT
z#KlJf{a(0$I@wD4ZvIwSQWU%#7#v8#Cxm!%oE#p<nmkPgEq<6G;%L{i-6>=|j$>|~
z4kq+81eM%|kacg-VuA^uvqD)t(G3GfqldtFnBjy!Ukyv+C9m8T79+$u++U5!5`zcT
zxp1t~_gDe9<v^gTI8<!)rh^pB?I*BI6cjfA6s3=egVP5uMq<Nh0Ig7iRO(X2oCw=u
z_-|5I`RHdb6&^vJ)xG9&vT$h<m2egD{Id}ldF|?3{%IOkfLTE<f@%5LhYPKm!RmsF
z76@kt^QRQ?f3H~<G)Pi)HZg$ah!XM^cA?H#%$}yL5^Ws%*K<4;%|d`xoUVDI0?qf~
zCgpOu<o&wommgBgHybm-e_Lva^*}eDe}-eg3@;X(?-pv$NUm9i(lJ*3d^3JTiKyeH
z9YSQO0nog25*b&qB!H5Z(5DU#{uYp8Sp`^h*8Z0Pw#Z0xbdwkM%qy%VHCYbE+A=Sr
zN}FJ)O<hZtL=MwncR7Q`2!oDJz`e!e#+AyAooTRHEF1#!3rnjGho|zp&y}fId*{=H
zT>KlaoD#o0yL1w86Y;6G$%^H)aPfQtBf)t90001gXw#R$!RRUg0g(;0@c{sYLr!Y3
O#Ao{g000001X)^Qn@L0f
literal 0
HcmV?d00001
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Theory.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Theory.omdoc.xz
index 8e690f6dd6a2a7823f8d660cc1314e7eb65140c2..a206ffbe35b7aa42bd28c17e0d52460beeda5757 100644
GIT binary patch
delta 1382
zcmV-s1)2KX3V;ld83bY01-+3SmVYJO83!M^BCpUw;jU+0m@lGiIU5ACJJm1E$)z%e
zkGu12;A>Ibw$<uRo=1($mC7NB#C^urg%%QTF!sXtq#~|<7Nl^W)exWY{D5|GI8Tag
zrHewzWwZAU2HhENcZ+PS%~*r4gh$gW*s+!9UgFY*h_^n3ODAx{h|TBO#(#VkbVD#-
zd5OP<2(F}`kz|Gu1*UBg<>$TKWLPKRf~eiE$4RXvk^GG9=|1apZdg>xUE>+R;cXdc
zS;`&>r)u+uVxo23HwqVjd8&%SXN>+mg`U!lsvJE?>|j*~=+>MK1+y+2*uI^;?#2i6
zg-3r#dH{!_3Y*b#^-hg%7k}TX5|~Z8F5g<{2Il}Z01Sbp_s@kAH0QG_{5?Iec?ewg
zrHhZ76W$&3TU)>XAM%rgnhvd7gfXb*EaEv$KAoT(QyL#bC48l3&oHIA%93LeUmnS^
z$o}F7#o6uBJZ#IE)uwG$wR1YWf25cKxPV;YVazYo>ku*-DK?+mjDNx@g0Wyj^T()B
zlcIaqBQnoBv;5Q(q#F^Si8g;uy2?a7-0VZpyunLRFF4hn#GFl*f=wh0!kMzY%cidS
zi<hw3kqaQW)_(7Z?i0@3_kdi2(lLDZVNYEkk*ghbALmuyZe<%G<`tz)uefq6ZvZ@{
z7-HpwMcB2(T(GE)4u7r`6x1eGSviNi8xjDPV>Ilfzq@rP^1-v4thxEo)V&DTax^A+
zMHI)>UfFGtsK|%_a9wR+tOjo$;VW-4l!517K$Y%li5tjVY=C3(j?P10oF0Hd7T?}m
zwxNj;AN7hUlvU5o=r73n`@(}mb0@AI3FiF#mEc<+_Uj4E5P#31FI{uM#2Mg7VQbp+
z?8X7W9+lAAg?j71RohuG7+5?8%o<($tYmAfsLW##q_KeJst1$W)M?cJW`_4Ba~by8
z;L;LQUC>PSDn|P&9aGih2>I_C`Wo_$3O~U12XofqPGo_ms&g=lXy3IQhh)Cx<$hgl
zX|f*(6(8c_D1U@xb|{e{hNOTiD9M9Tiw7x>E#e~$ytuwl9oIn#nk|`>2x}*xwu^9$
zyIQ%MjHv9pZPoTmBAs`19NyXab^0@?JI>(Yoc~>)VPP;7MN0xwfRQYUNXZ%rI98}(
z5^#5iq%L&gd@uSI4hMaO!+h8+!9YjC<NeG**Y%Q58h@Cf7`|Z{4in~j3|)|H48UAW
ztZ0ScITCN(qI(>#PTmK3(tkmm(_3FKMAqZ@_;^BJtYEqmvOR4w$O1>SaofVDY)@G;
zfFU}lWt^??z(c|~D{#30CxsZhJPGD(wSfcV7oY7=b|2*yqzJ>?ls!<IZ9Ok3Ac?)L
z)UrjjXMfGHG6;t;Z;0M2Pt3V@eW*+-&ZoSTz%z>WG}|FR|NDRBBK4CO&Psg_JEt@r
zVIUOki)eO0eP;sXb$x#KkPiE<w?$S1d4zMDP|y=*Qw>z;K?&peDrhQ&5aqI%94}wq
z^6<r&{C|Z8joR>kje-z*6LcY=payxa?pUMyxqot9OUgYu;$;eHwd1e5QNaBOzoj+l
zcWd$OY$k?~^hQjYo-Y6Z!L>zooc>kcM!My`FMJR%BT4Ipck{gjZ~3RGWN-r?7MD;$
z%|XLNZQX~8elhVdUP<>oFoX?73+c?X;Y(&tCx>@7g^}~7soBJFk5mKTcpPeivz~uK
zOIHSSi34Q*SImU*I4fD3RhXw>B=i9Pj)^fEos~wRY=w1wtLO<83CSyw<}pCCE-69M
ossI200NA;hchNw8+W-OC3)jN|08=o<u(8Bv`vL#}000D8TDgp>yZ`_I
delta 1217
zcmV;y1U~zK4BQHk83bL81sjnamVY7t5#9AO2a~&IZS!3o+qW8+3-#+ozxaX~@(~Y#
zLN(y@P^mq+a~YD*$qK>xmX*cSD%*8b!>GwSER6g>VCZ27+Gli8^W*vDmpnyYQ|Vo$
z<~`V*iCT<4VqUn7%mHE}2Qe1Q((Q|_gF-a&fn||%GV4GeumEE{m~g1TF@N=V{6seP
zM#OoE_mVW!B7iHKKAytFD-2P;e8+{l)OlDm{IB3*J;^FDjBXfLS`oN}l5UN0meUbJ
zZqEjI24gTYhAUaPyaVu%#1G&O$}a(EB;N2;fS}_q^X%luEuSiY>U<4)gyKefwzePe
z(B4zBog%6Rd-XixK|lV7#ee$*o#3^pyWb7Txk6|-57MF-<&4q6BYFI%P^WNT`~L0-
zHHS<+4a(Hq%H4|%hAD0sgJ!>h_{{gtV&AEYMQj0hux;>)-eS)eWy_%%Z>HS?&|2h%
zHiZHR8`SZ2xf9IKUmIj@`P1%GyxuNq7x_jXg&O&iJDES4eMiti&wpLhZv@fwt^CWs
za%>s&8Ibm;liPY^0q&cqQd6g$Tv>Cwv{O&p^-FZT=(6~lE&r?yeeGPDm1-N?bZcw3
z1li@|xSyL$Cz<WA-?R(MG>6TIPYEtsG>NMN*Y*iSrKt~9B)%op_YIsuGdnTc=_T%!
z_Ouo&C2^g5kOVc8V1E@2cB@{Gps@E4Nz~~MZW{&*rvbupFguQDL9<)#(h2i()BL?u
zv(YWjJQ=!RgM#h1?^9XG@RkTJ>6dGG&U6(c%4%t1zAORSU^cC0fH&94l-0rQH&@NZ
zG0F+H42QdKxCbqLmx$6o{&B>n&z7?88~09MZQ(jwC1~P{a(@@*tu+{2x0TkFqn(>h
ztn*I-Xq@UAb47N=yQigC?SEAu>Xfxn<bl<~>=SO3Kcs3py<Fm?Z!<+l&CzW_6{iEt
zoz~HHyNPB-r41yqf>TLl6$%EhqDn2LADq%y{FHXU!iQP%9nyXG{ATc(;ThH~{#0!0
zurqubKM>J*o_|%tgPtSF=^&v)QrtKYDoB05-36><1GlG<?zQGKw;9#2l;ydd7ZhYd
znr<OJq|}MhD%SCdBy?K#BGpiwR<Njo3YrLSbWad`+}~yZaCqq(z}`YRmGecFi6r&$
zo-Zb^yLAp&Q*UIiX0p^8J&Haa!iqauU)`D1No?V7-G4DD`JLcnGH--F>O-964lKhD
z%nxH}7Hz;<gY2sAuLD1*{V(90K*xZ8tP^~hf$<I{OciSDj`R#Zz6wub2+MUYIs5px
zQ7wmTa>NnjOnq6n>n2M>iOdChpk~jA@1=&DhiK2&(U7>eslbIpcnih0xHp1$0fkDq
z!HH_YEPw1uEqWW+8yhudZIAY4ZK(^{lH#P{D(XqOY9j3FFi0}1d4d&$g0IIeY$!pl
zpr@EX)~#5yK8YI~&Nt7U>eH0pEIkpHpM>WWDZq6!ht`!4C&C(;EoPZi#PZ7=<UDrS
zs*8)q*&|jmo?D*11~ptWd~6O46CYO$!K9FDJ2HZ0EI=BkO}m{VBWn)0v;Y7A1>y!;
fR1%8C00FlOj=KQ>2@bqdvBYQl0ssI200dcDA{$yE
diff --git a/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz b/content/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.omdoc.xz
new file mode 100644
index 0000000000000000000000000000000000000000..cedfe06f6aac0f8a60f3c3dfb677246af8d442bf
GIT binary patch
literal 788
zcmV+v1MB?#H+ooF000E$*0e?f03iVu0001VFXf})7l;DVT>u^%$);Gjm;(V8!D4R=
zvOFp-REWkEE1f>j;I%&DeXXhUOC=fH*0Ejij1i?$h>zE3%J*;?T3^ss2<$DwDDq;t
znLacvhpuSMps+`HW&xnrIE<+PL!-1JqfnvzEJEN?sgF81K9pLA$a-TI$l7_t`NmH0
zZcr<ad+p<1bj!bMXG4|0O`JvqguDZZJ`dABn31A2oRDB(`w6c^KfO$jvj|+~ieJp8
zr?M`z_*g<0gT}jgf{+_`CT?^pJZY_0z{X5sOLOb_Ic_tup{k2cI1zwNyvE5N;#6M9
zY|=^J5kDo?*p>a_RsOU;q_Oie$DwMEzBgxb3Jt#)vL7jW$5+bvd&G=p2HMPmdk{-b
zd>BDs-?8`<a(wsC%<7{axX{lNR>}RpVlMa$l+)i(Dnzs)`ho3sC)f^aqx7~sr;RZ)
zr;pz#tQ&wh$jcTQR2>uaqlUv);WuKhPs~U{PZL;KYO5P1wf2O&kL;DHcNC^D1mSqh
z>%NsryfGbQ;uU<ZdX4=|N1n6sb?Eswa6CZc%sdkgn7YsYZ9=fRyBZW=F|gq_j!6c}
z0;&x2_U_nLJdSMW4v0V(sV3yxH%GhE&TL5@W~QTLq-+dN!S1wlr-$+oN1?5!`EYz0
zFuG^c=}HtfDS@#HbY?o0TT?X*6>QL7c~6l}w?%-C;ienm!)b}cEq>3cVJ*fV1qdk(
zsmT|=C3+7i-2XPyoMBBK|37<3j2>R*QNW6}c_wZKmwQxs4CsCVcyx~H{W{X#ZNo_3
zAy%S^db(HaRiVC3bp~8W$vg$ao%_MFBbi8t2dEHf?0D}lP~wj=1<5Z0?ry(|QbrIA
z693ndyV%njkmpWPRsqGs_9FiYkSDTF>ah1GSj*U%TF{qm&agq=ae1{W7PV<hO2MNB
zSvL7A%v4*KtT!4Dzs=v3-4P<tH9+_p?@AmAa$diL0000!azMmO2j$BE0qzBfF8}~D
S*}H_X#Ao{g000001X)@fpm(tV
literal 0
HcmV?d00001
diff --git a/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err b/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err
index a003a31..e69de29 100644
--- a/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err
+++ b/errors/mmt-omdoc/IntegrationTests/SituationTheory.mmt.err
@@ -1,2 +0,0 @@
-<errors>
-</errors>
diff --git a/narration/IntegrationTests/SituationTheory.omdoc b/narration/IntegrationTests/SituationTheory.omdoc
index a0c67cd..f6ce7cc 100644
--- a/narration/IntegrationTests/SituationTheory.omdoc
+++ b/narration/IntegrationTests/SituationTheory.omdoc
@@ -1,2 +1,2 @@
<?xml version="1.0" encoding="UTF-8"?>
-<omdoc base="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#0.0.0:1087.44.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld/integrationtests"/><instruction text="import frameworld http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#194.6.0:221.6.27"/></metadata></mref></omdoc>
\ No newline at end of file
+<omdoc base="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#0.0.0:1966.78.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld/integrationtests"/><instruction text="import frameworld http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#194.6.0:220.6.26"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#1535.56.0:1549.56.14"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace]" target="http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.mmt#1661.64.0:1681.64.20"/></metadata></mref></omdoc>
\ No newline at end of file
diff --git a/relational/IntegrationTests/SituationTheory.rel b/relational/IntegrationTests/SituationTheory.rel
index de23b88..76d8127 100644
--- a/relational/IntegrationTests/SituationTheory.rel
+++ b/relational/IntegrationTests/SituationTheory.rel
@@ -1,2 +1,4 @@
document http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc
-Declares http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory
+Declares http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace
+Declares http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll
+Declares http://mathhub.info/FrameIT/frameworld/IntegrationTests/SituationTheory.omdoc http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace
diff --git a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.rel b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.rel
new file mode 100644
index 0000000..ea9bb58
--- /dev/null
+++ b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$My$Scroll.rel
@@ -0,0 +1,14 @@
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll?Problem
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem?a
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem?a
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll?Solution
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution?c
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution?c
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Solution?c?definition http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem?a?type
diff --git a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.rel b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.rel
new file mode 100644
index 0000000..4f69a9c
--- /dev/null
+++ b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Space.rel
@@ -0,0 +1,128 @@
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace?Root
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld?OppositeLen
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld?AngleSum
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?definition
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?metric?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://cds.omdoc.org/urtheories?Ded?DED?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://cds.omdoc.org/urtheories?Strings?string?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?distanceBC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://cds.omdoc.org/urtheories?Ded?DED?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://cds.omdoc.org/urtheories?Strings?string?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleABC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://cds.omdoc.org/urtheories?Ded?DED?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://cds.omdoc.org/urtheories?Strings?string?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?angleBAC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?type http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?A?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?B?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://cds.omdoc.org/urtheories?Ded?DED?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://cds.omdoc.org/urtheories?Bool?BOOL?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/Foundation?Logic?ded?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/MitM/Foundation?RealLiterals?real_lit?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://cds.omdoc.org/urtheories?Strings?string?type
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?rightAngledC?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationSpace/Root?C?type
diff --git a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Theory.rel b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Theory.rel
index c90b58e..3fb3ea7 100644
--- a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Theory.rel
+++ b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Sample$Situation$Theory.rel
@@ -6,6 +6,8 @@ dataconstructor http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSi
dataconstructor http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory?angleBAC
theory http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory
HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory http://mathhub.info/FrameIT/frameworld?OppositeLen
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory http://mathhub.info/FrameIT/frameworld?AngleSum
Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory?A
constant http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory?A
DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SampleSituationTheory?A?type http://mathhub.info/MitM/core/geometry?3DGeometry?point?type
diff --git a/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel
new file mode 100644
index 0000000..8b3bcb8
--- /dev/null
+++ b/relational/http..mathhub.info/FrameIT/frameworld/integrationtests/$Situation$Space.rel
@@ -0,0 +1,23 @@
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace?RootSituationTheory
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?v
+HasDomain http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
+HasCodomain http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory
+view http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v
+HasViewFrom http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v?[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem]/a
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v?[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem]/a
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory/v?[http://mathhub.info/FrameIT/frameworld/integrationtests?MyScroll/Problem]/a?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b?type
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace?PushedOutSituationTheory
+theory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory
+HasMeta http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld?FrameworldMeta
+Includes http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory
+Declares http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c
+constant http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c
+DependsOn http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/PushedOutSituationTheory?c?definition http://mathhub.info/FrameIT/frameworld/integrationtests?SituationSpace/RootSituationTheory?b?type
diff --git a/source/IntegrationTests/SituationTheory.mmt b/source/IntegrationTests/SituationTheory.mmt
index c8898d3..8633382 100644
--- a/source/IntegrationTests/SituationTheory.mmt
+++ b/source/IntegrationTests/SituationTheory.mmt
@@ -4,42 +4,76 @@ import frameworld http://mathhub.info/FrameIT/frameworld âš
fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta âš
-theory SampleSituationTheory =
- // planar triangle in R^2 â™
-
- A
- : point â˜
- = ⟨0.0, 0.0, 0.0⟩ â˜
- meta frameworld:?MetaAnnotations?label "A"
- â™
-
- B
- : point â˜
- = ⟨3.0, 3.0, 0.0⟩ â˜
- meta frameworld:?MetaAnnotations?label "B"
- â™
-
- C
- : point â˜
- = ⟨0.0, 3.0, 0.0⟩ â˜
- meta frameworld:?MetaAnnotations?label "C"
- â™
-
- distanceBC
- : Σ x:â„. ⊦ (d- B C ≠x) â˜
- = ⟨3.0, sketch "calculated by ComFreek by hand"⟩ â˜
- meta frameworld:?MetaAnnotations?label "BC"
- â™
-
- angleABC
- : Σ β:â„. ⊦ ( ∠A,B,C ) ≠β â˜
- = ⟨45.0, sketch "calculated by ComFreek by hand"⟩ â˜
- meta frameworld:?MetaAnnotations?label "∠ABC"
- â™
-
- angleBAC
- : Σ β:â„. ⊦ ( ∠A,B,C ) ≠β â˜
- = ⟨45.0, sketch "calculated by ComFreek by hand"⟩ â˜
- meta frameworld:?MetaAnnotations?label "∠BAC"
- â™
+theory SampleSituationSpace =
+ theory Root =
+ // planar triangle in R^2 â™
+ include ☞frameworld:?OppositeLen â™
+ include ☞frameworld:?AngleSum â™
+
+ A
+ : point â˜
+ = ⟨0.0, 0.0, 0.0⟩ â˜
+ meta frameworld:?MetaAnnotations?label "ð”¸"
+ â™
+
+ B
+ : point â˜
+ = ⟨3.0, 3.0, 0.0⟩ â˜
+ meta frameworld:?MetaAnnotations?label "ð”¹"
+ â™
+
+ C
+ : point â˜
+ = ⟨0.0, 3.0, 0.0⟩ â˜
+ meta frameworld:?MetaAnnotations?label "â„‚"
+ â™
+
+ distanceBC
+ : Σ x:â„. ⊦ (d- B C ≠x) â˜
+ = ⟨3.0, sketch "calculated by ComFreek by hand"⟩ â˜
+ meta frameworld:?MetaAnnotations?label "ð”¹â„‚"
+ â™
+
+ angleABC
+ : Σ β:â„. ⊦ ( ∠A,B,C ) ≠β â˜
+ = ⟨45.0, sketch "calculated by ComFreek by hand"⟩ â˜
+ meta frameworld:?MetaAnnotations?label "∠ð”¸ð”¹â„‚"
+ â™
+
+ angleBAC
+ : Σ β:â„. ⊦ ( ∠B,A,C ) ≠β â˜
+ = ⟨45.0, sketch "calculated by ComFreek by hand"⟩ â˜
+ meta frameworld:?MetaAnnotations?label "∠ℬð”¸â„‚"
+ â™
+
+ rightAngledC
+ : ⊦ ( ∠B,C,A ) ≠90.0 â˜
+ = sketch "calculated by ComFreek by hand, hopefully correct" â˜
+ meta frameworld:?MetaAnnotations?label "∟ℂ"
+ â™
+ âš
+âš
+
+theory MyScroll =
+ theory Problem = a: type â™âš
+ theory Solution =
+ include ?MyScroll/Problem â™
+ c: type ☠= aâ™
+ âš
âš
+
+theory SituationSpace =
+ theory RootSituationTheory =
+ include ?MyScroll â™
+ b: type â™
+
+ view v : ?MyScroll/Problem -> ?SituationSpace/RootSituationTheory =
+ a = b â™
+ âš
+ âš
+
+ theory PushedOutSituationTheory =
+ include ?SituationSpace/RootSituationTheory â™
+ c: type ☠= b â™
+ âš
+âš
\ No newline at end of file
--
GitLab