scrolls.json

[
	{
		"ref": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles",
		"label": "SupplementaryAngles",
		"description": "Supplementary angles add up to 180 degree ",
		"requiredFacts": [
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?A"
				},
				"label": "A",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B"
				},
				"label": "B",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C"
				},
				"label": "C",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D"
				},
				"label": "D",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?3DGeometry?point",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?L"
				},
				"label": "L",
				"tp": {
					"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type",
					"kind": "OMS"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?A_on_L"
				},
				"label": "A ∈ L",
				"tp": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?Logic?ded",
						"kind": "OMS"
					},
					"arguments": [
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine",
								"kind": "OMS"
							},
							"arguments": [
								{
									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?L",
									"kind": "OMS"
								},
								{
									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?A",
									"kind": "OMS"
								}
							],
							"kind": "OMA"
						}
					],
					"kind": "OMA"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B_on_L"
				},
				"label": "B ∈ L",
				"tp": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?Logic?ded",
						"kind": "OMS"
					},
					"arguments": [
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine",
								"kind": "OMS"
							},
							"arguments": [
								{
									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?L",
									"kind": "OMS"
								},
								{
									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
									"kind": "OMS"
								}
							],
							"kind": "OMA"
						}
					],
					"kind": "OMA"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C_on_L"
				},
				"label": "C ∈ L",
				"tp": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?Logic?ded",
						"kind": "OMS"
					},
					"arguments": [
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine",
								"kind": "OMS"
							},
							"arguments": [
								{
									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?L",
									"kind": "OMS"
								},
								{
									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C",
									"kind": "OMS"
								}
							],
							"kind": "OMA"
						}
					],
					"kind": "OMA"
				},
				"df": null,
				"kind": "general"
			},
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?angleABD"
				},
				"label": "∠ABD",
				"lhs": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between",
						"kind": "OMS"
					},
					"arguments": [
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?A",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
							"kind": "OMS"
						}
					],
					"kind": "OMA"
				},
				"valueTp": {
					"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
					"kind": "OMS"
				},
				"value": null,
				"proof": null,
				"kind": "veq"
			}
		],
		"acquiredFacts": [
			{
				"ref": {
					"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Solution?angleDBC"
				},
				"label": "∠DBC",
				"lhs": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between",
						"kind": "OMS"
					},
					"arguments": [
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
							"kind": "OMS"
						},
						{
							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C",
							"kind": "OMS"
						}
					],
					"kind": "OMA"
				},
				"valueTp": {
					"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
					"kind": "OMS"
				},
				"value": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
						"kind": "OMS"
					},
					"arguments": [
						{
							"float": 180.0,
							"kind": "OMF"
						},
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
								"kind": "OMS"
							},
							"arguments": [
								{
									"applicant": {
										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
										"kind": "OMS"
									},
									"arguments": [
										{
											"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?angleABD",
											"kind": "OMS"
										}
									],
									"kind": "OMA"
								}
							],
							"kind": "OMA"
						}
					],
					"kind": "OMA"
				},
				"proof": {
					"applicant": {
						"uri": "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch",
						"kind": "OMS"
					},
					"arguments": [
						{
							"applicant": {
								"uri": "http://mathhub.info/MitM/Foundation?Logic?eq",
								"kind": "OMS"
							},
							"arguments": [
								{
									"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit",
									"kind": "OMS"
								},
								{
									"applicant": {
										"uri": "http://mathhub.info/MitM/Foundation?Trigonometry?acos",
										"kind": "OMS"
									},
									"arguments": [
										{
											"applicant": {
												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
												"kind": "OMS"
											},
											"arguments": [
												{
													"applicant": {
														"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
														"kind": "OMS"
													},
													"arguments": [
														{
															"applicant": {
																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																							"kind": "OMS"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																									"kind": "OMS"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C",
																							"kind": "OMS"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																									"kind": "OMS"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																									"kind": "OMS"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																											"kind": "OMS"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C",
																									"kind": "OMS"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																											"kind": "OMS"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																}
															],
															"kind": "OMA"
														},
														{
															"applicant": {
																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																							"kind": "OMS"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																									"kind": "OMS"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																},
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?C",
																							"kind": "OMS"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		},
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																									"kind": "OMS"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				}
																			],
																			"kind": "OMA"
																		}
																	],
																	"kind": "OMA"
																}
															],
															"kind": "OMA"
														}
													],
													"kind": "OMA"
												},
												{
													"applicant": {
														"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?inv_real_lit",
														"kind": "OMS"
													},
													"arguments": [
														{
															"applicant": {
																"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																"kind": "OMS"
															},
															"arguments": [
																{
																	"applicant": {
																		"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?sqrt",
																		"kind": "OMS"
																	},
																	"arguments": [
																		{
																			"applicant": {
																				"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																				"kind": "OMS"
																			},
																			"arguments": [
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						},
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										},
																										{
																											"applicant": {
																												"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projl",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"applicant": {
																																"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																																"kind": "OMS"
																															},
																															"arguments": [
																																{
																																	"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																																	"kind": "OMS"
																																}
																															],
																															"kind": "OMA"
																														}
																													],
																													"kind": "OMA"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								}
																							],
																							"kind": "OMA"
																						}
																					],
																					"kind": "OMA"
																				},
																				{
																					"applicant": {
																						"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?times_real_lit",
																						"kind": "OMS"
																					},
																					"arguments": [
																						{
																							"applicant": {
																								"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?plus_real_lit",
																								"kind": "OMS"
																							},
																							"arguments": [
																								{
																									"applicant": {
																										"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?D",
																													"kind": "OMS"
																												}
																											],
																											"kind": "OMA"
																										}
																									],
																									"kind": "OMA"
																								},
																								{
																									"applicant": {
																										"uri": "http://mathhub.info/MitM/Foundation?RealLiterals?minus_real_lit",
																										"kind": "OMS"
																									},
																									"arguments": [
																										{
																											"applicant": {
																												"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																												"kind": "OMS"
																											},
																											"arguments": [
																												{
																													"applicant": {
																														"uri": "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Projr",
																														"kind": "OMS"
																													},
																													"arguments": [
																														{
																															"uri": "http://mathhub.info/FrameIT/frameworld?SupplementaryAngles/Problem?B",
																															"kind": "OMS"
																														}
																													],
																													"kind": "OMA"
																												}