AllVerbsRelativeClauses.hi

��d8042�Z
�u�9�F�P�w��C������H���X`�&\��
��싙���E��fɫu��g1�B������
����4�O՟q
	

		
									��`�}�$�W���>L
�	9�"�q��-Bn��m�7	��\8��c�j�<�^�4D	�܄>G��ůQ�o4v�	5�<h�|���Z�o�	
`AP�(�w~rud;	CWp-����)>P�	�T�m�D�8-ĵ�j�T	s�g9$G�t�;��<F�	P�U�⷗�x)B=9�	#��A&���Q.���
*��tP���<���

 ٳ=���JS�C�UC�
xg<j���y�wi{
�<b����k�T��	R�!b�6Y�5)zTẹ��˼"8�r��E�Џ�T1W#��O����O2�=�$xR�{*^r�Q��$�
���@���.]Q�2�
�@�Y���K���A��
����w^˟�b����
kfְ^�m(K��I��s
%:c��e�,K�+k%&�f@ɣl�o��d��'@ڤ&�G�
�2�����(��g���������[}.")��b�}TG��a�*�*���j͋s)�\'(��+~e�1$�M#���} �,��\ v;��6cx��
t2��J�CZz�68��9
��¦~G�"�ߟÓ@
-E�X�48��a8lz�-Ye�$�X4?3/�'��B
.����9�
,�gn�N+.�����Fgs��De3~�
/�MN��Iq�/�����/pP�@Ix�`���<00�����Fgs��De3~�1e��ЋbI�e�N�22'����'�����s���U3���F("y����.M�4�����Fgs��De3~�5�����Fgs��De3~�
N�Ob��9�a�1�
�$$�r�C�q�53��16%�^w!�M*�I³�8�7}����cNq�����^8�Y��j@��¸vY� J
A
�p�c�e��f�
�_��)O&(�͎�n�0
9
k�L�~�r�PA�:���z�l�����·(;�^�1l6�����:q<���4�!��V��S	�=��5B)/d�S/�b���>�{#�������6�?�4���E$���P3L�@lMԈ0;���E�N;b�A�%}N�����5E2�G$�BZ�^� ([{���R��CP�̉�H=FV+c2�D|R�#�A��	��d(+IEU�d@Q�S>���Fh�=����.b)@:�uG|R�#�A��	��d(+IH|R�#�A��	��d(+II|R�#�A��	��d(+I
�ngC���bc��-g�
:N���U�,Z���,��
J��9ǿ�~�b��ͤ
K�pf�e�w@�o*`�
LiE������m�,��
M�u���ʰ�-�n}M#��
N��k���l�?�*\��_
O˜�!7�8.d~�q�

PJ���\Q������a$
Q3$)�����i#y�d�
R}s�ϼK�[�O����?
S�,}ˁ�4�Gre��T
T{#�I�lD�����Tf�z�(�
���j�¬]
U��"���,(�MLx��V�u#1��'4�g.���
W��<�K*�nG;W���X
X
�t��jC[�(�%��
Yez'P��L���:���Z����l��h2�<�[�AH�M����%��'+\^�]�k�Ǒ��ؠK�@]vꁝ�n�^L�TJV'^M�,1U+�YY0-#�g_���.pxܭ�J�D�^'`�]-�*��L[��|��$
	

 
!
!
"
"
#
#d�_�!�ӹ�jI
|B�	�

%�)�0O��Y@"
k]$
%��~��C��Gת�/��Q�@�!������
��0��%&��0���l�aJ5B�
/#� ��"������
��0%&��0%h0�b��;�X��'6�#������
��0'zB723?�̴�T�El��N#%��n����RU�G@:}�&
�()��K���$\�#6�$?��P���0))�����0%&��0%!1NJa��NH����
m��Ta������

��
a
a
a
a
a�!ĸ]t�cN�̷���a������

b������

��
a
a
a
a��4
b
a���
a
b�A�o�	�p�27k��
*��0))��r�е}۷�CH�����
z��0%%���"!vN��6B�Jh:�rS�2s
���0))��0��0%&��0%���{,��!L���(��0%%(�ߎ��ga~���9)	���0)��0%)��0%��3un��e�b����
���0%#��i�����щ0}��J���0)#���b���a�F�.��0%%#�lW�aUk����
Q(r�A<�%�Bj��У�"�#"(2�)K������U�?�k�%"!���vd���=�qJ�4��#""��$����^����7҇Q�#��0%&��0%��0*��0+��0%&��0%T��3���'Ƀ���4�%''�UdE8���5;��G-1�!��0%%"��r�c�/-�_��|f��iR)��r�����u����6z��r�[�p��-'0	9U|���0)&7�~e���Fy
"_
�)PW.�^�|6��,��N�'N��ύ�D��6��$�I'���2�O
���7 �~2'�.��(��M�u�t�U'�=�i	�8�a�v2^�d�)(��0��%Xm}�rXy�|1�]e���0,+����m^#���Y��:���0%8����9v͹ٴ��%�����,�{��f�!�� :��0-Ai>��M=��d[�^..
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
{
|
}
~

�
�
�
�
�
�
�
�T!V.	
���-/�mainAllVerbsRelativeClausesExampleRulesExampleSentencesFrontEndModelsProofTreeNumbersSyllogisticInferenceSyntax2baseghc-priminteger-gmp	GHC.FloatGHC.BaseControl.ApplicativeData.Functor.ConstData.Functor.IdentityData.MonoidData.Semigroup.InternalGHC.GenericsGHC.IO.Exception
Control.MonadData.Either
Data.Foldable	Data.ListData.OldListGHC.ListGHC.NumGHC.ShowPrelude	System.IOGHC.Classes	GHC.TypesRuleNameantiARCaxiom
barbaraARCColDesccenterleftreadSreadSsrightshowTableForProofstF
MModelVbcnDict
semanticsSent
semanticsTerm(showModelNounsVerbsPlusJustificationsARCuniverseverbDictfull_reverseneartree_reverse	ProofLineaddReasonsToOriginal
applyARuleapplyAllRules2dropReasons
fixDuplicatesget1get1Of4get2Of4get3Of4get4Of4linemodifyproofSearchrulesentencesupportsAllBirdsCNasTerm	ChordatesHatesLovesPCNPVPosSeesSentSkunksTerm	TermMakerTermNP	chordatescnsIninARCmammalsseesskunkssubtermsverbsIn
a
bcheckARCevaluate
ffindFixedPointfindFixedPointOrSatfollowsInARC followsInARCUnderRepresentationsinfiniteSeqjustCounterModelARCmkProofChunkmkStopLmkStopLforInfinite
mkStopListmodel2
modelBuildARCnumberProof
oneStepARConeStepARC2pairOfTermsshowCounterModelsyntaxChecktCh2_run	tCh2gammatCh2phi
tChordatestMammalstSkunkstSkunks2termEvaltest2testCh2gamma
testCh2phivTest2Proof
ProofChunkStopList	$trModuleStringCN
V