<?xml version="1.0" encoding="UTF-8" standalone="no" ?>
<!DOCTYPE dl:TERMINOLOGY SYSTEM "http://co4.inrialpes.fr/xml/dlml/logic/dtd/bigu.dtd">

<!-- the missing constructors are
- oneof,	Not used correctly
- fills,	Not used correctly
 -->

<dl:TERMINOLOGY name="complete-sample"
		logic="http://co4.inrialpes.fr/xml/dlml/logic/dtd/bigu.dtd"
   		xmlns:dl="http://co4.inrialpes.fr/xml/dlml/">

<!-- classical Human part -->
<dl:CPRIM>
	<dl:CATOM>Human</dl:CATOM>
	<dl:AND>
		<dl:ANYTHING/>
		<dl:ALL>
			<dl:RATOM>sex</dl:RATOM>
			<dl:ONEOF>
				<dl:CATOM>M</dl:CATOM>
				<dl:CATOM>F</dl:CATOM>
			</dl:ONEOF>
		</dl:ALL>
	</dl:AND>
</dl:CPRIM>
<dl:CPRIM>
	<dl:CATOM>Man</dl:CATOM>
	<dl:CATOM>Human</dl:CATOM>
</dl:CPRIM>
<dl:CPRIM>
	<dl:CATOM>Woman</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Human</dl:CATOM>
		<dl:FILLS>
			<dl:RATOM>sex</dl:RATOM>
			<dl:CATOM>F</dl:CATOM>
		</dl:FILLS>
	</dl:AND>
</dl:CPRIM>
<dl:CEXCL>
	<dl:CATOM>Woman</dl:CATOM>
	<dl:CATOM>Man</dl:CATOM>
</dl:CEXCL>
<dl:CCOVER>
	<dl:CATOM>Human</dl:CATOM>
	<dl:CATOM>Woman</dl:CATOM>
	<dl:CATOM>Man</dl:CATOM>
</dl:CCOVER>
<dl:CDEF>
	<dl:CATOM>Father</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Man</dl:CATOM>
		<dl:SOME><dl:RATOM>child</dl:RATOM></dl:SOME>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>Mother</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Woman</dl:CATOM>
		<dl:SOME><dl:RATOM>child</dl:RATOM></dl:SOME>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>Parent</dl:CATOM>
	<dl:OR>
		<dl:CATOM>Father</dl:CATOM>
		<dl:CATOM>Mother</dl:CATOM>
	</dl:OR>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>NotParent</dl:CATOM>
	<dl:NONE>
		<dl:RATOM>child</dl:RATOM>
	</dl:NONE>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>HappyParent</dl:CATOM>
	<dl:AND>
		<dl:CATLEAST value="1">
			<dl:ANDROLE>
				<dl:RATOM>child</dl:RATOM>
				<dl:RANGE>
					<dl:CATOM>Woman</dl:CATOM>
				</dl:RANGE>
			</dl:ANDROLE>
		</dl:CATLEAST>
		<dl:CSOME>
			<dl:ANDROLE>
				<dl:RATOM>child</dl:RATOM>
				<dl:RANGE>
					<dl:ANOT>
						<dl:CATOM>Woman</dl:CATOM>
					</dl:ANOT>
				</dl:RANGE>
			</dl:ANDROLE>
		</dl:CSOME>
		<dl:ATMOST value="2">
			<dl:RATOM>child</dl:RATOM>
		</dl:ATMOST>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>SingleChild</dl:CATOM>
	<dl:AND>
		<dl:EXACTLY value="1">
			<dl:COMP>
				<dl:RATOM>father</dl:RATOM>
				<dl:RATOM>child</dl:RATOM>
			</dl:COMP>
		</dl:EXACTLY>
		<dl:EXACTLY value="1">
			<dl:COMP>
				<dl:RATOM>mother</dl:RATOM>
				<dl:RATOM>child</dl:RATOM>
			</dl:COMP>
		</dl:EXACTLY>
	</dl:AND>
</dl:CDEF>
<dl:RDEF>
	<dl:RATOM>grandchild</dl:RATOM>
	<dl:COMP>
		<dl:RATOM>child</dl:RATOM>
		<dl:RATOM>child</dl:RATOM>
	</dl:COMP>
</dl:RDEF>
<dl:RDEF>
	<dl:RATOM>grandparent</dl:RATOM>
	<dl:INV>
		<dl:RATOM>grandchild</dl:RATOM>
	</dl:INV>
</dl:RDEF>
<dl:RDEF>
	<dl:RATOM>ancestor</dl:RATOM>
	<dl:TRANS>
		<dl:INV>
			<dl:RATOM>child</dl:RATOM>
		</dl:INV>
	</dl:TRANS>
</dl:RDEF>
<dl:RDEF>
	<dl:RATOM>grandmother</dl:RATOM>
	<dl:ANDROLE>
		<dl:RATOM>grandparent</dl:RATOM>
		<dl:DOMAIN>
			<dl:CATOM>Woman</dl:CATOM>
		</dl:DOMAIN>
	</dl:ANDROLE>
