<configurablePattern>
	<hasActivity name= "A"/>
	<hasActivity name= "B"/>
	<hasActivity name= "C"/>
	<question text="Is it allowed that activity several occurrences of activity '$B' occur in between occurrences of '$A' and '$C'?" id="0">
		<preconfiguration id="0">
			<group id="Comp1">
				<property name="B_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. Activity '$B' may occur several times between activities '$A' and '$C'.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp1">
						<property name="B_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B B B C</sampletrace>
		</answer>
		<answer text="No. Activity '$B' must only once between activities '$A' and '$C'.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp1">
						<property name="B_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">A B B B C</sampletrace>
		</answer>
	</question>
	<question text="Is it allowed that other activities occur between activities '$A' and '$B'?" id="1">
		<preconfiguration id="0">
			<group id="Comp2">
				<property name="Omega_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. Other activities may occur between activities '$A' and '$B'.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp2">
						<property name="Omega_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A Omega B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B C</sampletrace>
		</answer>
		<answer text="No. Other activities must not occur between activities '$A' and '$B'.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp2">
						<property name="Omega_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">A Omega B C</sampletrace>
		</answer>
	</question>
	<question text="Is it allowed that other activities occur between activities '$B' and '$C'?" id="2">
		<preconfiguration id="0">
			<group id="Comp3">
				<property name="Omega_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. Other activities may occur between activities '$B' and '$C'.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp3">
						<property name="Omega_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B Omega C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B C</sampletrace>
		</answer>
		<answer text="No. Other activities must not occur between activities '$B' and '$C'.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp3">
						<property name="Omega_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">A B Omega C</sampletrace>
		</answer>
	</question>
	<question text="Is it allowed that activity '$A' occurs independently from the specified sequence ('$A' '$B' '$C')?" id="3">
		<preconfiguration id="0">
			<group id="Comp6">
				<property name="A_presence" isSet="false"/>
			</group>
			<group id="Comp9">
				<property name="A_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. Activity '$A' may occur independently from the specified sequence.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp6">
						<property name="A_presence" value="allow"/>
					</group>
					<group id="Comp9">
						<property name="A_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A A A B C A A</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B C</sampletrace>
		</answer>
		<answer text="No. Activity '$A' must not occur independently from the specified sequence.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp6">
						<property name="A_presence" value="block"/>
					</group>
					<group id="Comp9">
						<property name="A_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">A A A B C A A</sampletrace>
		</answer>
	</question>
	<question text="Is it allowed that activity '$C' occurs independently from the specified sequence ('$A' '$B' '$C')?" id="4">
		<preconfiguration id="0">
			<group id="Comp5">
				<property name="C_presence" isSet="false"/>
			</group>
			<group id="Comp8">
				<property name="C_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. Activity '$C' may occur independently from the specified sequence.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp5">
						<property name="C_presence" value="allow"/>
					</group>
					<group id="Comp8">
						<property name="C_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">C C A B C C C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B C</sampletrace>
		</answer>
		<answer text="No. Activity '$C' must not occur independently from the specified sequence.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp5">
						<property name="C_presence" value="block"/>
					</group>
					<group id="Comp8">
						<property name="C_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">C C A B C C C</sampletrace>
		</answer>
	</question>
	<question text="Is it allowed that the specified sequence ('$A' '$B' '$C') occurs multiple times?" id="5">
		<preconfiguration id="0">
			<group id="Comp10">
				<property name="Tau_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. The specified sequence ('$A' '$B' '$C') may occur multiple times.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp10">
						<property name="Tau_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C Omega A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B C</sampletrace>
		</answer>
		<answer text="No. The specified sequence ('$A' '$B' '$C') must not occur multiple times.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp10">
						<property name="Tau_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">A B C Omega A B C</sampletrace>
		</answer>
	</question>
	<question text="Is it allowed that activity '$B' never occurs?" id="6">
		<preconfiguration id="0">
			<group id="Comp12">
				<property name="End1_presence" isSet="false"/>
			</group>
		</preconfiguration>
		<answer text="Yes. The activity '$A' may be absent.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp12">
						<property name="End1_presence" value="allow"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">Omega Omega Omega </sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="true">A B C</sampletrace>
		</answer>
		<answer text="No. The activity '$B' must not be absent.">
			<configModel name="between.pnml">
				<configuration>
					<group id="Comp12">
						<property name="End1_presence" value="block"/>
					</group>
				</configuration>
			</configModel>
			<sampletrace compliant="true">A B C</sampletrace>
			<sampletrace compliant="false">B Omega A Omega </sampletrace>
			<sampletrace compliant="false">Omega Omega Omega </sampletrace>
		</answer>
	</question>
</configurablePattern>