</dl:RDEF>
<dl:RDEF>
	<dl:RATOM>brother</dl:RATOM>
	<dl:ANDROLE>
		<dl:COMP>
			<dl:ORROLE>
				<dl:RATOM>father</dl:RATOM>
				<dl:RATOM>mother</dl:RATOM>
			</dl:ORROLE>
			<dl:RATOM>child</dl:RATOM>
		</dl:COMP>
		<dl:NOTROLE><dl:SELF/></dl:NOTROLE>
	</dl:ANDROLE>
</dl:RDEF>

<!-- Schooling part -->

<dl:CPRIM>
	<dl:CATOM>CSMasterStudent</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Bachelor</dl:CATOM>
		<dl:CATOM>Student</dl:CATOM>
		<dl:ALL>
			<dl:RATOM>advisor</dl:RATOM>
			<dl:CATOM>ComputerScientist</dl:CATOM>
		</dl:ALL>
	</dl:AND>
</dl:CPRIM>
<dl:CPRIM>
	<dl:CATOM>Set</dl:CATOM>
	<dl:ANYTHING/>
</dl:CPRIM>
<dl:RPRIM>
	<dl:RATOM>member</dl:RATOM>
	<dl:ANYRELATION/>
</dl:RPRIM>
<dl:RPRIM>
	<dl:RATOM>leader</dl:RATOM>
	<dl:ANYRELATION/>
</dl:RPRIM>
<dl:CDEF>
	<dl:CATOM>Team</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Set</dl:CATOM>
		<dl:ALL>
			<dl:RATOM>member</dl:RATOM>
			<dl:CATOM>Human</dl:CATOM>
		</dl:ALL>
		<dl:ATLEAST value="2">
			<dl:RATOM>member</dl:RATOM>
		</dl:ATLEAST>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>FamillyBusiness</dl:CATOM>
	<dl:OVERLAP>
		<dl:RATOM>leader</dl:RATOM>
		<dl:COMP>
			<dl:RATOM>member</dl:RATOM>
			<dl:RATOM>ancestor</dl:RATOM>
		</dl:COMP>
	</dl:OVERLAP>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>ModernFamillyBusiness</dl:CATOM>
	<dl:AND>
		<dl:CATOM>FamillyBusiness</dl:CATOM>
		<dl:SAMEAS>
			<dl:RATOM>leader</dl:RATOM>
			<dl:COMP>
				<dl:RATOM>member</dl:RATOM>
				<dl:RATOM>grandmother</dl:RATOM>
			</dl:COMP>
		</dl:SAMEAS>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>SmallTeam</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Team</dl:CATOM>
		<dl:ATMOST value="5">
			<dl:RATOM>member</dl:RATOM>
		</dl:ATMOST>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>StartUp</dl:CATOM>
	<dl:AND>
		<dl:CATOM>SmallTeam</dl:CATOM>
		<dl:CSINGLE>
			<dl:RATOM>member</dl:RATOM>
			<dl:CATOM>Researcher</dl:CATOM>
		</dl:CSINGLE>
		<dl:NOTSAMEAS>
			<dl:RATOM>leader</dl:RATOM>
			<dl:ANDROLE>
				<dl:RATOM>member</dl:RATOM>
				<dl:DOMAIN>
					<dl:CATOM>Researcher</dl:CATOM>
				</dl:DOMAIN>
			</dl:ANDROLE>
		</dl:NOTSAMEAS>
		<dl:CEXACTLY value="1">
			<dl:RATOM>product</dl:RATOM>
			<dl:ANOT>
				<dl:CATOM>VaporWare</dl:CATOM>
			</dl:ANOT>
		</dl:CEXACTLY>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>ModernTeam</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Team</dl:CATOM>
		<dl:ATMOST value="3">
			<dl:RATOM>member</dl:RATOM>
		</dl:ATMOST>
		<dl:ALL>
			<dl:RATOM>leader</dl:RATOM>
			<dl:CATOM>Woman</dl:CATOM>
		</dl:ALL>
		<dl:SINGLE>
			<dl:RATOM>leader</dl:RATOM>
		</dl:SINGLE>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>AltModernTeam</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Team</dl:CATOM>
		<dl:RVM>
			<dl:RATOM>leader</dl:RATOM>
			<dl:DOMAIN><dl:CATOM>Woman</dl:CATOM></dl:DOMAIN>
		</dl:RVM>
		<dl:CNONE>
			<dl:RATOM>leader</dl:RATOM>
			<dl:CATOM>Man</dl:CATOM>
		</dl:CNONE>
	</dl:AND>
</dl:CDEF>
<dl:CDEF>
	<dl:CATOM>PostModernTeam</dl:CATOM>
	<dl:AND>
		<dl:CATOM>Team</dl:CATOM>
		<dl:CATMOST value="3">
			<dl:RATOM>member</dl:RATOM>
			<dl:CATOM>Man</dl:CATOM>
		</dl:CATMOST>
		<dl:ALL>
			<dl:RATOM>leader</dl:RATOM>
			<dl:NOT>
				<dl:CATOM>Woman</dl:CATOM>
			</dl:NOT>
		</dl:ALL>
		<dl:ALL>
			<dl:NOTROLE>
				<dl:RATOM>leader</dl:RATOM>
			</dl:NOTROLE>
			<dl:CATOM>Woman</dl:CATOM>
		</dl:ALL>
		<dl:NOTHING/>
	</dl:AND>
</dl:CDEF>

</dl:TERMINOLOGY>
